Identifier

Идентификатор — это произвольно длинная последовательность цифр, подчёркиваний, строчных и заглавных латинских букв , а также Unicode-символов, задаваемых с помощью \u и \U escape-последовательностей (начиная с C99) , принадлежащих классу XID_Continue (начиная с C23) . Корректный идентификатор должен начинаться с нецифрового символа (латинской буквы, подчёркивания или Unicode-символа, не являющегося цифрой (начиная с C99) (до C23) или Unicode-символа класса XID_Start ) (начиная с C23) ). Идентификаторы чувствительны к регистру (строчные и заглавные буквы различаются). Каждый идентификатор должен соответствовать Нормализованной форме C . (начиная с C23)

char *\U0001f431 = "cat"; // поддерживается
char *🐱 = "cat"; // определяется реализацией
                  // (например, работает в Clang, но не в GCC до версии 10)
                  // оба варианта некорректны в C23. Emoji не являются символами XID_Start

Идентификаторы могут обозначать следующие типы сущностей:

• объекты
• функции
• теги ( struct , union , или enumerations )
• члены структур или объединений
• константы перечислений
• typedef имена
• метки имён
• макросы имён
• параметры макросов имён

Каждый идентификатор, кроме имён макросов или имён параметров макросов, имеет область видимости , принадлежит к пространству имён и может обладать линковкой . Один и тот же идентификатор может обозначать разные сущности в разных точках программы или может обозначать разные сущности в одной и той же точке, если эти сущности находятся в разных пространствах имён.

Зарезервированные идентификаторы

Следующие идентификаторы являются зарезервированными и не могут быть объявлены в программе (это вызывает неопределённое поведение):

1. Идентификаторы, которые являются ключевыми словами , не могут использоваться для других целей. В частности, не допускается #define или #undef идентификатора, совпадающего с ключевым словом.
2. Все внешние идентификаторы, начинающиеся с подчеркивания.
3. Все идентификаторы, начинающиеся с подчеркивания, за которым следует заглавная буква или другое подчеркивание (эти зарезервированные идентификаторы позволяют библиотеке использовать множество внутренних макросов и функций, не являющихся внешними).
4. Все внешние идентификаторы, определенные стандартной библиотекой (в hosted environment). Это означает, что пользовательские внешние имена не должны совпадать с любыми именами из библиотеки, даже при объявлении функции, идентичной библиотечной.
5. Идентификаторы, объявленные зарезервированными для реализации или будущего использования стандартной библиотекой (см. ниже).
6. Идентификаторы, объявленные потенциально зарезервированными и предоставляемые реализацией (см. ниже). (since C23)

Все остальные идентификаторы доступны. Идентификаторы, которые не зарезервированы или потенциально не зарезервированы (since C23) могут использоваться без опасения непредвиденных конфликтов при переносе программ с одного компилятора и библиотеки на другой.

Примечание: в C++ идентификаторы с двойным подчеркиванием в любом месте зарезервированы везде; в C только те, которые начинаются с двойного подчеркивания, зарезервированы.

Зарезервированные и потенциально зарезервированные идентификаторы в библиотеке

Стандартная библиотека резервирует каждый предоставляемый ею идентификатор. Зарезервированные идентификаторы, имеющие внешнюю линковку (например, имена всех стандартных функций), зарезервированы независимо от того, какой заголовочный файл включен. Остальные зарезервированные идентификаторы резервируются при включении любого из связанных с ними заголовочных файлов.

Следующие идентификаторы зарезервированы или потенциально зарезервированы (since C23) для реализации или будущего использования стандартной библиотекой.

• названия функций , все из которых потенциально зарезервированы (начиная с C23)
  • cerf , cerfc , cexp2 , cexpm1 , clog10 , clog1p , clog2 , clgamma , ctgamma , csinpi , ccospi , ctanpi , casinpi , cacospi , catanpi , ccompoundn , cpown , cpowr , crootn , crsqrt , cexp10m1 , cexp10 , cexp2m1 , clog10p1 , clog2p1 , clogp1 (начиная с C23) и их варианты с суффиксами -f и -l, в <complex.h> (начиная с C99)
  • начинающиеся с is или to за которыми следует строчная буква, в <ctype.h> и <wctype.h> (начиная с C95)
  • начинающиеся с str или wcs (начиная с C23) за которыми следует строчная буква, в <stdlib.h> и <inttypes.h> (начиная с C23)
  • начинающиеся с cr_ , в <math.h> (начиная с C23)
  • начинающиеся с wcs за которыми следует строчная буква, в <wchar.h> (начиная с C95)
  • начинающиеся с atomic_ за которыми следует строчная буква, в <stdatomic.h> (начиная с C11)
  • начинающиеся с cnd_ , mtx_ , thrd_ или tss_ за которыми следует строчная буква, в <threads.h> (начиная с C11)
• имена typedef , все из которых потенциально зарезервированы (начиная с C23)
  • начинающиеся с int или uint и заканчивающиеся на _t , в <stdint.h> (начиная с C99)
  • начинающиеся с atomic_ или memory_ с последующей строчной буквой, в <stdatomic.h> (начиная с C11)
  • начинающиеся с cnd_ , mtx_ , thrd_ или tss_ с последующей строчной буквой, в <threads.h> (начиная с C11)
• макроимена
  • начинающиеся с E за которым следует цифра или заглавная буква, в <errno.h>
  • начинающиеся с FE_ за которым следует заглавная буква, в <fenv.h> (начиная с C99)
  • начинающиеся с DBL_ , DEC32_ , DEC64_ , DEC128_ , DEC_ , FLT_ , или LDBL_ за которым следует заглавная буква, в <float.h> ; эти идентификаторы потенциально зарезервированы (начиная с C23)
  • начинающиеся с INT или UINT и заканчивающиеся на _MAX , _MIN , _WIDTH (начиная с C23) , или _C , в <stdint.h> ; эти идентификаторы потенциально зарезервированы (начиная с C23) (начиная с C99)
  • начинающиеся с PRI или SCN за которым следует строчная буква или буква X , в <inttypes.h> ; эти идентификаторы потенциально зарезервированы (начиная с C23) (начиная с C99)
  • начинающиеся с LC_ за которым следует заглавная буква, в <locale.h>
  • начинающиеся с FP_ за которым следует заглавная буква, в <math.h> (начиная с C23)
  • начинающиеся с MATH_ за которым следует заглавная буква, в <math.h> ; эти идентификаторы потенциально зарезервированы (начиная с C23)
  • начинающиеся с SIG или SIG_ за которым следует заглавная буква, в <signal.h>
  • начинающиеся с TIME_ за которым следует заглавная буква, в <time.h> (начиная с C11)
  • начинающиеся с ATOMIC_ за которым следует заглавная буква, в <stdatomic.h> ; эти идентификаторы потенциально зарезервированы (начиная с C23) (начиная с C11)
• константы перечисления , все из которых потенциально зарезервированы (начиная с C23)
  • начинающиеся с memory_order_ за которыми следует строчная буква, в <stdatomic.h> (начиная с C11)
  • начинающиеся с cnd_ , mtx_ , thrd_ или tss_ за которыми следует строчная буква, в <threads.h> (начиная с C11)

Ограничения трансляции

Несмотря на отсутствие конкретных ограничений на длину идентификаторов, ранние компиляторы имели ограничения на количество значимых начальных символов в идентификаторах, а линкеры накладывали более строгие ограничения на имена с внешней линковкой . Требования языка C гарантируют, что любая соответствующая стандарту реализация поддерживает как минимум следующие ограничения:

Ссылки

Смотрите также