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 é contínuo? Isso deve ser usado em um static_assert. Um...
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
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...
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...
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...
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...
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&&...
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...
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)...
Tento entender os tipos de expressão de C ++ e, quanto mais leio, mais confuso fiquei, pois acho o esboço do C ++ muito difícil de digerir e, portanto, prefiro outros recursos, mas eles se contradizem ou não levam em conta que o a redação e a definição entre versões do C ++ mudam bastante. A...
Estamos em 2020 agora e o C ++ 20 está chegando, juntamente com o tão esperado recurso de módulos C ++. Mas depois de assistir a algumas palestras sobre CppCon, acho que os módulos C ++ estão em um lugar estranho, especialmente para gerenciadores de pacotes Linux (pacman, apt, emerge, etc...
Considere os três seguintes struct: class blub { int i; char c; blub(const blub&) {} }; class blob { char s; blob(const blob&) {} }; struct bla { blub b0; blob b1; }; Nas plataformas típicas, com int4 bytes, os tamanhos, alinhamentos e preenchimento total 1 são os seguintes:...
Estou procurando uma maneira de identificar lambdas vazias (sem captura) de outras lambdas em uma função de modelo. Atualmente, estou usando C ++ 17, mas estou curioso para respostas C ++ 20 também. Meu código fica assim: template<typename T> auto func(T lambda) { // The aguments of the...
Como os conceitos são definidos como predicados em tempo de compilação, também é possível realmente reutilizá-los para algoritmos em tempo de compilação? Por exemplo, seria possível verificar se todos os tipos em uma tupla estão em conformidade com um conceito? Até onde eu vi, não é possível passar...
Até o padrão C ++ 20 do C ++, quando queríamos definir um operador fora da classe que usa alguns membros privados de uma classe de modelo, usaríamos uma construção semelhante a esta: template <typename T> class Foo; template <typename T> constexpr bool operator==(T lhs, const...
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....
Todos os construtores de std :: span são declarados constexpr, no entanto, não consigo fazer com que nenhum deles funcione em um contexto constexpr. Descomentar qualquer um dos constexpr abaixo resultará em um erro de compilação. #include <array> #include <span> int main() {...
Esta pergunta refere-se à adição de P0593 ao rascunho C ++ 20 mais recente . Aqui está o meu exemplo: #include <cstdlib> #include <cstdio> void foo(void *p) { if ( std::getchar() == 'i' ) { *(int *)p = 2; std::printf("%d\n", *(int *)p); } else { *(float *)p = 2;...
O código a seguir é compilado com clang-trunk no modo c ++ 17, mas é interrompido no modo c ++ 2a (próximo c ++ 20): // Meta struct describing the result of a comparison struct Meta {}; struct Foo { Meta operator==(const Foo&) {return Meta{};} Meta operator!=(const Foo&) {return...
As faixas estão chegando ao C ++ com a versão padrão do C ++ 20. Minha pergunta: Seremos capazes de construir contêineres de biblioteca padrão (existentes) com qualquer intervalo? E mais importante, com vistas de alcance? Por exemplo, isso será: #include <vector> #include...