Perguntas com a marcação «c++-concepts»

5
Por que exigimos requer requer?
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 restrições …
161 c++  c++-concepts  c++20 


3
Conceitos do C ++ 20: Qual especialização de modelo é escolhida quando o argumento do modelo se qualifica para vários conceitos?
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 T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "integral" << std::endl; } }; int main() { wrapper<int> w; …

1
O `equal_comparable_with` precisa exigir o` common_reference`?
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. O principal ímpeto common_referencee sua funcionalidade correspondente parecem …


1
São necessárias expressões permitidas para "capturar" variáveis ​​do escopo anexo?
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 <vector> template<typename T> void Resize(T &v, std::size_t …

2
Como implementar a forma generalizada de std :: same_as (ou seja, para mais de dois parâmetros de tipo) que é independente da ordem dos parâmetros?
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 = ...que verifique se os tipos no pacote Typessão iguais entre si. Minha …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.