Início / coding / Perguntas / 79261063
Accepted
Quuxplusone
Asked: 2024-12-08 01:35:10 +0800 CST

Em quais situações `ranges::for_each` funciona, mas `for (auto&& elt : rg)` falha?

  • 772

Dado o seguinte código C++23 ( Godbolt ):

template<class R, class T>
concept container_compatible_range =
  std::ranges::input_range<R> && std::convertible_to<std::ranges::range_reference_t<R>, T>;

template<class K, class V>
struct Map {
  using value_type = std::pair<K, V>;

  template<class R>
    requires container_compatible_range<R, value_type>
  void insert_range_bad(R&& rg) {
    for (value_type e : rg) {
      // ~~~~
    }
  }

  template<class R>
    requires container_compatible_range<R, value_type>
  void insert_range_good(R&& rg) {
    std::ranges::for_each(rg, [&](value_type e) {
      // ~~~~
    });
  }
};

int main() {
  Map<int, int> m;
  std::tuple<int, int> a[2] = {};  // for example
  m.insert_range_bad(a);
  m.insert_range_good(a);
}

Disseram-me que há "casos extremos artificiais" em que insert_range_goodo programa compila com sucesso, mas insert_range_badfalha (de uma forma hostil ao SFINAE, com erros graves) e/ou faz a coisa errada.

Quais são esses casos extremos?

c++

1 respostas

  1. Best Answer

    Os loops baseados em intervalo forextraem o iterador e o sentinela do intervalo de maneira consistente , o que significa que ambos devem ser obtidos por meio de função membro ou funções livres.

    Este não é o caso de ranges::for_each, pois ambos podem ser recuperados de maneiras diferentes via ranges::begine ranges::endrespectivamente:

    struct EvilRange {
  std::tuple<int, int>* begin() const;
};

std::tuple<int, int>* end(EvilRange&);

int main() {
  Map<int, int> m;
  EvilRange evil;
  m.insert_range_bad(evil);  // failed
  m.insert_range_good(evil); // ok
}

    Outro caso artificial é excluir os membros begin/ , mas habilitar funções / endlivres ; a classe ainda satisfaz o conceito, pois / verifica a validade da expressão, enquanto os loops baseados em intervalo não o fazem:beginendrangeranges::beginranges::endfor

    struct EvilRange2 {
  void begin() = delete;
  void end() = delete;
};

std::tuple<int, int>* begin(EvilRange2&);
std::tuple<int, int>* end(EvilRange2&);

int main() {
  Map<int, int> m;
  EvilRange2 evil;
  m.insert_range_bad(evil);  // failed
  m.insert_range_good(evil); // ok
}
    • 3

relate perguntas