Preguntas etiquetadas con language-lawyer

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 si if constexprno …

13 c++  templates  language-lawyer  c++17  static-assert 

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 …

12 c++  language-lawyer  multiple-inheritance  diamond-problem  qualified-name 

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 …

12 c++  language-lawyer  c++20 

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 explícitas de …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

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

11 c++  language-lawyer  c++20 

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&) …

11 c++  language-lawyer  eigen  eigen3  c++20 

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 …

11 c++  c  gcc  language-lawyer 

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 static void main(String[] args) { Class1 class1 = …

11 java  generics  java-8  language-lawyer  javac 

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 = decltype(std::declval<B>().f()); }; int main() { B::default_return_type x{}; std::cout << std::is_same< B::default_return_type, A<int>>::value; } Se compila …

11 c++  language-lawyer  incomplete-type  declval 

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 <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> …

10 c++  c++11  templates  language-lawyer  template-templates 

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 CHAR_MAX, se ajusta a CHAR_MIN. ¿Está garantizado este comportamiento? ¿O va …

10 c  char  language-lawyer  standards  integer-overflow 

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, por capricho, …

10 c++  c  language-lawyer  bit-fields  truncation 

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: 0} '. Al adjuntar entidades existentes, asegúrese de …

10 c#  language-lawyer  entity-framework-core-3.1 

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 …

10 c++  templates  language-lawyer  c++17  template-argument-deduction 

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 { fn add(mut self, rhs: &str) -> Self { …

10 rust  language-lawyer