Preguntas etiquetadas con c++20

Considere el archivo de encabezado: class T { private: int const ID; public: explicit T(int const ID_) noexcept : ID(ID_) {} int GetID() const noexcept { return ID; } }; o alternativamente: class T { private: int const ID; public: explicit T(int const ID_) noexcept; int GetID() const noexcept; }; …

24 c++  language-lawyer  c++20  c++-modules 

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 el autotipo de parámetro de función. ¿También permite usar autocomo un marcador de posición de argumento de plantilla (no similar, pero en el espíritu de la plantilla C ++ 17 <auto> de alguna manera) para el tipo de parámetro de función? Entonces, el siguiente código, …

22 c++  templates  auto  c++20 

[basic.scope.pdecl] / 1 del borrador estándar de C ++ 20 tenía el siguiente ejemplo (no normativo) en una nota (cita parcial anterior a la fusión de la solicitud de extracción 3580 , consulte la respuesta a esta pregunta): unsigned char x = x; [...] x se inicializa con su propio …

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

En C ++ 20, el concepto de POD está en desuso, supuestamente porque es un rasgo compuesto sin sentido de ser trivial y de diseño estándar. Sin embargo, la definición de POD en el borrador de C ++ 20 no es exactamente "diseño trivial y estándar"; en realidad es: Una …

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

https://www.timeanddate.com/date/weekday.html calcula varios datos sobre un día del año, por ejemplo: Dada una fecha arbitraria, ¿cómo se pueden calcular estos números con la especificación cronológica C ++ 20 ?

19 c++  chrono  c++20 

Al observar la posible implementación del concepto same_as en https://en.cppreference.com/w/cpp/concepts/same_as noté que algo extraño está sucediendo. 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>; La primera pregunta es ¿por …

19 c++  c++20  concept 

¿Hay alguna manera de verificar en C ++ 11 si una enumeración es continua ? Es totalmente válido dar valores enum que no lo son. ¿Hay tal vez una característica como un rasgo de tipo en C ++ 14, C ++ 17 o tal vez C ++ 20 para verificar …

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

C ++ usa el streamofftipo para representar un desplazamiento dentro de una secuencia (archivo) y se define de la siguiente manera en [stream.types]: using streamoff = implementation-defined ; El tipo streamoff es sinónimo de uno de los tipos integrales básicos firmados de tamaño suficiente para representar el tamaño de archivo …

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

Según cppreference , la mayoría de los usos de la volatilepalabra clave deben quedar en desuso en C ++ 20. ¿Cuál es la desventaja de volatile? ¿Y cuál es la solución alternativa cuando no se usa volatile?

17 c++  volatile  c++20 

Estoy jugando con [[no_unique_address]]adentro c++20. En el ejemplo de cppreference tenemos un tipo Emptyy un tipo vacíosZ struct Empty {}; // empty class struct Z { char c; [[no_unique_address]] Empty e1, e2; }; Aparentemente, el tamaño de Ztiene que ser al menos 2porque los tipos de e1y e2son iguales. Sin …

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

Hay una propiedad muy clara de las expresiones constantes en C ++: su evaluación no puede tener un comportamiento indefinido ( 7.7.4.7 ): Una expresión e es una expresión constante central a menos que la evaluación de e, siguiendo las reglas de la máquina abstracta ([intro.execution]), evalúe uno de los …

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

En C ++ 20, se std::swapconvierte en una constexprfunción. Sé que la biblioteca estándar realmente se quedó atrás del lenguaje al marcar cosas constexpr, pero para 2017, <algorithm>era bastante importante, al igual que muchas otras cosas. Sin embargo, std::swapno lo fue. Recuerdo vagamente que hay algún defecto extraño en el …

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

De cppreference std::chrono::years (since C++20) duration</*signed integer type of at least 17 bits*/, std::ratio<31556952>> Usando libc++, parece que el almacenamiento subrayado de std::chrono::yearsis shortestá firmado 16 bits . std::chrono::years( 30797 ) // yields 32767/01/01 std::chrono::years( 30797 ) + 365d // yields -32768/01/01 apparently UB ¿Hay un error tipográfico en cppreference …

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

Estaba jugando con c ++ 20 consteval en GCC 10 y escribí 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 std::nullopt; …

14 c++  c++20  if-constexpr