Perguntas com a marcação «c++20»

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; …

23 c++  language-lawyer  c++20  c++-concepts 

C ++ 20 permite usar o autotipo de parâmetro de função. Também permite usar autocomo um espaço reservado para argumento de modelo (não semelhante, mas no espírito do modelo C ++ 17 <auto> de certa forma) para o tipo de parâmetro de função? Portanto, o código a seguir, antes do …

22 c++  templates  auto  c++20 

[basic.scope.pdecl] / 1 do rascunho padrão do C ++ 20 teve o seguinte exemplo (não normativo) em uma nota (cotação parcial de antes da mesclagem da solicitação pull 3580 , consulte a resposta a esta pergunta): unsigned char x = x; [...] x é inicializado com seu próprio valor (indeterminado). …

22 c++  initialization  language-lawyer  lifetime  c++20 

No C ++ 20, o conceito de POD foi descontinuado, supostamente porque é uma característica composta sem sentido de ser trivial e com layout padrão. No entanto, a definição de POD no rascunho do C ++ 20 não é exatamente "tanto trivial quanto com layout padrão"; é realmente: Uma classe …

22 c++  language-lawyer  c++20  standard-layout 

https://www.timeanddate.com/date/weekday.html calcula vários fatos sobre um dia do ano, por exemplo: Dada uma data arbitrária, como esses números podem ser calculados com a especificação crono C ++ 20 ?

19 c++  chrono  c++20 

Observando a possível implementação do conceito same_as em https://en.cppreference.com/w/cpp/concepts/same_as, notei que algo estranho está acontecendo. namespace detail { template< class T, class U > concept SameHelper = std::is_same_v<T, U>; } template< class T, class U > concept same_as = detail::SameHelper<T, U> && detail::SameHelper<U, T>; A primeira pergunta é por que …

19 c++  c++20  concept 

Existe uma maneira de verificar no C ++ 11 se uma enumeração é contínua ? É totalmente válido fornecer valores de enumeração que não são. Existe talvez um recurso como um traço de tipo em C ++ 14, C ++ 17 ou C ++ 20 para verificar se o enum …

17 c++  c++11  c++14  c++17  c++20 

O C ++ usa o streamofftipo para representar um deslocamento em um fluxo (arquivo) e é definido da seguinte maneira em [stream.types]: using streamoff = implementation-defined ; O tipo streamoff é sinônimo de um dos tipos integrais básicos assinados de tamanho suficiente para representar o tamanho máximo possível de arquivo …

17 c++  file  language-lawyer  seek  c++20 

De acordo com a cppreference , a maioria dos usos da volatilepalavra - chave deve ser preterida no C ++ 20. Qual é a desvantagem de volatile? E qual é a solução alternativa quando não estiver usando volatile?

17 c++  volatile  c++20 

Eu estou brincando com [[no_unique_address]]no c++20. No exemplo em cppreference , temos um tipo Emptye um tipo vaziosZ struct Empty {}; // empty class struct Z { char c; [[no_unique_address]] Empty e1, e2; }; Aparentemente, o tamanho de Zdeve ser pelo menos 2porque os tipos e1e e2são iguais. No entanto, …

16 c++  struct  c++20  memory-layout  object-identity 

Há uma propriedade muito elegante de expressões constantes em C ++: sua avaliação não pode ter um comportamento indefinido ( 7.7.4.7 ): Uma expressão e é uma expressão constante do núcleo, a menos que a avaliação de e, seguindo as regras da máquina abstrata ([intro.execution]), avalie um dos seguintes: ... …

16 c++  undefined-behavior  c++20  consteval 

No C ++ 20, std::swaptorna-se uma constexprfunção. Eu sei que a biblioteca padrão realmente ficou para trás da linguagem na marcação de coisas constexpr, mas em 2017, ela <algorithm>estava praticamente consexprada como muitas outras coisas. No entanto - std::swapnão era. Lembro-me vagamente de algum defeito de linguagem estranho que impedia …

14 c++  c++11  constexpr  c++20  std-swap 

Da cppreference std::chrono::years (since C++20) duration</*signed integer type of at least 17 bits*/, std::ratio<31556952>> Usando libc++, parece que o armazenamento de sublinhado de std::chrono::yearsé shortque é assinado 16 bits . std::chrono::years( 30797 ) // yields 32767/01/01 std::chrono::years( 30797 ) + 365d // yields -32768/01/01 apparently UB Existe um erro de …

14 c++  chrono  c++20  libc++ 

Eu estava brincando com c ++ 20 consteval no GCC 10 e escrevi este código #include <optional> #include <tuple> #include <iostream> template <std::size_t N, typename Predicate, typename Tuple> consteval std::optional<std::size_t> find_if_impl(Predicate&& pred, Tuple&& t) noexcept { constexpr std::size_t I = std::tuple_size_v<std::decay_t<decltype(t)>> - N; if constexpr (N == 0u) { return …

14 c++  c++20  if-constexpr 

Em sua recente palestra “Type punping in C ++ moderno”, Timur Doumler disse que std::bit_castnão pode ser usado para converter um bit floatem um, unsigned char[4]porque matrizes no estilo C não podem ser retornadas de uma função. Devemos usar std::memcpyou aguardar até C ++ 23 (ou mais recente) quando algo …

14 c++  c++20  type-punning