由于模板基类，从不完整类型初始化静态 constexpr

Question

我有一个模板基类，期望子类将自己作为模板参数传递。

看起来有点像这样：

template<typename T>
struct Base {
    constexpr Base(int x) : m_x(x) {}
private:
    int m_x;
};

struct Derived : public Base<Derived>
{
    static const Derived LIFE;
    constexpr Derived(int x) : Base(x) {}
};

const Derived Derived::LIFE = Derived(42);

编译并按预期工作。但现在我想让 Derived::LIFE 成为 constexpr。这甚至可能吗？

我不能只是将它的 const 限定符更改为 constexpr，因为 constexpr 需要在其声明中进行初始化：

test.cpp:10:28: error: constexpr static data member ‘LIFE’ must have an initializer
   static constexpr Derived LIFE;

我不能在那里初始化它，因为 Derived 是一个不完整的类型：

test.cpp:10:45: error: invalid use of incomplete type ‘struct Derived’
   static constexpr Derived LIFE = Derived(42);

我意识到如果 Derived 是一个完整的类型，这个问题就会消失，但在这种特殊情况下，由于与这个问题无关的原因，我非常依赖自引用模板基类。

如果我正确理解了this answer 中的最后一段，听起来至少有一些关于在未来某个时候改变不完整类型的处理方式的讨论，但这对我现在没有帮助。

有人知道在我上面的代码中延迟初始化 LIFE 的某种技巧吗？

Answer 1

您可以简单地将constexpr 添加到LIFE 的定义中：

constexpr Derived Derived::LIFE = Derived(42);

直到最近 GCC 有一个错误，它拒绝了这个；您需要使用 Clang 或 GCC 4.9。

Answer 2

我想你应该使用lazy initialization。实际上Derived 仍然是不完整的类型；因为编译器还不知道它的大小。

所以代码应该是：

struct Derived : public Base<Derived>
{
    constexpr Derived(int x) : Base(x) {}

    static constexpr Derived getLIFE()
    {
        return Derived(34);
    }
};

编辑： 使用此 sn-p 可以重现相同的 incomplete type 行为：

struct MyStruct
{
    static constexpr int x = sizeof(MyStruct);
};