Perguntas com a marcação «language-lawyer»

Esta pergunta é decorrente deste comentário: Explicação da vida útil do Lambda para corotinas C ++ 20 em relação a este exemplo: auto foo() -> folly::coro::Task<int> { auto task = []() -> folly::coro::Task<int> { co_return 1; }(); return task; } Portanto, a questão é se a execução da rotina retornada …

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

Como a criação implícita de objetos P0593 para manipulação de objetos de baixo nível foi aceita, agora os objetos podem ser criados implicitamente no C ++ 20. Especificamente, o texto introduzido pela proposta permite que certas operações (como std::malloc) criem e iniciem automaticamente a vida útil de objetos de certos …

9 c++  language-lawyer  c++20 

Dado o seguinte modelo struct: template<typename T> struct Foo { Foo(T&&) {} }; Isso compila e Tdeduz-se a ser int: auto f = Foo(2); Mas isso não compila: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template …

9 c++  templates  language-lawyer 

Eu tenho o seguinte 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; } Ao compilar isso com o gcc 9.2 e o clang …

9 c++  templates  language-lawyer  dependent-name 

Me deparei com esse problema ao tentar me especializar tuple_size/ tuple_elementpara uma classe personalizada em C ++ 17 para ligação estruturada. O código abaixo é compilado no GCC, mas não no clang (ambas as versões de tronco, veja o link abaixo). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = …

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

Sei que esse é um assunto bastante comum, mas, por mais fácil que seja o UB típico, não encontrei essa variante até agora. Então, estou tentando introduzir formalmente objetos Pixel, evitando uma cópia real dos dados. Isso é válido? struct Pixel { uint8_t red; uint8_t green; uint8_t blue; uint8_t alpha; …

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

Pode int (*)[]ser um tipo incompleto? C 2018 6.2.5 1 diz: Em vários pontos dentro de uma unidade de tradução, um tipo de objeto pode estar incompleto (sem informações suficientes para determinar o tamanho dos objetos desse tipo) ou completo (com informações suficientes). Assim, parece que, se o tamanho de …

9 c  pointers  language-lawyer  incomplete-type 

A especificação C ++ especifica a ordem operator newe o construtor de Ain new C(A()). O g ++ deixou a ordem como A()-> new-> C(), mas o clang ++ deixou new- A()- - -> C(). A diferença é causada por comportamento não especificado? g ++: 7.4.0 cl +++: 10.0.0 #include …

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

Estou tentando entender os seguintes trechos de código Snippet # 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Nem o gcc9 nem o clang9 lançam um erro aqui. P. por que esse código é compilado? Não estamos instanciando …

9 c++  templates  language-lawyer 

A frase "fortemente acontece antes" é usada várias vezes no rascunho do padrão C ++. Por exemplo: Rescisão [basic.start.term] / 5 Se a conclusão da inicialização de um objeto com duração de armazenamento estático ocorrer fortemente antes de uma chamada para std :: atexit (consulte [support.start.term]), a chamada para a …

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

O Padrão diz: Um deque é um contêiner de sequência que suporta iteradores de acesso aleatório (27.2.7). Além disso, ele suporta operações de inserção e exclusão de tempo constante no início ou no final; inserir e apagar no meio leva tempo linear. No entanto, também diz na mesma cláusula: Todos …

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

Eu venho de C ++ e encontro um comportamento muito diferente entre ponteiros em C ++ e C #. Surpreendentemente, acho que esse código compila ... E até ... Funciona perfeitamente. class C { private readonly int x = 0; unsafe public void Edit() { fixed (int* p = &x) …

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

No exemplo de código a seguir, a ifinstrução depende do boolparâmetro do modelo, que é uma constante em tempo de compilação. Os compiladores manipulam esse código de maneira diferente: MSVC falha com erro de link (o que eu esperava), porque a função de modelo na elseramificação não possui especialização para …

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

Depois de examinar a resolução proposta no # 1664 ( resolução proposta no 1664 ), estou confuso com as regras de um argumento padrão de um modelo de função, cite o conteúdo aqui: De acordo com 8.1.5 [expr.prim.lambda] parágrafo 3 O tipo de fechamento é declarado no menor escopo de …

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

Considere o seguinte exemplo ( snippet (0) ): struct X { constexpr int get() const { return 0; } }; void foo(const X& x) { constexpr int i = x.get(); } int main() { foo(X{}); } O exemplo acima é compilado com todas as versões g++anteriores g++ 10.xe nunca compiladas …

8 c++  c++17  language-lawyer  constexpr  c++20