Warum würden Sie einen Contexpr auf einem Konstruktor verwenden?

Question

Ich verstehe, dass constexpr Ihnen erlauben würde, ein Objekt als eine Konstante zum Zeitpunkt der Kompilierung zu verwenden, aber was ist ein Beispiel dafür, wann dies von Vorteil wäre? Ich versuche, das Schlüsselwort besser zu verstehen, aber ich kann kein gutes Beispiel finden, das übergeht, wenn ich es für einen Konstruktor verwende, der erklärt, warum es benötigt wird.

Die beiden folgenden Beispiele funktionieren, also warum wird der consExpr auf den Konstruktor gelegt?

Mit constexpr auf Konstruktor:

#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; 
} 

Ohne constexpr auf Konstruktor:

#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

In Ihrem zweiten Beispiel wird int myArray[r.getArea()]; nicht in Standard C++ erlaubt, da r.getArea() keine Konstante ist Ausdruck. (Wenn Ihr Compiler dies akzeptiert, dann verlassen Sie sich auf eine Compiler-Erweiterung und sollten eine Warnung ausgeben, wenn Sie den Compiler im konformen Modus aufrufen).

Der Unterschied könnte offensichtlicher sein, wenn Sie das Array ändern:

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

, die es unwahrscheinlich ist, dass der Compiler in der nicht constexpr Version zu akzeptieren.