編譯器是否默認生成構造函數constexpr？

Question

以下代碼使用clang ++ 3.8.0和g ++ 7.2.0 成功編譯 （編譯標志為-std=c++14 -Wall -Wextra -Werror -pedantic-errors ）：

struct Foo
{
    constexpr operator bool() const
    {
        return false;
    }
};


int main()
{
    constexpr bool b = Foo{};

    (void)b;
}

這種編譯器標准的行為是否合規？ 請注意，將任何成員（如int i; ）添加到Foo類不會更改任何內容 。

Answer 1

是的，隱式構造函數是constexpr這種情況。 通常，它取決於子對象。

[class.ctor]

當使用odr-used（6.2）創建其類類型（4.5）的對象或在第一次聲明后顯式默認為默認構造函數時，默認構造函數是默認的並且未定義為已刪除。 隱式定義的默認構造函數執行該類的初始化集合，該初始化集合將由該用戶編寫的默認構造函數執行，該類沒有ctor-initializer（15.6.2）和空復合語句。 如果該用戶編寫的默認構造函數不正確，則程序格式錯誤。 如果該用戶編寫的默認構造函數滿足constexpr構造函數（10.1.5）的要求，則隱式定義的默認構造函數為constexpr 。 ... [snip]

constexpr構造函數的相關要求：

[dcl.constexpr]

• 班級不得有任何虛擬基類;
• 對於非委托構造函數，選擇初始化非靜態數據成員和基類子對象的每個構造函數都應該是constexpr構造函數;

Answer 2

是的。 編譯器生成的默認構造函數，以及簡單的構造函數

Foo() = default;

兩者都能讓你寫constexpr bool b = Foo{}; ，假設所有班級成員都可以構建constexpr 。 請注意，如果你寫了

Foo(){}

然后constexpr將不會被允許。 （ default和提供空體的構造函數之間的重要區別。）