Um dos cantos dos conceitos do C ++ 20 é que existem certas situações nas quais você precisa escrever requires requires. Por exemplo, este exemplo de [expr.prim.req] / 3 : Uma expressão de requisitos também pode ser usada em uma cláusula de requisitos ([temp]) como uma maneira de escrever...
Eu quero saber quais são as diferenças semânticas entre a proposta de conceitos completos de C ++ e as restrições de modelo (por exemplo, restrições como apareceu em Dlang ou a nova proposta concepts-lite para C ++ 1y ). O que conceitos completos são capazes de fazer do que as restrições de modelo...
Dado: #include <concepts> #include <iostream> template<class T> struct wrapper; template<std::signed_integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "signed_integral" << std::endl; } }; template<std::integral...
O conceitoequality_comparable_with<T, U> se destina a declarar que os objetos do tipo Te Upode ser comparado iguais uns aos outros, e se eles são, então este tem o significado esperado. Isso é bom. No entanto, esse conceito também requer common_reference_t<T&, U&>a existência....
No exemplo a seguir, os argumentos da função são usados para testar com uma expressão requer se uma expressão que os utiliza está bem formada. A expressão requer não requer argumentos; ele usa diretamente as variáveis no escopo da função: #include <cstddef> #include...
Eu quero escrever um conceito Indexável, o que significa que uma sequência tem início / fim que retornam RandomAccessIterator ou operador [] é definido e retorna um valor do tipo não nulo. Usei idéias do artigo de Stroustrup para o conceito de Sequência e o ampliei com: template <class...
fundo Sabemos que o conceito std::same_asé agnóstico em ordem (em outras palavras, simétrico): std::same_as<T, U>é equivalente a std::same_as<U, T>( questão relacionada ). Nesta pergunta, eu gostaria de implementar algo mais geral: template <typename ... Types> concept same_are =...