std::basic_iostem um construtor público : explicit basic_ios (std::basic_streambuf<CharT,Traits>* sb); Na IMO, a única razão para uma classe ter um construtor público é usar uma instância autônoma dessa classe em um programa. Se uma classe existe apenas para ter outras classes dela (como...
Eu compilo este programa por g ++ e clang ++. Há uma diferença: g ++ imprime 1, mas clang ++ imprime 2. Parece que g ++: a variável externa é definida no escopo mais curto. clang ++: a variável externa é definida no menor escopo global. A especificação C ++ tem alguma especificação sobre...
Como exercício, estou escrevendo um analisador para Haskell do zero. Ao fazer o lexer, observei as seguintes regras no Relatório Haskell 2010 : dígito → ascDigit | uniDigit ascDigit → 0| 1| ... 9 uniDigit → qualquer dígito decimal Unicode octit → 0| 1| ... 7 hexágono → dígito | A| ... F|...
Tenho dificuldade em entender o parágrafo a seguir citado na cppreference sobre o construtor padrão trivial. Pesquisei stackoverflow, mas ainda não recebi uma resposta clara. Então por favor ajude. Um construtor padrão trivial é um construtor que não executa nenhuma ação. Todos os tipos de dados...
Me deparei com esse comportamento std::gcdque achei 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 = std::abs(a); C...
Isso é válido em C ++? int main() { constexpr auto sz = __func__ - __func__; return sz; } O GCC e o MSVC acham que está tudo bem, Clang acha que não: o Compiler Explorer . Todos os compiladores concordam que este está correto: Explorer do compilador . int main() { constexpr auto p =...
A otimização da base vazia é ótima. No entanto, ele vem com a seguinte restrição: A otimização de base vazia é proibida se uma das classes de base vazias também for o tipo ou a base do tipo do primeiro membro de dados não estático, pois os dois subobjetos de base do mesmo tipo precisam ter...
Quando queremos usar a static_assertem a if constexpr, devemos tornar a condição dependente de algum parâmetro do modelo. Curiosamente, gcc e clang discordam quando o código é agrupado em uma lambda. O código a seguir é compilado com o gcc, mas o clang aciona a declaração, mesmo que if...
Na documentação de std::memory_orderem cppreference.com, há um exemplo de pedido relaxado: Ordenação descontraída As operações atômicas marcadas memory_order_relaxednão são operações de sincronização; eles não impõem uma ordem entre acessos simultâneos à memória. Eles garantem apenas...
Quero escrever um código portátil (Intel, ARM, PowerPC ...) que resolva uma variante de um problema clássico: Initially: X=Y=0 Thread A: X=1 if(!Y){ do something } Thread B: Y=1 if(!X){ do something } em que o objetivo é evitar uma situação em que os dois threads estejam funcionandosomething...
Assim como o título diz: que garantias existem para que uma unidade de retorno da função Haskell seja avaliada? Alguém poderia pensar que não há necessidade de executar qualquer tipo de avaliação nesse caso; o compilador poderia substituir todas essas chamadas por um ()valor imediato, a menos que...
MSVC, Clang e GCC discordam deste 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 GCC: <source>: In member function 'void AllDer::foo()':...
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:...
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...
Este documento em sua seção 2.6 Inclui computados possui o seguinte parágrafo: Se a linha se expandir para um fluxo de token começando com um token <e incluindo um>, os tokens entre o <e o primeiro> serão combinados para formar o nome do arquivo a ser incluído. Qualquer espaço em...
Considere este exemplo (vindo daqui ): #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 as duas classes e a interface a seguir: public class Class1 {} public class Class2 {} public interface Interface1 {} Por que a segunda chamada para mandatoryinvocar o método sobrecarregado com Class2, se getInterface1e Interface1não tem relacionamento Class2? public class Test {...
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;...
Me deparei com esse problema ao tentar adicionar o impl Add<char> for Stringà biblioteca padrão. Mas podemos replicá-lo facilmente, sem travessuras de operador. Começamos com isso: trait MyAdd<Rhs> { fn add(self, rhs: Rhs) -> Self; } impl MyAdd<&str> for String { fn...
Considere o seguinte 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 ); } O programa é compilado com sucesso e sua saída é g( 42 ); Agora...