Constexpr 类：继承？

首先，我正在使用 Clang 3.4.1

我正在编写一个全局变量，它必须充当编译时上下文的占位符（主要作为值模板参数）。为此，我编写了一个名为的 constexpr 类chameleon（它模仿任何运行时值的行为）：

struct chameleon
{
    template<typename T>
    constexpr operator T() const
    {
        return T{};
    }

    constexpr chameleon() = default;
};

由于转换运算符和构造函数都指定为constexpr，我能够在编译时创建该类的实例。例如 https://ideone.com/KhAN6R:

template<int foo>
struct bar
{};

using mytype = bar<chameleon{}>;

由于这有效，并且我在其他地方使用它，所以我决定编写这样的占位符类型 只是继承自chameleon:

template<std::size_t I>
struct placeholder : public chameleon
{
    using chameleon::chameleon;
};

我使用的是 C++11，所以我只使用了“新”（C++11 已经三年了......）继承构造函数功能。

声明占位符变量时：

constexpr const placeholder<0> _1;

编译器拒绝该代码，称它需要用户定义的默认构造函数进行初始化。所以“嗯，继承 ctors 不会传播 constexpr 或类似的东西”是我的想法。然后我将 using 更改为默认的 ctor 声明：

template<std::size_t I>
struct placeholder : public chameleon
{
    constexpr placeholder() = default;
};

现在编译器说：

错误：const 类型“const placeholder”对象的默认初始化需要用户提供的默认构造函数

如果我改变= default到手动定义的空构造函数（constexpr placeholder() {}）然后它可以工作，但构造函数不会被评估为constexpr以及使用_编译时上下文中的占位符无效（常见的is not a constant expression错误）。手动调用基本构造函数也是如此。

我的问题是：继承和继承有什么问题constexpr构造函数？写的时候有没有办法使用继承constexpr课程？

EDIT:我有一个被零除的错误，使用手动编写的 ctor 的代码工作得很好。另一方面，我不明白为什么继承构造函数或默认构造函数声明都不起作用。问题依然存在。

所以“嗯，继承 ctors 不会传播 constexpr 或类似的东西”就是我的想法

这不是问题所在；默认构造函数和复制/移动构造函数不能被继承。如果您没有显式定义或默认它们，它们将按照通常的规则隐式定义。

§12.9 [类.inhctor]

3      对于继承构造函数候选集中的每个非模板构造函数除了没有参数的构造函数或具有单个参数的复制/移动构造函数之外，除非存在具有相同构造函数特征的用户声明构造函数，否则隐式声明构造函数 完整类中的签名使用声明出现，或者构造函数将是该类的默认构造函数、复制构造函数或移动构造函数。 ...

5      [Note:默认构造函数和复制/移动构造函数可以按照 12.1 和 12.8 中的规定隐式声明。——尾注 ]

最后，placeholder，带或不带 using 继承声明chameleon的构造函数，将隐式定义一个默认构造函数，并且该构造函数将是constexpr.

§12.1/5 [类.ctor]

...如果用户编写的默认构造函数能够满足constexpr构造函数（7.1.5），隐式定义的默认构造函数是constexpr. ...

您的类具有用户提供的默认构造函数，满足 §7.1.5/4 中的要求constexpr构造函数。您看到的错误是由于下一部分造成的。

至于为什么必须为 a 提供构造函数定义const对象，让我们看一下您的班级。

struct chameleon
{
    template<typename T>
    constexpr operator T() const
    {
        return T{};
    }

    constexpr chameleon() = default;
};

这个类既简单（9/6）又标准布局（9/7），因此它是一个 POD（9/10）。 POD 默认情况下未初始化，因此const没有初始化程序的 POD 将是未初始化的且不可变的，这使得它几乎毫无价值（或者至少我无法想到任何用例）。

通过提供默认构造函数，该类不再是 POD，并且将被默认初始化。

正如 @Casey 在 中指出的comments https://stackoverflow.com/questions/24333458/constexpr-class-inheritance#comment37616985_24333884，此要求列于§8.5/7

如果程序调用 const 限定类型的对象的默认初始化T, T应是具有用户提供的默认构造函数的类类型。