constexpr 用于派生类中空初始化的构造函数

我有类似以下内容

class Base {
public:
    explicit Base(int* i) noexcept { type = new int; *type = *i; };
    constexpr Base(std::nullptr_t) : type(nullptr) { };
    ~Base() { cout << "Destroying!" << endl; delete type; };
protected:
    int* type;
};


class Derived : public Base {
public:
    explicit Derived(int* i) noexcept : Base(i) { };
    //constexpr Derived(std::nullptr_t) : type(nullptr) { };
    //constexpr Derived(std::nullptr_t) : Base(nullptr) { };
    ~Derived() { };
};

我想实现一些目标constexpr派生类的 null 构造函数，但编译器对这两个选项和我所做的类似测试抱怨很多。

当然，代码更复杂，我有一个不透明的处理程序，析构函数应该以更复杂的方式运行。资源释放总是相同的（不需要多个析构函数，只需要Base one).

我不知道如何实现这一点，也许我正在走一条错误的道路？有任何想法吗？我希望能够做类似的事情：

Derived a(nullptr);
Derived b(handler1);
Base c (nullptr);
Base d (handler2);

并且，在清理过程中，两者handler1 and handler2以某种方式进行管理。

Edit:

Clang（3.4 版）抱怨：

error: constexpr constructor never produces a constant expression [-Winvalid-constexpr]

并且 gcc （版本 4.8 [编辑：多个版本，尚未检查全部]）在使用时不会抱怨

constexpr Derived(std::nullptr_t) : Base(nullptr) { };

实际上，gcc似乎做了我想要实现的目标，但我不明白constexpr足以知道哪个编译器做得正确以及我如何修改问题。

常量表达式的类型必须是文字类型。事实上，“文字类型”分类单元的全部目的是“成为可以作为常量表达式的东西”。请参阅[expr.const]：

A 条件表达式 e是一个核心常量表达式，除非计算e遵循抽象机 (1.9) 的规则，将计算以下表达式之一：

...

— 调用除文字类的 constexpr 构造函数，一个 constexpr 函数，

...

因此，一个constexpr构造函数只允许您在文字类上生成常量表达式，否则，正如编译器告诉您的那样，它将“永远不会生成常量表达式”。

文字类受 [basic.types] 的约束如下：

类型是一个文字类型如果是：

...

— 具有以下所有属性的类类型（第 9 条）：

• 它有一个简单的析构函数，
• 它是一种聚合类型（8.5.1）或至少有一个constexpr构造函数或构造函数模板不是复制或移动构造函数，并且
• 它的所有非静态数据成员和基类都是非易失性文字类型。

但是，从 C++14 开始（特别是从N3652), constexpr构造函数还有另一个不相关的用途：它们允许静态初始化（在 [basic.start.init] 的意义上）：

A 常量初始值设定项对于一个物体o是一个表达式，它是 常量表达式，除了它也可以调用constexpr构造函数o及其子对象，即使这些对象属于非文字类类型 [Note：这样的类可能有一个不平凡的析构函数 -end note].

回顾一下：从 C++14 开始，constexpr有两个用途：

1. C++11 解释：“常量表达式”是与其值相同的表达式（即其计算没有副作用）；constexpr变量只是其值的占位符，并不用于其对象标识，并且通常期望常量表达式可以自由地替换为其（编译时已知的）值。

2. C++14constexpr函数，包括构造函数：这些函数（包括构造函数）可以在静态初始化阶段调用，以对具有静态存储持续时间的变量进行常量初始化。如果变量是对象，它们仍然保留其对象标识，并且可能需要动态销毁，但它们的初始化发生在任何动态初始化之前，并且不受排序的影响。