现代C语言：C23标准重大更新

虽然没有固定标准，但一般将C99之后的C语言标准称为“现代C语言”，目前的最新标准为C23。C语言的演化包括标准C89、C90、C99、C11、C17和C23，C23是C语言标准的一次重大修订，截至2024年3月，最新版本的gcc和
clang实现了C23的大部分新语言功能，但是部分功能仍然缺失，例如：constexpr 存储类说明符，[[unsequenced]] 和 [[reproducible]] 属性等等。
以下是比较重要的变化，完整变化列表可以参阅https://en.cppreference.com/w/c/23或ISO标准文档。

1. 替代

<assert.h>中的static_assert()宏被替代，变成了static_assert关键字；
<threads.h>中的thread_local()宏被替代，变成了thread_local关键字；
<time.h>中的ctime()函数弃用，请使用ctime_s()替代；
<time.h>中的asctime()函数弃用，请使用asctime_s()替代；
<stdnoreturn.h>与_Noreturn标识符均弃用；
<stdalign.h>中的alignas()和alignof()宏被弃用，请直接使用_Alignas和_Alignof关键字；

2. 新增

C23新增了三个十进制浮点数数据类型（关键字）：_Decimal32、_Decimal64和_Decimal128，对应的后缀是DF、DD和DL。它们的最大值分别如下：

DEC32_MAX 9.999999E96DF
DEC64_MAX 9.999999999999999E384DD
DEC128_MAX 9.999999999999999999999999999999999E6144DL

C23可以使用二进制字面量了，使用0b或者0B开头，例如：

int num = 0b1011;

C23的字面量可以加分隔符了，增强可读性，例如：

int num2 = 100'020'050;

C23添加了bool、true、false三个关键字，可以像C++一样定义布尔类型了：

bool choice = true;

C23新加了nullptr关键字，它是nullptr_t类型的，可以被强制转换为任意指针类型（传统空指针）及布尔类型（可用于逻辑判断）：

void func(int a, nullptr_t b) {//...
}func(10, nullptr);int *a = nullptr;if(!a) {printf("A is nullptr");
}

C23添加了双括号属性（Attributes）了，常用的比如：

[[deprecated]]
[[nodiscard]]
[[noreturn]]
[[maybe_unused]]

C23新加了一些预编译命令，常用的比如：

#elifdef
#elifndef
#warning：让编译器抛出警告
#embed：让编译器直接内嵌二进制数据

static const char song[] = {#embed <music.wav>  // 内嵌二进制文件数据
};

C23增加了空初始化列表支持，也就是说：

int a[5] = { 0 };
// 可以直接写成
int a[5] = {};
// 等价于
int a[5] = { 0, 0, 0, 0, 0 };

C23的宏支持__VA_OPT__了，能更方便地解决使用宏时末尾符号的问题

C23给<stdio.h>中的printf()函数添加了%b和%B支持，能像打印16进制（%x %X）一样直接打印二进制数据了；scanf()也增加了%b支持

C23给<string.h>增加了memccpy()，与memcpy()类似但遇到某个特定值时会立刻停止复制

C23给<string.h>增加了strdup()与strndup()，用于复制出一个新的（部分）字符串

C23引入了函数定义时的匿名参数，如果一个参数因为某种原因必须被传递但却不被使用，就可以把它设置为匿名参数：

int func(int num, char*)
{return num + 5;
}

C23引入了constexpr支持，可以定义编译期变量了

constexpr int c = 10/2;

C23将auto关键字的语义进行了修改。auto原本作为Storage class specifier时极少使用，因此auto在C23里变为了自动类型推导关键字。是的，C语言也可以使用auto推导了：

const char* func()
{return "Hello!";
}auto ret = func();

C23增加了对“X位整数”的支持，类型关键字为_BitInt()，编程时可以自由指定整数是几位。类型对应的字面量后缀是wb/WB和uwb/UWB例如：

// 12位无符号整数
unsigned _BitInt(12) a = 0uwb;

<uchar.h>中加入类型char8_t，存储UTF-8字符。类型对应的字面量前缀是u8。例如：

char8_t srt[] = u8"你好！";

C23允许给enum（枚举类型）指定类型了，如果不指定类型则默认为int。例如：

enum flags: unsigned long {err1 = 0xCOOOFFFF;err2 = 0xC0010000;
}

C23引入了typeof支持：

int a = 10;
typeof(a) b = 5;

3. 删除

• <stdlib.h>中的realloc()不再支持size为0的情况，改为未定义行为；
• C23取消了对三字母词（Trigraph）的支持。三字母词是一种转义字符，由??开头。例如在字面量中使用??)代替]。
• C23规定整数必须使用补码存储，不应再使用原码和反码；
• C23决定不再支持K&R格式。K&R格式是一种老式C语言写法，例如：

// K&R
int func1(a, b, c)int a;char* b;int c;
{return a + c;
}// 等价于现代语法
int func1(int a, char* b, int c)
{return a + c;
}

---

Modern C ：https://inria.hal.science/hal-02383654
C23 ：http://cpp.7fa4.cn/zh/c/23.html