在C ++标准中，它表示sizeof（wchar_t）<= sizeof（long）和sizeof（bool）<= sizeof（long）？

Question

Stroustrup先生在他的新书（TCPL第4版）的第149页上写了以下内容

1 <= sizeof(wchar_t) <= sizeof(long)

我在标准中找不到任何支持上述不等式的内容。 我可以对sizeof(bool) <= sizeof(long)说同样的话。

编辑 ：在3.9.1p5你会发现：

类型wchar_t应具有与其他整数类型之一相同的大小，符号和对齐要求（3.11），称为其基础类型。

这支持了不平等

sizeof(wchar_t) <= sizeof(long long)

但不是

sizeof(wchar_t) <= sizeof(long)

但我找不到任何确认的东西

sizeof(bool) <= sizeof(long)

Answer 1

对于sizeof(wchar_t)>N && sizeof(long)<=N的任何值，很难想象sizeof(wchar_t)>N && sizeof(long)<=N实现，更不用说任何人都会考虑使用wchar_t 。 那说：

事实上，我认为这是错误的。 4.5“整体促销”p2明确允许：

2.将char16_t，char32_t或wchar_t（3.9.1）类型的prvalue转换为以下第一种类型的prvalue，它们可以表示其基础类型的所有值：int，unsigned int，long int，unsigned long int，long long int或unsigned long long int。 如果该列表中的所有类型都不能表示其基础类型的所有值，则可以将char16_t，char32_t或wchar_t类型的prvalue转换为其基础类型的prvalue。

5.3.3“sizeof”p1明确地保留了实现定义的实际大小：

1. [...]应用于任何其他基本类型（3.9.1）的sizeof的结果是实现定义的。 [ *注意：特别是sizeof（bool），sizeof（char16_t），sizeof（char32_t）和sizeof（wchar_t）是实现定义的。* 76 - 结束注释] [注意：有关byte和3.9的定义，请参阅1.7用于对象表示的定义。 - 结束说明]

虽然5.3.3足以让相对大小值得怀疑，但我认为wchar_t在任何标准类型中无法代表的规范可能性使其无可置疑。