C 和 C++ 标准之间的关系是什么？

Question

我写的是this answer，引用自http://en.cppreference.com/w/cpp/string/byte/tolower#Parameters

不能表示为 unsigned char 且不等于 EOF，行为未定义

当我去查看the edit that had added this phrase时发现作者的评论：

根据 C99 7.4/1，任何 ctype.h 函数都不能使用负符号字符

作者引用了 C++ 文档中的 C99 标准。那有效吗？我在 C++ 标准中找不到关于这个函数的定义的任何内容，所以我必须假设它是有效的。

但这有两个原因让我担心：

1. 我如何知道 C++ 标准所依赖的 C 标准版本？
2. 有the discrepancies between C and C++ everywhere 的列表。如果我参考 C++ 查看 C 标准，我怎么可能知道我正在查看的区域是否已被覆盖？

Answer 1

第一个问题：

C++ 标准在其规范性参考部分明确列出了它所依赖的 C 标准。对于 C++14，[intro.refs] 1.2/1 恰好列出了 C 99：

• ISO/IEC 9899:1999，编程语言 - C
• ISO/IEC 9899:1999/Cor.1:2001(E)，编程语言 - C，技术勘误 1
• ISO/IEC 9899:1999/Cor.2:2004(E)，编程语言 - C，技术勘误 2
• ISO/IEC 9899:1999/Cor.3:2007(E)，编程语言 - C，技术勘误 3

第二个问题：

C++ 标准没有隐含地包含 C 标准的任何部分；所有对 C 标准的引用都是明确的。关于 C++ 与 C 的差异的一个很好的信息来源是附录 C，C++ 标准的“兼容性”，特别是 C.1 [diff.iso]。

此外，对 C 标准库的引用分散在 C++ 标准库的描述中（C++14 中的第 17-30 章）。特别感兴趣的可能是：

• 17.2 [library.c]，描述了 C 标准库的基本包含
• 第 18 章 [language.support]，其中描述了 C++ 标准库（提供 C 标准库功能的那些）的许多 <c:::> 标头。

Answer 2

我如何知道 C++ 标准依赖于哪个版本的 C 标准？

在 C++ 14 中，它是 ISO/IEC 9899:1999（加上三个更正，本质上是 C99），如 N4140 中的 1.2 [intro.refs] 中所述。在 C++98 中，它是 C90，在 C++17 中，它可能是 C11，但 C++ 标准将始终明确说明。

如果我参考 C++ 查看 C 标准，我怎么可能知道我正在查看的区域是否已被覆盖？

您查看 C++ 标准，它要么显式导入 C 定义减去 restrict，要么显式导入任何它想要的 C 行为或进行显式修改。

通常，阅读好的文档而不是标准本身会为您服务。

---

解决您最初的问题：

作者引用了 C++ 文档中的 C99 标准。这有效吗？

是的，因为

¹ 表 74 [包含std::tolower，我]、75、76、77、78 和 79 描述了标题 <cctype>、<cwctype>、<cstring>、<cwchar>、<cstdlib> （字符转换）和<cuchar>。
² 这些头文件的内容应与标准 C 库头文件 <ctype.h>、<wctype.h>、 <string.h>、<wchar.h> 和 <stdlib.h> 以及 C Unicode TR 标头 <uchar.h>，分别带有 以下修改[这些都不适用于std::tolower，我]：

N4140 中的 21.8 [c.strings]

Answer 3

编辑是正确的，并且这个特定的文本自 C90 以来一直在标准中。

从 C90 4.3 开始

标头声明了几个对测试有用的函数 和映射字符。在所有情况下，参数都是 int ， 其值应可表示为无符号字符或应 等于宏 EOF 的值。如果论点有任何其他 值，行为未定义。

从 C11 7.4/1

标头声明了几个对分类有用的函数 和映射字符。在所有情况下，参数都是一个 int， 其值应可表示为无符号字符或应 等于宏 EOF 的值。如果参数有任何其他值， 行为未定义。

相同的文本； C一直都是这样。因此，您的特定 C++ 版本使用哪个 C 版本并不重要，因为所有 C 版本都是等效的。