C++ 11とC++ 14のconstexpr

Question

Mike Isaacsonの「Exploring C++ 17 and beyond」プレゼンテーション（https://youtu.be/-ctgSbEfRxU?t=2907）では、書き込みに関する質問があります：

const constexpr .... 

vs単一のconst。 MikeはC++ 11ではconstexprはconstを意味し、C++ではそうではありません14。 それは本当ですか？ 私はそれを証明しようとしましたが、できませんでした。

私はconstとconstexpr（他の多くの質問として）の違いについては求めていませんが、C++標準の2つのバージョンのconstexprの違いについては質問しません。

Answer 1

は、コードのこの部分を考慮してください

struct T { 
    int x; 

    constexpr void set(int y) { 
    x = y; 
    } 
}; 

constexpr T t = { 42 }; 

int main() { 
    t.set(0); 
    return 0; 
} 

これはC++ 14にコンパイルするが、メンバ関数setがconst宣言されたかのようにC++ 11にエラーを与えるべきです。これは、constexprがC++ 11にconstを含意しているためです。これは、以降のバージョンの標準ではこれ以上真ではありません。

constexprキーワードは、実行時にオブジェクトが動的に初期化されないことを保証します。関数の場合、コンパイル時に関数を評価できることが保証されます。 C++ 11では、これは「読み込み専用メモリに格納されていました」と混乱しましたが、すぐにエラーとして認識されました。

さらに、C++ 14では、constexprの関数とメンバがはるかに優れています。たとえば、非constオブジェクトを変更することができるので、暗黙的にconstにすることはできません。