Русская Википедия:C11
C11 или ISO/IEC 9899:2011 (неофициально C1X) — стандарт для языка Си (ISO/IEC 9899:2011[1]), который заменил существующий стандарт C99. Официально о выпуске стандарта было объявлено 19 декабря 2011 года[2]. Эта версия стандарта большей частью стандартизирует возможности, существующие в распространённых современных компиляторах. Из-за плохой совместимости текущих реализаций C99 со стандартом C11 включает в себя больше выборочных возможностей для упрощения совместимости со стандартом ядра языка[3][4]. Действующий с 2018 года стандарт Шаблон:Нп5 (он же C17) фактически является уточнённым вариантом C11, исправляющим найденные в стандарте ошибки[5].
Последняя черновая спецификация (доступная для бесплатного скачивания) имеет название N1570 и была издана в апреле 2011 года[6].
Новый стандарт прошел заключительный пересмотр черновика 10 октября 2011 года и был официально ратифицирован ISO и опубликован в ISO / IEC 9899: 2011 8 декабря 2011 года без каких-либо замечаний.
Определение стандартного макроса __STDC_VERSION__ со значением 201112L дает указание, что присутствует поддержка C11[7]. Некоторые возможности C11 поддерживаются GCC начиная с версии 4.6[8]. В Clang поддержка начинается с версии 3.1[9], а в IBM XL C поддержка с версии 12.1[10].
Изменения по сравнению с C99
Последний черновик от 12 апреля 2011 года включает следующие изменения в языке C99 и спецификации библиотеки:[6][11]
- Выравнивание данных. Для этого в язык добавили спецификатор
_Alignas
, операторalignof
, функциюaligned_alloc
и заголовочный файл<stdalign.h>
; - Спецификатор функции
_Noreturn
; - Выражения, не зависящие от типа (Type-generic expressions) с использованием ключевого слова
_Generic
. Например, следующий макрос вычисления кубического корняcbrt(x)
транслируется вcbrtl(x)
,cbrt(x)
илиcbrtf(x)
в зависимости от типа параметраx
:
#define cbrt(X) _Generic((X), long double: cbrtl, \
default: cbrt, \
float: cbrtf)(X)
- Поддержка многопоточности, для этого в стандарт добавили спецификатор типа
_Thread_local
, заголовочный файл<threads.h>
, включающий в себя функции по созданию и управлению потоками, мьютексами, мониторами и функции управления хранилищем потока (англ. en:Thread-local storage). Также в C11 добавили квалификатор типа_Atomic
и заголовочный файл<stdatomic.h>
для атомарных операций доступа к памяти; - Улучшенная поддержка Unicode, основанная на техническом отчете C Unicode Technical Report ISO/IEC TR 19769:2004 (типы
char16_t
иchar32_t
для хранения данных в кодировках UTF-16/UTF-32, функции преобразования, находящиеся в заголовочном файле<uchar.h>
и соответствующие префиксыu
иU
перед строковыми литералами, как и префиксu8
для строк в кодировке UTF-8); - Функция
gets
, признанная устаревшей, удалена из текущей ревизии стандарта языка Си (ISO/IEC 9899:1999/Cor.3:2007(E)); - Интерфейсы для проверки границ массива (Шаблон:Lang-en, Annex K).[12] ;
- Возможности анализирования (Шаблон:Lang-en, Annex L);
- Добавлено больше макросов для получения характеристик чисел с плавающей точкой, касающихся денормализованных чисел и максимального числа десятичных цифр, которые можно хранить без потери точности;
- Анонимные структуры и объединения, используемые для вложения структур и объединений, например,
struct T { int tag; union { float x; int n; }; };
. - Статические утверждения (Шаблон:Lang-en), которые лучше, чем команды препроцессора
#if
и#error
, потому что утверждение вычисляется в более поздней стадии трансляции, когда компилятор «знает», что какого типа; - Привилегированный режим создания и открытия (Шаблон:Lang-en)
"…x"
для функции fopen. Этот режим аналогичен режимам POSIXO_CREAT|O_EXCL
и обычно используется для блокировки файлов; - Функция
quick_exit
— третья функция для завершения программы, с минимальной деинициализацией значений, если завершить программу функциейexit
не удается[13]; - Макросы для создания комплексных чисел (были добавлены потому, что код
real + imaginary*I
мог не привести к ожидаемому значению, если мнимая часть была бесконечной или «не числом» (NaN)[14]).
Выборочные возможности
Новая ревизия стандарта позволяет реализациям не поддерживать определённые части стандарта, включая те, которые раньше надо было поддерживать обязательно (в C99)[15]. Программы могут использовать предопределённые макросы для определения того, поддерживает ли реализация часть стандарта или нет.
Возможность | Макрос | Доступность в C99[16] |
---|---|---|
Анализирование (Annex L) | __STDC_ANALYZABLE__
|
Шаблон:No |
Действия с дробными числами по стандарту IEC 60559 (Annex F) | __STDC_IEC_559__
|
Шаблон:Partial |
Арифметика комплексных чисел, совместимая со стандартом IEC 60559 (Annex G) | __STDC_IEC_559_COMPLEX__
|
Шаблон:Partial |
Интерфейсы проверки границ массива (Annex K) | __STDC_LIB_EXT1__
|
Шаблон:No |
Типы комплексных чисел (<complex.h> )
|
__STDC_NO_COMPLEX__
|
Шаблон:Yes |
Многопоточное программирование (<threads.h> )
|
__STDC_NO_THREADS__
|
Шаблон:No |
Атомарные операции (<stdatomic.h> и квалификатор типа _Atomic )[17]
|
__STDC_NO_ATOMICS__
|
Шаблон:No |
Массивы переменной длины | __STDC_NO_VLA__
|
Шаблон:Yes |
Поддержка компиляторами
Некоторые функции C11 поддерживаются:
- GCC начиная с версии 4.6
- Clang начиная с версии 3.1
- IBM XL C начиная с версии 12.1
- Microsoft Visual C++ начиная с VS 2019 (16.8)
См. также
- C99, предыдущая спецификация языка C
- C++11, новый принятый стандарт C++ (известен также как C++0x — условное название во время его разработки)
Примечания
Ссылки
- The C1X Charter
- N1570, последний черновик стандарта C1X Шаблон:На, датирован Шаблон:Date
- ISO C Working Group’s official website
- Шаблон:Статья
Шаблон:Язык программирования Си
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокN1250
не указан текст - ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ 6,0 6,1 Ошибка цитирования Неверный тег
<ref>
; для сносокN1570
не указан текст - ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокN1516
не указан текст - ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокN1464
не указан текст - ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокN1548-6-10-8-3
не указан текст - ↑ Ошибка цитирования Неверный тег
<ref>
; для сносокISO9899-1999-6-10-8
не указан текст - ↑ Шаблон:Cite web