c++ - 在 C++11 中哪些临时对象不能用 `someType()` 初始化？

Question

我有一些对类型和初始值进行操作的宏。我需要将初始值 vIni 转换为 vType(vIni 总是可转换为 vType，有时它有同一类型)。 vIni 也可能为空，在这种情况下，vType 应该未初始化或默认初始化。结果传递给模板化函数。

简而言之，

template<typename T> void foo(const T& o);

foo(vType(vIni));
foo(vType());

必须编译。

我已经发现 foo(unsigned int()) 或 foo(int*()) 无法编译，但可以使用 typedef 解决。

还有哪些其他情况(除了带有空格和指针的内置类型)会失败？

Answer 1

简短(稍微过于简化)的回答是，“除了简单类型说明符之外，它会失败”。

5.2.3/1 说:

A simple-type-specifier (7.1.6.2) or typename-specifier (14.6) followed by a parenthesized expression-list constructs a value of the specified type given the expression list.

一个 simple-type-specifier 可以是一个类型的单词名称(可选地加上一些 :: 范围的东西，和/或模板参数它们本身不需要是简单类型说明符)或 decltype 表达式。可能性在 7.1.6.2 中列出。

unsigned int 和 int* 不是简单类型说明符。任何复合类型说明符都会失败，因此 cv 限定、数组类型、函数类型、指针类型(包括指向函数的指针和指向成员的指针)都需要 typedef。

还排除了多词类型标识符，如 unsigned char、long double。对于您的第一个示例，unsigned 可以代替 unsigned int。

typename-specifier 是一种以typename 开头的类型，在模板中用于断言相关名称确实是一种类型，而不是数据成员或成员函数。

当然，最后，一旦你越过了这个限制，类型实际上必须是可构造的或可从表达式列表转换的。因此，例如，您不能使用此语法或任何其他语法创建临时函数类型。