Início / coding / Perguntas / 77031285
Accepted
wimalopaan
Asked: 2023-09-03 15:12:38 +0800 CST

Distinguir contêiner unidimensional e bidimensional usando conceitos

  • 772

Quero distinguir contêineres unidimensionais e bidimensionais usando conceitos. Minha primeira tentativa foi a seguinte:

template<typename C>
concept Container1D = requires(C c) {
    std::begin(c);
    std::end(c);
    c[0];
};

template<typename C>
concept Container2D = requires(C c) {
    std::begin(c);
    std::end(c);
    c[0, 0]; // interpreted as comma-operator
};

Mas obviamente isso não funciona, porque a expressão 0, 0é interpretada como um operador de vírgula e, portanto, o segundo conceito também corresponde a um contêiner unidimensional.

Existe uma maneira de exigir um bidimensional operator[a, b]?

c++

1 respostas

  1. Best Answer

    Problemas com operador de vírgula

    Nem todo compilador oferece suporte a operadores subscritos multidimensionais ainda. No momento em que este artigo foi escrito, o suporte do compilador era este :

    Recurso C++23 CCG Clang MSVC
    Operador de subscrito multidimensional 12 15 (nenhum)

    Como solução temporária, você pode usar c.operator[](0, 0), que funciona desde que haja uma sobrecarga de subscritos multidimensionais na biblioteca padrão, mesmo que o recurso de linguagem principal ainda não seja compatível.

    Problemas com seus conceitos

    Geralmente é melhor construir conceitos sobre outros existentes concept. Por exemplo, existe std::ranges::range:

    // in namespace std::ranges
template<typename T>
concept range = requires( T& t ) {
  ranges::begin(t); // equality-preserving for forward iterators
  ranges::end  (t);
};

// building on top of that...
template<typename R>
concept Range1D = std::ranges::range<R> && requires(R& r) {
    { r[0]; } -> std::ranges::range_value_t<R>;
};

    Porém, esse conceito é realmente estranho porque r[0]implica que seu contêiner tenha acesso aleatório, então usar um requisito mais forte como std::ranges::random_access_rangeseria melhor:

    template<typename R>
concept Range1D = std::ranges::random_access_range<R> && requires(R& r) {
    { r[0]; } -> std::ranges::range_reference_t<R>;
};

template<typename R>
concept Range2D = std::ranges::random_access_range<R> && requires(R& r) {
    { r.operator[](0, 0); } -> std::ranges::range_reference_t<R>;
};
    • 6

relate perguntas