C ++ constexpr最终虚函数[重复]

Question

我在 C++ 派生类中实现一个纯虚函数，并标记方法final。我还想标记函数constexpr，但标准似乎不允许这样做。

编译器难以实现这一点是否有任何实际原因？还是因为通常的“此功能被认为不够重要而无法添加到标准中”的想法而省略了这样的功能？

根据 cmets，我最初的问题似乎没有明确说明我在询问 constexpr final 函数。以下代码说明了我要编译的内容：

struct A {
    virtual int foo() const;
};

struct B : public A {
    // Note that this function is final, and is therefore no longer
    // polymorphic in types derived from B (e.g., the function call
    // no longer requires a lookup in the virtual method table
    // when the compile-time type is known to be derived from B)
    constexpr int foo() const final {
        return 0;
    }
};

请注意，这被标记为 Can virtual functions be constexpr? 的重复项，因为在 C++20 中，无论是否使用 final 关键字，上述代码都可以编译。

Answer 1

• C++20 增加了对此代码的支持。
• 在godbolt上，我们可以试试：https://godbolt.org/z/f64e93dzY
• 看起来这是Defect Report 647