虛函數可以是constexpr嗎？

Question

可以在下面的代碼中使用像X::f()這樣的虛函數嗎

struct X 
{
    constexpr virtual int f() const 
    {
        return 0;
    }
};

是constexpr嗎？

Answer 1

從 C++20 開始，這個答案不再正確。

編號來自 [dcl.constexpr]/3（7.1.5，“ constexpr說明符”）：

constexpr函數的定義應滿足以下要求：

— 它不應是虛擬的

Answer 2

在 C++17 之前， virtual函數不能聲明為constexpr 。 一般原因是，在constexpr代碼中，一切都可以在編譯時發生。 因此，擁有一個引用基類並在其上調用virtual函數的函數確實沒有多大意義； 您不妨將其設為template函數並傳遞真實類型，因為您知道真實類型。

當然，隨着constexpr代碼變得更加復雜，或者如果您想在編譯時代碼和運行時代碼之間共享接口，這種想法實際上並不奏效。 在這兩種情況下，很容易忘記原始類型。 它還將允許std::error_code對constexpr更加友好。

此外，C++20 將允許我們進行（有限的）對象動態分配這一事實意味着很容易忘記原始類型。 您現在可以在constexpr代碼中創建一個vector<Base*> ，將一些Derived類實例插入其中，並將其傳遞給constexpr函數進行操作。

所以 C++20 允許將virtual函數聲明為constexpr 。

Answer 3

虛函數可以是constexpr嗎？

是的。 只有從 C++20 開始，虛函數才可以是constexpr 。