Quais são as regras sobre o uso de sublinhado em um identificador C ++?

É comum no C ++ nomear variáveis ​​de membros com algum tipo de prefixo para indicar o fato de que são variáveis ​​de membros, em vez de variáveis ​​ou parâmetros locais. Se você é do MFC, provavelmente usará m_foo. Eu também já vi myFooocasionalmente.

C # (ou possivelmente apenas .NET) parece recomendar o uso de apenas um sublinhado, como em _foo. Isso é permitido pelo padrão C ++?

As regras (que não foram alteradas no C ++ 11):

• Reservado em qualquer escopo, inclusive para uso como macros de implementação :
  • identificadores começando com um sublinhado seguido imediatamente por uma letra maiúscula
  • identificadores que contêm sublinhados adjacentes (ou "sublinhado duplo")
• Reservado no espaço para nome global:
  • identificadores começando com um sublinhado
• Além disso, tudo no stdespaço para nome é reservado. (Você tem permissão para adicionar especializações de modelo.)

No padrão C ++ 2003:

17.4.3.1.2 Nomes globais [lib.global.names]

Certos conjuntos de nomes e assinaturas de funções são sempre reservados para a implementação:

• Cada nome que contém um sublinhado duplo ( __) ou começa com um sublinhado seguido por uma letra maiúscula (2.11) é reservado à implementação para qualquer uso.
• Cada nome que começa com um sublinhado é reservado à implementação para uso como um nome no espaço para nome global. ¹⁶⁵

¹⁶⁵⁾ Esses nomes também são reservados no espaço para nome ::std(17.4.3.1).

Como o C ++ é baseado no padrão C (1.1 / 2, C ++ 03) e o C99 é uma referência normativa (1.2 / 1, C ++ 03), isso também se aplica, no Padrão C de 1999:

7.1.3 Identificadores reservados

Cada cabeçalho declara ou define todos os identificadores listados em sua sub-cláusula associada e, opcionalmente, declara ou define identificadores listados em sua sub-cláusula e identificadores de direções futuras da biblioteca associadas, sempre reservados para qualquer uso ou como identificadores de escopo do arquivo.

• Todos os identificadores que começam com um sublinhado e uma letra maiúscula ou outro sublinhado são sempre reservados para qualquer uso.
• Todos os identificadores que começam com um sublinhado são sempre reservados para uso como identificadores com escopo de arquivo nos espaços de nomes comuns e de marca.
• Cada nome de macro em qualquer uma das subcláusulas a seguir (incluindo as futuras instruções da biblioteca) é reservado para uso conforme especificado, se qualquer um de seus cabeçalhos associados for incluído; salvo indicação explícita em contrário (ver 7.1.4).
• Todos os identificadores com ligação externa em qualquer uma das subcláusulas a seguir (incluindo as instruções futuras da biblioteca) são sempre reservados para uso como identificadores com ligação externa. ¹⁵⁴
• Cada identificador com escopo de arquivo listado em qualquer uma das subcláusulas a seguir (incluindo as instruções futuras da biblioteca) é reservado para uso como um nome de macro e como um identificador com escopo de arquivo no mesmo espaço de nome, se algum dos cabeçalhos associados estiver incluído.

Nenhum outro identificador está reservado. Se o programa declarar ou definir um identificador em um contexto no qual está reservado (exceto como permitido pelo 7.1.4), ou definir um identificador reservado como um nome de macro, o comportamento será indefinido.

Se o programa remover (com #undef) qualquer definição de macro de um identificador no primeiro grupo listado acima, o comportamento será indefinido.

¹⁵⁴⁾ A lista de identificadores reservados com ligação externa inclui errno, math_errhandling, setjmp, e va_end.

Outras restrições podem ser aplicadas. Por exemplo, o padrão POSIX reserva muitos identificadores que provavelmente aparecerão no código normal:

• Os nomes que começam com maiúsculas Eseguem uma letra maiúscula ou um dígito:
  • pode ser usado para nomes de códigos de erro adicionais.
• Nomes que começam com isou são toseguidos por uma letra minúscula
  • pode ser usado para testes adicionais de caracteres e funções de conversão.
• Nomes que começam com LC_seguidos por uma letra maiúscula
  • pode ser usado para macros adicionais especificando atributos de localidade.
• Nomes de todas as funções matemáticas existentes com sufixo fou lsão reservados
  • para funções correspondentes que operam em argumentos flutuantes e longos duplos, respectivamente.
• Os nomes que começam com SIGseguidos por uma letra maiúscula são reservados
  • para nomes de sinais adicionais.
• Os nomes que começam com SIG_seguidos por uma letra maiúscula são reservados
  • para ações de sinal adicionais.
• Nomes que começam com str, memou wcsseguido de uma letra minúscula são reservados
  • para funções adicionais de string e array.
• Nomes que começam com PRIou são SCNseguidos por qualquer letra minúscula ou Xsão reservados
  • para macros especificadoras de formato adicionais
• Os nomes que terminam com _tsão reservados
  • para nomes de tipo adicionais.

Embora o uso desses nomes para seus próprios propósitos no momento não possa causar problemas, eles aumentam a possibilidade de conflito com versões futuras desse padrão.

Pessoalmente, simplesmente não inicio identificadores com sublinhados. Nova adição à minha regra: não use sublinhados duplos em nenhum lugar, o que é fácil, pois raramente uso sublinhado.

Depois de pesquisar neste artigo, não termino mais meus identificadores, _t pois isso é reservado pelo padrão POSIX.

A regra sobre qualquer identificador que termina com _tme surpreendeu bastante. Eu acho que esse é um padrão POSIX (ainda não tenho certeza) procurando esclarecimentos, capítulos e versos oficiais. Isto é do manual GNU libtool , listando nomes reservados.

O CesarB forneceu o seguinte link para os símbolos reservados do POSIX 2004 e observa 'que muitos outros prefixos e sufixos reservados ... podem ser encontrados lá'. Os símbolos reservados do POSIX 2008 são definidos aqui. As restrições são um pouco mais sutis do que as acima.

As regras para evitar a colisão de nomes estão no padrão C ++ (consulte o livro Stroustrup) e são mencionadas pelos gurus do C ++ (Sutter, etc.).

Regra pessoal

Como não queria lidar com casos e queria uma regra simples, projetei uma regra pessoal, simples e correta:

Ao nomear um símbolo, você evitará colisões com as bibliotecas do compilador / OS / padrão se:

• nunca inicie um símbolo com um sublinhado
• nunca nomeie um símbolo com dois sublinhados consecutivos no interior.

Obviamente, colocar seu código em um namespace exclusivo também ajuda a evitar colisões (mas não protege contra macros ruins)

Alguns exemplos

(Eu uso macros porque elas são mais poluidoras de código de símbolos C / C ++, mas pode ser qualquer coisa, desde o nome da variável ao nome da classe)

#define _WRONG
#define __WRONG_AGAIN
#define RIGHT_
#define WRONG__WRONG
#define RIGHT_RIGHT
#define RIGHT_x_RIGHT

Extrai do rascunho C ++ 0x

Do n3242.pdf arquivo (espero que o texto padrão final seja similar):

17.6.3.3.2 Nomes globais [global.names]

Certos conjuntos de nomes e assinaturas de funções são sempre reservados para a implementação:

- Cada nome que contém um sublinhado duplo _ _ ou começa com um sublinhado seguido por uma letra maiúscula (2.12) é reservado à implementação para qualquer uso.

- Cada nome que começa com um sublinhado é reservado à implementação para uso como um nome no espaço para nome global.

Mas também:

17.6.3.3.5 Sufixos literais definidos pelo usuário [usrlit.suffix]

Identificadores de sufixo literal que não começam com um sublinhado são reservados para futura padronização.

Esta última cláusula é confusa, a menos que você considere que um nome começando com um sublinhado e seguido por uma letra minúscula seria OK se não definido no espaço para nome global ...

Do MSDN :

O uso de dois caracteres de sublinhado seqüencial (__) no início de um identificador ou um único sublinhado inicial seguido por uma letra maiúscula é reservado para implementações do C ++ em todos os escopos. Evite usar um sublinhado à esquerda seguido de uma letra minúscula para nomes com escopo de arquivo, devido a possíveis conflitos com identificadores reservados atuais ou futuros.

Isso significa que você pode usar um único sublinhado como prefixo de variável de membro, desde que seja seguido por uma letra minúscula.

Aparentemente, isso foi retirado da seção 17.4.3.1.2 do padrão C ++, mas não consigo encontrar uma fonte original para o padrão completo online.

Veja também esta pergunta .

Quanto à outra parte da pergunta, é comum colocar o sublinhado no final do nome da variável para não colidir com nada interno.

Eu faço isso mesmo dentro de classes e namespaces, porque só preciso lembrar de uma regra (em comparação com "no final do nome no escopo global e no início do nome em qualquer outro lugar").

Sim, sublinhados podem ser usados ​​em qualquer lugar do identificador. Acredito que as regras sejam: qualquer um de az, AZ, _ no primeiro caractere e + 0-9 para os seguintes caracteres.

Os prefixos de sublinhado são comuns no código C - um único sublinhado significa "privado" e os sublinhados duplos geralmente são reservados para uso pelo compilador.