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

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

C++标准委员会的丹尼尔Kr.G.GLER同意解释 unsigned int 是一个 组合 简单类型说明符,并且本身不是简单类型说明符。

关于表7的标题 referenced by Jerry Coffin ,krgler说:

我同意表7的标题(在大多数情况下是表9 最近的草案n3000)有些误导,但是 [dcl.type.simple]/2中的文本在我看来非常清晰,它显示:

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

(很抱歉,我花了很长时间才从新闻组发回这里;我完全忘记了)

在第7.1.5.2节中,继续往下读到表7,其中包含了允许作为简单说明符的完整列表(包括“unsigned int”)。

嗯,有时候你需要一个typedef。如果它没有说需要诊断,那么他们支持这一点是不正确的。不过,为了便于移植,可以使用typedef( uint16_t 或 uint64_t ,尽管这些可能不正确),或者用模板引用类型名:

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

这是怎么回事?

编辑:嗯,或者只是 5ul . 那叶子 unsigned short , unsigned char 和 signed char 作为唯一不容易显式构造的类型。

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
...