constexpr C错误：在其定义之前使用析构函数

Question

我在使用g-12时遇到了一个错误，它在clang-13中没有出现。特别是，这段代码：

struct A {
    constexpr virtual ~A() = default;
    constexpr A() = default;
};

struct B : public A {
    constexpr ~B() = default;
    constexpr B() = default;
};

constexpr int demo(){
    B *b = new B();
    delete b;
    return 2;
}

int main(){
    constexpr int demod = demo();
    return demod;
}

使用clang编译，但使用g会产生错误：

minimize-error.cpp: In function ‘int main()’:
minimize-error.cpp:18:31:   in ‘constexpr’ expansion of ‘demo()’
minimize-error.cpp:13:12: error: ‘virtual constexpr B::~B()’ used before its definition
   13 |     delete b;
      |

奇怪的是，如果我删除了对解调器的constexpr要求，那么这个例子编译和运行时就不会出错。

你知道这里发生了什么吗？

Answer 1

正如StoryTeller在评论中指出的，这是错误93413的一个实例。重复的错误104653建议了一种解决方法：

struct A{
    constexpr virtual ~A() = default;
    constexpr A() = default;
};

struct B : public A {
    virtual constexpr ~B() override;
    constexpr B() = default;
};

constexpr B::~B() = default;

consteval int demo(){
    B *b = new B();
    delete b;
    return 2;
}

int main(){
    return demo();
}

Answer 2

这是一个GCC错误，请参阅此报告。

在当前GCC的常量求值中，虚拟默认析构函数似乎根本不起作用。正如bug报告中所提到的，简单地说

struct A{
    constexpr virtual ~A() = default;
};

constexpr A a;

也失败了。

作为一种解决方法，您可以手动提供析构函数的定义，而不是默认：

constexpr virtual ~A() {}

/*...*/

constexpr ~B() {}

然后GCC似乎很高兴。