Me he encontrado con este comportamiento std::gcdque encontré inesperado: #include <iostream> #include <numeric> int main() { int a = -120; unsigned b = 10; //both a and b are representable in type C using C = std::common_type<decltype(a), decltype(b)>::type; C ca =...
¿Es esto válido C ++? int main() { constexpr auto sz = __func__ - __func__; return sz; } GCC y MSVC piensan que está bien, Clang cree que no: Compiler Explorer . Todos los compiladores están de acuerdo en que este está bien: Compiler Explorer . int main() { constexpr auto p = __func__;...
La optimización de la base vacía es excelente. Sin embargo, viene con la siguiente restricción: La optimización de base vacía está prohibida si una de las clases base vacías es también el tipo o la base del tipo del primer miembro de datos no estático, ya que los dos subobjetos base del mismo...
Cuando queremos usar a static_asserten a if constexprdebemos hacer que la condición dependa de algún parámetro de plantilla. Curiosamente, gcc y clang no están de acuerdo cuando el código está envuelto en una lambda. El siguiente código se compila con gcc, pero clang activa la afirmación, incluso...
En la documentación de std::memory_ordercppreference.com hay un ejemplo de pedido relajado: Pedidos relajados Las operaciones atómicas etiquetadas memory_order_relaxedno son operaciones de sincronización; no imponen un orden entre los accesos concurrentes de memoria. Solo garantizan la...
Quiero escribir código portátil (Intel, ARM, PowerPC ...) que resuelve una variante de un problema clásico: Initially: X=Y=0 Thread A: X=1 if(!Y){ do something } Thread B: Y=1 if(!X){ do something } en el que el objetivo es evitar una situación en la que ambos hilos están haciendosomething ....
Tal como dice el título: ¿qué garantías hay para evaluar una unidad de retorno de la función Haskell? Uno pensaría que no es necesario ejecutar ningún tipo de evaluación en tal caso, el compilador podría reemplazar todas esas llamadas con un ()valor inmediato a menos que existan solicitudes...
MSVC, Clang y GCC no están de acuerdo con este código: struct Base { int x; }; struct Der1 : public Base {}; struct Der2 : public Base {}; struct AllDer : public Der1, public Der2 { void foo() { Der1::Base::x = 5; } }; Godbolt CCG: <source>: In member function 'void AllDer::foo()':...
Considere los siguientes tres structs: class blub { int i; char c; blub(const blub&) {} }; class blob { char s; blob(const blob&) {} }; struct bla { blub b0; blob b1; }; En plataformas típicas donde inthay 4 bytes, los tamaños, las alineaciones y el relleno total 1 son los...
El siguiente código se compila bien con clang-trunk en el modo c ++ 17 pero se rompe en el 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...
Considere este ejemplo (viniendo de aquí ): #include <type_traits> #include <iostream> template <typename U> struct A { }; struct B { template <typename F = int> A<F> f() { return A<F>{}; } using default_return_type =
Considere las siguientes dos clases e interfaces: public class Class1 {} public class Class2 {} public interface Interface1 {} ¿Por qué la segunda llamada para mandatoryinvocar el método sobrecargado con Class2, si getInterface1y Interface1no tiene relación Class2? public class Test { public...
Este documento en su sección 2.6 Computed incluye tiene el siguiente párrafo: Si la línea se expande a un flujo de tokens que comienza con un token <y que incluye un token>, los tokens entre <y el primero> se combinan para formar el nombre de archivo que se incluirá. Cualquier...
Esta pregunta se refiere a la adición de P0593 al último borrador de C ++ 20 . Aquí está mi ejemplo: #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;...
Edición 2 : Estaba depurando un extraño error de prueba cuando una función que anteriormente residía en un archivo fuente C ++ pero se movió literalmente a un archivo C, comenzó a devolver resultados incorrectos. El MVE a continuación permite reproducir el problema con GCC. Sin embargo, cuando,...
Me encontré con este problema al intentar agregar el impl Add<char> for Stringa la biblioteca estándar. Pero podemos replicarlo fácilmente, sin travesuras del operador. Comenzamos con esto: trait MyAdd<Rhs> { fn add(self, rhs: Rhs) -> Self; } impl MyAdd<&str> for String...
Tengo un código que encuentra e imprime las coincidencias de un patrón que va sobre el contenedor de cadenas. La impresión se realiza en la función foo que tiene la plantilla El código #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include...
Mi código: #include <stdio.h> #include <limits.h> int main() { char c = CHAR_MAX; c += 1; printf("CHAR_MIN=%d CHAR_MAX=%d c=%d (%c)\n", CHAR_MIN, CHAR_MAX, c, c); } Salida: CHAR_MIN=-128 CHAR_MAX=127 c=-128 () Vemos que cuando incrementamos un charconjunto de variables en...
Considere el siguiente programa. #include <iostream> template <typename T> void f( void ( *fn )( T ) ) { fn( 42 ); } void g( int x ) { std::cout << "g( " << x << " );\n"; } int main() { f( g ); } El programa se compila correctamente y su salida es g( 42...
En el código de ejemplo a continuación, obtengo la siguiente excepción al hacer db.Entry(a).Collection(x => x.S).IsModified = true: System.InvalidOperationException: 'La instancia del tipo de entidad' B 'no se puede rastrear porque ya se está rastreando otra instancia con el valor clave' {Id:...