显式类型转换和多个简单类型说明符

Question

要对T 类型的对象进行值初始化，可以执行以下操作之一：

T x = T();
T x((T()));

我的问题涉及由简单类型说明符组合指定的类型，例如unsigned int：

unsigned int x = unsigned int();
unsigned int x((unsigned int()));

Visual C++ 2008 和 Intel C++ Compiler 11.1 接受这两个版本而不发出警告； Comeau 4.3.10.1b2 和 g++ 3.4.5（诚然，不是最近的）没有。

根据C++标准（C++03 5.2.3/2，expr.type.conv）：

表达式T()，其中T 是非数组完整对象类型或（可能是cv 限定的）void 类型的简单类型说明符（7.1.5.2），创建一个右值指定类型，值初始化

7.1.5.2 说，“简单类型说明符是”，然后是一个包含unsigned 和int 的列表。

因此，鉴于在 5.2.3/2 中，“simple-type-specifier”是单数，而unsigned 和int 是两个类型说明符，那么上面使用unsigned int 的示例是否无效？ （如果是，那么后续的问题是，微软和英特尔支持上述表达方式是否不正确？）

这个问题更多是出于好奇；对于由多个简单类型说明符组合指定的所有类型，值初始化等效于零初始化。 （这个问题是comments in response to this answer to a question about initialization提示的）。

Answer 1

我posted this question to comp.lang.c++.moderated.

C++ 标准委员会的 Daniel Krügler 同意 unsigned int 是一个简单类型说明符的组合，并且它本身不是一个简单类型说明符的解释。

关于表 7 referenced by Jerry Coffin 的标题，Krügler 说：

我同意表 7 的表头（这是表 9 中最 最近的 N3000 草案）有点误导，但之前的 [dcl.type.simple]/2 中的文本在我看来非常清晰，当它说：

表 7 总结了简单类型说明符的有效组合 以及它们指定的类型。”

（抱歉，我花了这么长时间才从新闻组发回这里；我完全忘记了）

Answer 2

在第 7.1.5.2 节中，继续阅读表 7，其中包含允许作为简单说明符的完整列表（其中包括“unsigned int”）。

Answer 3

嗯，有时你需要一个 typedef。如果它没有说需要诊断，那么他们支持这一点并没有错。不过，为了可移植性，您可以使用 typedef（uint16_t 或 uint64_t，尽管这些可能不正确），或者使用模板引用类型名：

iterator<void, unsigned long>::value_type( 5 )

不合理的冗长怎么样？

编辑：呃，或者干脆5ul。这使得 unsigned short、unsigned char 和 signed char 成为您无法轻松显式构造的唯一类型。

Answer 4

7.1.5.2：

简单类型说明符指定先前声明的用户定义类型或基本类型之一`

这意味着unsigned int i = unsigned int() 是合法的，因为unsigned int 是一个基本类型（因此是一个简单类型说明符，参见3.9.1）。

同样适用于以下类型：

long double
long long
long long int
unsigned long
unsigned long long int
short int
...