Início / coding / Perguntas / 76988413
Accepted
user541686
Asked: 2023-08-28 02:20:53 +0800 CST

Quando *exatamente* uma invocação de macro semelhante a uma função é realmente tratada como tal?

  • 772

Estou tentando entender os detalhes essenciais de como funciona o pré-processador C++.

Suponha que temos:

#define LP (
#define F(X) a

O código a seguir é pré-processado para a:

#define G1(Y) F Y
G1(LP) 1 )

No entanto, o código a seguir é pré-processado para F ( 1 ):

#define G2(Y) F LP
G2(LP) 1 )

Ok, acho que isso faz sentido se o LPargumento já estiver expandido no momento em que é inserido na macro.

Exceto, esse não é o caso! O código a seguir é pré-processado para F "LP" 1 ), não F "(" 1 ):

#define G3(Y) F #Y
G3(LP) 1 )

Ok, agora estou confuso. Quais são as regras por trás quando um parêntese aberto é tratado como o início de uma invocação de macro semelhante a uma função?

c++

1 respostas

  1. Best Answer

    O pré-processador C++ considera o arquivo feito de group-parts . Esta regra é definida da seguinte forma:

    group-part :
        linha de controle
        if-section
        linhas de texto
        #diretiva com suporte condicional

    linha de controle:
        [...]
        # define identificador lparen lista de identificadores opt ) lista de substituição nova linha
        [...]

    lparen:
        um (caractere não precedido imediatamente por espaço em branco

    - [cpp.pre]

    É por isso que #define Z ()não definiria uma macro semelhante a uma função, mas sim, #define Z()por exemplo.

    O pré-processador elimina a separação de espaços em branco ao expandir macros, portanto, F Yonde Ya expansão LP )é tratada como F(). A expansão de macros semelhantes a funções é descrita em [cpp.subst] p1 .

    A razão pela qual F #Yse comporta de maneira diferente é que [cpp.subst] isenta #Yda substituição de macro e, em vez disso, o #operador é aplicado, o que significa que

    a grafia original de cada token de pré-processamento no argumento de stringização é mantida na string de caracteres literal

    - [cpp.stringize] p2

    No seu exemplo, #Yonde Yse expande para "LP", porque LPé a grafia original do argumento.

    • 3

relate perguntas