Início / coding / Perguntas / 77840252
Accepted
schuelermine
Asked: 2024-01-18 22:44:06 +0800 CST

`sizeof` é permitido dentro das condições `#if`?

  • 772

De acordo com CPPReference , #ifé seguido por uma expressão constante. sizeofé um operador válido em expressões constantes. Mas quando escrevo isso e compilo com clang ou gcc, ele falha:

#if sizeof(char) == 1
#endif

saída do clang:

sizeof in preprocessor directive.c:1:5: error: function-like macro 'sizeof' is not defined
#if sizeof(char) == 1
    ^
1 error generated.

Saída do gcc:

sizeof in preprocessor directive.c:1:11: error: missing binary operator before token "("
    1 | #if sizeof(char) == 1
      |           ^

O CPPReference está errado ou os compiladores estão errados?

c

2 respostas

  1. Best Answer

    Ambos estão corretos e parece que você entendeu mal o que diz o cppreference.

    Do projeto padrão (N3096) 6.10.1, Inclusão condicional:

    Antes da avaliação, as invocações de macro na lista de tokens de pré-processamento que se tornarão a expressão constante de controle são substituídas (exceto para os nomes de macro modificados pelo operador unário definido), assim como no texto normal. Se o token definedfor gerado como resultado desse processo de substituição ou o uso do operador unário definido não corresponder a um dos dois formulários especificados antes da substituição da macro, o comportamento será indefinido. Após todas as substituições devido à expansão de macro e avaliações de definedexpressões de macro, has_includeexpressões, has_embedexpressões e has_c_attributeexpressões terem sido executadas, todos os identificadores restantes diferentes de verdadeiro (incluindo aqueles lexicamente idênticos a palavras-chave como falso) são substituídos pelo número pp 0, verdadeiro é substituído pelo pp-número 1e, em seguida, cada token de pré-processamento é convertido em um token. Os tokens resultantes compõem a expressão constante de controle que é avaliada de acordo com as regras de 6.6.

    (ênfase minha)

    Isso significa que da perspectiva do pré-processador, no contexto de #if, sizeof(char)==1é simplesmente substituído para produzir 0(0)==1, já que essa não é uma expressão constante válida, o programa está mal formado e o compilador deve emitir um diagnóstico, o que os compiladores realmente fazem e são portanto, em conformidade.

    sizeofnão é nada especial aqui, nem é char. Eles são como quaisquer outros identificadores que não foram #definede são substituídos por 0. Você pode testar sozinho com coisas como #if sizeof *1e #if char+1muito mais.

    A cotação cppreference não está errada. No seu link, a frase completa é

    A expressão é uma expressão constante, usando apenas constantes e identificadores, definidos usando a diretiva #define. Qualquer identificador, que não seja literal, não definido pela diretiva #define, é avaliado como 0.

    Isso basicamente afirma a mesma coisa que no padrão e certamente não significa "qualquer expressão constante pode ser usada aqui" como você parece acreditar.

    Acho que o que foi dito acima já deve ser suficiente para responder à sua pergunta. Só para deixar mais claro que os códigos não podem funcionar como você espera, como apontam os comentários, o tratamento acontece sizeofna fase 7 da tradução, muito depois da última fase de pré-processamento, fase 4. Informalmente, eu apenas digamos que isso sizeofseja tratado pelo compilador e o pré-processador não saiba nada sobre isso. Seja como for, é impossível avaliar sizeof(char)==1como verdadeiro em uma #ifcondição.

    • 8

  2. Falta ao CPPReference a precisão de que palavras-chave que possuem a forma de identificadores são tratadas como identificadores e não como palavras-chave para fins de avaliação da expressão constante. Essa precisão já estava presente no C89.

    • 0

relate perguntas