なぜコンストラクタでconstexprを使用しますか？

Question

constexprは、コンパイル時にオブジェクトを定数として使用できるようになることを理解していますが、これが有益な場合の例は何ですか？私はキーワードをよりよく理解しようとしていますが、なぜそれが必要なのかを説明するコンストラクタで使用すると良い例は見つけられません。

以下の両方の例が動作するので、constexprがコンストラクタに配置されるのはなぜですか？

#include <iostream> 
using namespace std; 

class Rect 
{ 
    public: 
     constexpr Rect(int width, int height) 
      : mWidth(width), mHeight(height) {} 
     constexpr int getArea() const { return mWidth * mHeight; } 
    private: 
     int mWidth, mHeight; 
}; 

int main(int argc, char* argv[]) 
{ 
    constexpr Rect r(8, 2); 

    cout << r.getArea() << endl; //16 

    int myArray[r.getArea()]; // OK 


    return 0; 
} 

コンストラクタのconstexprのなし：：コンストラクタのconstexprので

r.getArea()が一定でないため、2番目の例では

#include <iostream> 
using namespace std; 

class Rect 
{ 
    public: 
     Rect(int width, int height) 
      : mWidth(width), mHeight(height) {} 
     constexpr int getArea() const { return mWidth * mHeight; } 
    private: 
     int mWidth, mHeight; 
}; 

int main(int argc, char* argv[]) 
{ 
    Rect r(8, 2); 

    cout << r.getArea() << endl; //16 

    int myArray[r.getArea()]; // OK 


    return 0; 
} 

Answer 1

、int myArray[r.getArea()];は、標準C++で許可されていません表現。コンパイラがそれを受け入れるならば、あなたはコンパイラ拡張に頼っています、そして、準拠モードでコンパイラを呼び出すなら、警告を生成しなければなりません。コンパイラは非constexprバージョンで受け付けすることがほとんどありません

std::array<int, r.getArea()> myArray; 

：あなたがに配列を変更した場合

違いはより明白であるかもしれません。