为什么是 ”\？” C/C++ 中的转义序列？

Question

在 C/C++ 中有四个特殊的非字母字符需要转义：单引号 \'、双引号 \"、反斜杠 \\ 和问号 \?。这显然是因为它们具有特殊的含义。 ' 用于单个 char，" 用于字符串文字，\ 用于转义序列，但为什么 ? 是其中之一？

我今天阅读了教科书中的转义序列表，我意识到我之前从未转义过?，也从未遇到过问题。可以肯定的是，我在 GCC 下对其进行了测试：

#include <stdio.h>
int main(void)
{
    printf("question mark ? and escaped \?\n");
    return 0;
}

还有 C++ 版本：

#include <iostream>
int main(void)
{
    std::cout << "question mark ? and escaped \?" << std::endl;
    return 0;
}

两个程序输出：question mark ? and escaped ?

所以我有两个问题：

1. 为什么\? 是转义序列字符之一？
2. 为什么非转义? 可以正常工作？甚至没有警告。

---

更有趣的事实是转义的\? 也可以与? 在其他一些语言中一样使用。我在 Lua/Ruby 中进行了测试，即使我没有找到文档记录也是如此。

Answer 1

为什么\? 是转义序列字符之一？

因为它很特别。答案导致Trigraph，C/C++ 预处理器用对应的单个字符替换下面的三个字符序列。 （C11 §5.2.1.1 和 C++11 §2.3）

Trigraph:       ??(  ??)  ??<  ??>  ??=  ??/  ??'  ??!  ??-
Replacement:      [    ]    {    }    #    \    ^    |    ~

三元组现在几乎没用了，它主要用于混淆目的。一些例子可以在IOCCC看到。

GCC 默认不支持三元组，如果代码中有三元组，它会发出警告，除非启用了选项-trigraphs3。在-trigraphs 选项下，第二个\? 在以下示例中很有用：

printf("\?\?!\n");

如果? 未转义，则输出将为|。

有关三合符的更多信息，请参阅Cryptic line "??!??!" in legacy code

---

为什么非转义 ? 可以正常工作。甚至没有警告。

因为?（和双引号"）可以用标准自己表示：

C11 §6.4.4.4 字符常量第 4 节

双引号" 和问号? 可以单独表示，也可以分别用转义序列\" 和\? 表示，但单引号' 和反斜杠@987654341 @ 应分别由转义序列\' 和\\ 表示。

在 C++ 中类似：

C++11 §2.13.2 字符字面量第 3 节

某些非图形字符，单引号’、双引号"、问号?和反斜杠\，可以根据表6表示。双引号"和问号?，可以分别表示为它们本身或转义序列\"和\?，但单引号’和反斜杠\应由转义序列\’和\\ 分别。如果反斜杠后面的字符不是指定的字符之一，则行为未定义。转义序列指定单个字符。