Início / coding / Perguntas / 79277105
Accepted
shynur
Asked: 2024-12-13 10:46:14 +0800 CST

O que é "void (0)"?

  • 772

Eu sei que isso (void)0é um no-op em C/C++. No entanto, quando eu estava olhando o código em <cassert>, eu vi void (0).

Acho que é algo como int (0)ou int{0}. Eu também tentei void{}e funciona. Parece que esta é uma inicialização zero para void.

Mas voidé um tipo incompleto , como é que o compilador não reclama? ( g++-14 -std=c++23 -Wall)

c++

2 respostas

  1. Best Answer

    Ambos void(0)e void{}são expressões de conversão de tipo explícito no estilo de função no padrão, e a semântica é definida da seguinte forma,

    Se o inicializador for uma expressão única entre parênteses, a expressão de conversão de tipo será equivalente à expressão de conversão correspondente . Caso contrário, se o tipo for e o inicializador for () ou {} (após expansão de pacote, se houver), a expressão será um prvalue do tipo que não realiza inicialização.cv voidvoid

    Para void(0), a primeira frase se aplica, e a expressão é semanticamente equivalente a (void)0, que você já conhece. Para expandir ainda mais, isso é equivalente a static_cast<void>(0)onde o padrão faz um caso especial para em expr.static.cast . Para , a segunda frase entra em jogo, e o padrão especifica explicitamente que nenhuma inicialização é realizada. Em ambos os casos, não há "inicialização de tipo incompleto" envolvida, e isso explica por que o compilador não reclama.cv voidvoid{}

    • 5

  2. Quando você escreve T(E)em C++ onde Té um tipo e Euma única expressão, isso é chamado de expressão de conversão de estilo funcional e é exatamente equivalente à expressão de conversão de estilo antigo (T)Eem termos de semântica.

    Então void(0)é exatamente equivalente a (void)0.

    (Existem algumas diferenças de análise em termos de precedência de operadores e o que a gramática permite Tconter exatamente.)

    • 2

relate perguntas