nullptr_t是默认的可构造类型吗？

Question

我无法从C++ 11标准中看出nullptr_t是否有默认构造函数.换句话说,以下是否有效？:

nullptr_t n; 

GCC和VC++允许上面的代码,但clang没有.我在标准中找不到任何指定它没有默认构造函数的东西,我能找到它表明它应该.这对我很重要,因为我正在为较旧的编译器支持编写nullptr的基本回退实现,并且需要知道是否需要为其提供默认构造函数.

Answer 1

标准说的是什么

标准说(18.2)

nullptr_t定义如下:

namespace std {
   typedef decltype(nullptr) nullptr_t;
}

nullptr_t是同义词的类型具有3.9.1和4.10中描述的特征.

其中3.9.1基本上表示它应该void*和4.10规定的转换规则相同nullptr.

编辑: 3.9.9进一步明确声明这nullptr_t是一个标量类型,这意味着8.5的内置类型的预期初始化规则适用:

• Default-initialization(nullptr_t n;),它保留nundefined 的值.正如Johannes Schaub正确指出的那样,这与最新版本的Clang编译得很好.
• 值初始化(nullptr_t n = nullptr_t();),将n初始化为0.

这种行为与例如相同int,因此nullptr_t绝对是可构造的.这里有趣的问题是:nullptr_t具有未定义的值意味着什么？在一天结束时,只有一个有意义的可能值nullptr_t,即nullptr.此外,类型本身仅通过nullptr文字的语义来定义.这些语义是否仍然适用于单一化值？

为什么这个问题在实践中无关紧要

您不希望声明类型的新变量nullptr_t.该类型唯一有意义的语义已经通过nullptr文字表达,因此无论何时使用类型的自定义变量nullptr_t,您都可以使用nullptr.

在实践中有什么关系

唯一的例外是你可以采用类型的非类型模板参数nullptr_t.对于这种情况,知道哪些值可以转换为有用nullptr_t,这在4.10中描述:

空指针常量是整数类型的整数常量表达式(5.19)prvalue,其计算结果为零或类型的prvalue std::nullptr_t.[...]整数类型的空指针常量可以转换为类型的prvalue std::nullptr_t.

这基本上就是你所期望的:你可以写

nullptr_t n = 0;    // correct: 0 is special

但不是

nullptr_t n = 42;   // WRONG can't convert int to nullptr_t

gcc 4.6和Clang SVN都是正确的.