.рубик

Тут готовится новый стандарт C - C2X (X, поскольку неизвестно, когда именно его выпустят).

Из интересный фичей, что точно в него войдут:
Функции strdup и stdndup - внезапно, их не было в стандартной либе.

Атрибуты - ура, наконец-то будет единый красивый способ задавать атрибуты переменным вместо уродских __attribute__ и __declspec.
Выглядеть будет примерно так: [[attr1]] struct [[attr2]] S { } [[attr3]] s1 [[attr4]], s2 [[attr5]];. Здесь attr1 относится к идентификаторам s1 и s2, attr2 относится к определению struct S, attr3 — к типу struct s1, attr4 — к идентификатору s1, attr5 — к идентификатору s2.
Из уже предложенных атрибутов: deprecated, fallthrough для использования в свичах, nodiscard, maybe_unused, noreturn.

Запретят K&R (объявление типов после "скобочек") способ указания аргументов функий. Больше нельзя будет сделать так: long maxl (a, b) long a, b; {return ...;}.

Знаковые целые числа будут всегда считаться представленными дополнительным кодом.

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

const int music[] = {
   #embed int "music.wav"
};

Добавятся ключевые слова true, false, и заменятся alignas, alignof, bool, thread_local, static_assert вместо их же вариантов, но с нижним подчеркиванием в начале.

Можно будет задавать функции с безымянными параметрами:

int main(int, char *[]) { return 0; }

Добавление полноценного nullptr, эквивалентного ((void*)0), и при приведении типов остающегося указателем.

Большая реформа обработки ошибок в стандартной либе. Предлагается из функции-шаблона генерировать четыре варианта функции, каждый из которых будет использоваться на усмотрение компилятора в зависимости от того, как её используется програмист.

И, наконец, пара изменений, которые не оформлены в предложения, однако члены комитета намелаки, что работа над ними ведется:
Вынос оператора typeof в стандарт, а не частные реализации в компиляторах.

И оператор defer, копирующая ключевое слово из Go, позволяющий выполнять какие-то действия по окончанию области видимости переменной.
Формально, некоторые компиляторы уже поддерживают такой атрибут (__attribute__((cleanup(free))) char *s = malloc(sizeof(*s));), но в стандарте о такой возможности ничего не говорилось.

Подробней - в оригинальной статье на хабре.

351 viewsRubikoid, edited 06:40