虚拟constexpr函数怎么可能？

Question

从C ++ 2a开始，虚拟函数现在可以是constexpr。但是据我所知，您仍然不能在constexpr上下文中调用任意函数指针。

动态多态通常使用vtable来实现，其中包含要调用的函数指针。

另外，动态多态性virtual对于调用您不知道在编译时是哪个类型的重写函数很有用。例如：

struct A {
    virtual void fn() const {
        std::cout << 'A' << std::endl;
    }
};

void a_or_b(A const& a) {
    // The compiler has no idea `B` exists
    // it must be deferred at runtime
    a.fn();
}

struct B : A {
    void fn() const override {
        std::cout << 'A' << std::endl;
    }
};

int main() {
    // We choose which class is sent
    a_or_b(rand() % 2 ? A{} : B{});
}

因此，考虑到那些在编译时无法调用函数指针并且在编译器没有足够的信息来静态地推断要调用的函数时使用了虚拟多态性的方法，虚拟constexpr函数怎么可能？

Answer 1

请记住，constexpr仅当编译器已经知道类型时，才在编译时调用虚拟函数，并且显然不会通过虚拟分派调用它们。

相应的建议提供了类似的解释：

当前在常量表达式中禁止虚拟函数调用。由于在常量表达式中需要知道对象的动态类型（例如，以诊断演员表中未定义的行为），因此该限制是不必要且人为的。我们建议取消限制。

它还有一个很好的激励例子。