C++输出流运算符<<()中的字符何时加宽？

Question

在我看来，C++ 标准存在不一致之处，特别是在 C++17 草案 (N4659) 的第 30.7.5.2.4 节中，关于何时在输出流的格式化输出操作中加宽字符（ operator<<())。完全相同的不一致似乎反映在en.cppreference.com 中。

首先，假设以下声明：

std::ostream out;
std::wostream wout;
char ch;
wchar_t wch;
const char* str;
const wchar_t* wstr;

然后声明

1. out << ch 不执行字符加宽，
2. out << str 执行字符加宽，
3. wout << ch 执行字符加宽，
4. wout << str 执行字符加宽，
5. wout << wch 不执行字符加宽，
6. wout << wstr 执行字符加宽。

第一个也是最明显的不一致是 (6) 不可能为真，因为没有 widen() 函数采用 wchar_t 参数，只有一个采用 char 参数。

第二个（表面上的）不一致在 (1) 和 (2) 之间。 out << "x" 应该扩大 'x'，而 out << 'x' 不应该扩大，这对我来说似乎很奇怪。

我误解了标准文本，还是那里有什么问题？如果后者是真的，你知道预期的行为是什么吗？

编辑：显然，这种不一致（如果我是对的）至少从 C++03（第 27.6.2.5.4 节）开始就存在于标准中。文本通过中间标准略有变化，但我在上面解释过的不一致仍然存在。

Answer 1

标准似乎并不完全正确。大多数问题源于各自操作的批量规范。不是单独处理每个重载，而是将类似的重载放在一起描述，从而导致误导性规范。

但我怀疑，任何实施者都无法理解其意图。本质上，当char 插入到非char 流中时，字符需要widen()ed 才能获得流的字符类型的字符。这种扩展旨在将源字符集中的一个字符映射到流的宽字符集中的一个字符。

请注意，IOStreams 规范假定流中字符的原始概念是单个实体。由于创建了规范（针对 C++1998 版本），文本并没有真正更新，但是随着 Unicode 的广泛使用，流中的“字符”实际上是编码的字节。尽管流在这个修改后的环境中大部分都可以正常工作，但并没有真正正确地支持一些有助于处理 Unicode 字符的灵活性。缺少将一个字符“扩展”为 UTF8 字节序列的东西可能就是其中之一。

如果您认为流部分中的不一致/不正确之处需要解决，请提交缺陷报告。提交缺陷报告的说明在http://isocpp.org。当您确实提出问题时，请考虑提供建议的措辞来纠正问题。由于并不缺乏明确的实际意图，并且可能大多数实现无论如何都会做正确的事情，我希望这个问题得到相当低的优先级，并且如果没有提议的措辞，它不太可能受到太多关注。当然，解决这个问题不会改变预期的行为，例如，将chars“扩大”为 UTF8 序列：这实际上是对流库的重新设计，可能是有序的，但不会完成作为缺陷解决的一部分。