Preguntas etiquetadas con language-lawyer

Considere el siguiente programa: #include<stdexcept> #include<iostream> int main() { try { throw std::range_error(nullptr); } catch(const std::range_error&) { std::cout << "Caught!\n"; } } GCC y Clang con libstdc ++ llaman std::terminatey cancelan el programa con el mensaje terminate called after throwing an instance of 'std::logic_error' what(): basic_string::_S_construct null not valid Clang …

9 c++  exception  language-lawyer 

Esta pregunta surge de este comentario: explicación de por vida de Lambda para las corutinas de C ++ 20 con respecto a este ejemplo: auto foo() -> folly::coro::Task<int> { auto task = []() -> folly::coro::Task<int> { co_return 1; }(); return task; } Entonces, la pregunta es si ejecutar la corutina …

9 c++  language-lawyer  c++20  c++-coroutine 

Como P0593 se ha aceptado la creación implícita de objetos para la manipulación de objetos de bajo nivel , los objetos ahora se pueden crear implícitamente en C ++ 20. Específicamente, la redacción introducida por la propuesta permite que ciertas operaciones (como std::malloc) creen y comiencen automáticamente la vida útil …

9 c++  language-lawyer  c++20 

Dada la siguiente estructura de plantilla: template<typename T> struct Foo { Foo(T&&) {} }; Esto compila, y Tse deduce que es int: auto f = Foo(2); Pero esto no se compila: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for …

9 c++  templates  language-lawyer 

Tengo el siguiente código: template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } Al compilar esto con gcc 9.2 y clang (9.0), obtengo un …

9 c++  templates  language-lawyer  dependent-name 

Encontré este problema al intentar especializar tuple_size/ tuple_elementpara una clase personalizada en C ++ 17 para el enlace estructurado. El siguiente código se compila en GCC, pero no en clang (ambas versiones troncales, ver el enlace a continuación). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, …

9 c++  templates  language-lawyer  template-specialization  partial-specialization 

Sé que este es un tema bastante común, pero aunque la UB típica es fácil de encontrar, no encontré esta variante hasta ahora. Por lo tanto, estoy tratando de presentar formalmente los objetos Pixel mientras evito una copia real de los datos. ¿Es esto válido? struct Pixel { uint8_t red; …

9 c++  language-lawyer  reinterpret-cast  object-lifetime  placement-new 

Puede int (*)[]ser un tipo incompleto? C 2018 6.2.5 1 dice: En varios puntos dentro de una unidad de traducción, un tipo de objeto puede estar incompleto (sin información suficiente para determinar el tamaño de los objetos de ese tipo) o completo (con información suficiente). Por lo tanto, parece que …

9 c  pointers  language-lawyer  incomplete-type 

¿La especificación de C ++ especifica el orden operator newy el constructor de Ain new C(A()). El g ++ deja que el orden sea A()-> new-> C(), pero clang ++ deja que sea new-> A()-> C(). ¿Es la diferencia causada por un comportamiento no especificado? g ++: 7.4.0 clang ++: …

9 c++  language-lawyer  c++17  order-of-execution 

Estoy tratando de entender los siguientes fragmentos de código Fragmento n. ° 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Ni gcc9 ni clang9 arrojan un error aquí. P. ¿Por qué se compila este código? ¿No estamos creando …

9 c++  templates  language-lawyer 

La frase "sucede antes" se usa varias veces en el borrador del estándar C ++. Por ejemplo: Terminación [basic.start.term] / 5 Si la finalización de la inicialización de un objeto con una duración de almacenamiento estático ocurre fuertemente antes de una llamada a std :: atexit (ver, [support.start.term]), la llamada …

9 c++  multithreading  language-lawyer  memory-model  happens-before 

El estándar dice: Un deque es un contenedor de secuencia que admite iteradores de acceso aleatorio (27.2.7). Además, admite operaciones de inserción y borrado de tiempo constante al principio o al final; insertar y borrar en el medio toma tiempo lineal. Sin embargo, también dice en la misma Cláusula: Todos …

8 c++  time-complexity  language-lawyer  complexity-theory  deque 

Vengo de C ++ y encuentro un comportamiento muy diferente entre los punteros en C ++ y C #. Sorprendentemente encuentro que este código compila ... E incluso ... Funciona perfectamente. class C { private readonly int x = 0; unsafe public void Edit() { fixed (int* p = &x) …

8 c#  c++  pointers  language-lawyer  readonly-attribute 

En el siguiente ejemplo de código, la ifinstrucción depende del boolparámetro de plantilla, que es una constante en tiempo de compilación. Los compiladores manejan este código de manera diferente: MSVC falla con el error de enlace (que es lo que esperaba), porque la función de plantilla en la elserama carece …

8 c++  templates  language-lawyer  compiler-optimization  template-specialization 

Después de mirar la resolución propuesta de # 1664 ( resolución propuesta 1664 ), estoy confundido por las reglas de un argumento predeterminado de una plantilla de función. Cite el contenido aquí: De acuerdo con 8.1.5 [expr.prim.lambda] párrafo 3 El tipo de cierre se declara en el ámbito de bloque …

8 c++  templates  c++17  language-lawyer