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

Tudo bem retornar o valor do argumento padrão por referência const, como nos exemplos abaixo: https://coliru.stacked-crooked.com/a/ff76e060a007723b #include <string> const std::string& foo(const std::string& s = std::string("")) { return s; } int main() { const std::string& s1 = foo(); std::string s2 = foo(); const std::string& s3 = foo("s"); std::string s4 = foo("s"); …

26 c++  language-lawyer  object-lifetime  default-arguments  reference-binding 

Considere a seguinte estrutura: struct s { int a, b; }; Normalmente 1 , essa estrutura terá tamanho 8 e alinhamento 4. E se criarmos dois struct sobjetos (mais precisamente, gravamos no armazenamento alocado dois desses objetos), com o segundo objeto sobreposto ao primeiro? char *storage = malloc(3 * sizeof(struct …

25 c  pointers  struct  language-lawyer  c11 

Considere este código simples: void g(); void foo() { volatile bool x = false; if (x) g(); } https://godbolt.org/z/I2kBY7 Você pode ver que gccnem clangotimiza a chamada potencial para g. Isso está correto no meu entendimento: A máquina abstrata deve assumir que as volatilevariáveis ​​podem mudar a qualquer momento (devido …

25 c++  language-lawyer  volatile 

Considere o arquivo de cabeçalho: class T { private: int const ID; public: explicit T(int const ID_) noexcept : ID(ID_) {} int GetID() const noexcept { return ID; } }; ou alternativamente: class T { private: int const ID; public: explicit T(int const ID_) noexcept; int GetID() const noexcept; }; …

24 c++  language-lawyer  c++20  c++-modules 

Dado: #include <concepts> #include <iostream> template<class T> struct wrapper; template<std::signed_integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "signed_integral" << std::endl; } }; template<std::integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "integral" << std::endl; } }; int main() { wrapper<int> w; …

23 c++  language-lawyer  c++20  c++-concepts 

Descobri que os resultados são diferentes nos compiladores se eu usar um lambda para capturar uma referência à variável global com palavra-chave mutável e modificar o valor na função lambda. #include <stdio.h> #include <functional> int n = 100; std::function<int()> f() { int &m = n; return [m] () mutable -> …

22 c++  c++11  lambda  language-lawyer 

[basic.scope.pdecl] / 1 do rascunho padrão do C ++ 20 teve o seguinte exemplo (não normativo) em uma nota (cotação parcial de antes da mesclagem da solicitação pull 3580 , consulte a resposta a esta pergunta): unsigned char x = x; [...] x é inicializado com seu próprio valor (indeterminado). …

22 c++  initialization  language-lawyer  lifetime  c++20 

Digamos que eu tenha um shared_ptralocador personalizado e um deleter personalizado. Não consigo encontrar nada no padrão que fale sobre onde o deletador deve ser armazenado: não diz que o alocador personalizado será usado para a memória do deletador e não diz que não será. Isso não é especificado ou …

22 c++  language-lawyer  c++17  shared-ptr  allocator 

No C ++ 20, o conceito de POD foi descontinuado, supostamente porque é uma característica composta sem sentido de ser trivial e com layout padrão. No entanto, a definição de POD no rascunho do C ++ 20 não é exatamente "tanto trivial quanto com layout padrão"; é realmente: Uma classe …

22 c++  language-lawyer  c++20  standard-layout 

Considerar int main() { auto a = new int[0]; delete[] a; // So there's no memory leak } Entre a inicialização e a exclusão da cópia, você pode ler o ponteiro em a + 1? Além disso, o idioma permite que o compilador seja definido acomo nullptr?

21 c++  language-lawyer 

#include <optional> bool f() { std::optional<int> opt; return opt; } Não compila: 'return': cannot convert from 'std::optional<int>' to 'bool' Referência de consultoria Eu teria pensado em encontrar uma explicação, mas li como deveria estar ok. Conversões implícitas são executadas sempre que uma expressão de algum tipo T1 é usada no …

21 c++  language-lawyer  c++17  implicit-conversion 

Considere este código: #include <vector> #include <iostream> enum class A { X, Y }; struct Test { Test(const std::vector<double>&, const std::vector<int>& = {}, A = A::X) { std::cout << "vector overload" << std::endl; } Test(const std::vector<double>&, int, A = A::X) { std::cout << "int overload" << std::endl; } }; int …

20 c++  language-lawyer  overload-resolution 

Cppreference possui este código de exemplo para std::transform: std::vector<std::size_t> ordinals; std::transform(s.begin(), s.end(), std::back_inserter(ordinals), [](unsigned char c) -> std::size_t { return c; }); Mas também diz: std::transformnão garante a aplicação em ordem de unary_opou binary_op. Para aplicar uma função a uma sequência em ordem ou para aplicar uma função que modifica …

20 c++  stl  language-lawyer  c++17 

É thisgarantido que o valor do ponteiro seja constante durante a vida útil de um objeto específico? Não consigo imaginar um caso em que isso mudaria, mas não sei se não estou perdendo alguma coisa.

19 c++  this  language-lawyer  object-lifetime 

JLS : O operador de precedência mais baixa é a seta de uma expressão lambda (->) , seguida pelos operadores de atribuição. Seguido em que direção (prioridade crescente, prioridade decrescente)? - "seguido" significa que a atribuição tem prioridade mais alta ou mais baixa (em relação ao operador de seta)? Eu …

18 java  java-8  language-lawyer  operator-precedence  specifications