Зачем вам использовать constexpr для конструктора?

Question

Я понимаю, что constexpr позволит вам использовать объект как константу во время компиляции, но что является примером того, когда это было бы полезно? Я пытаюсь понять ключевое слово лучше, но я не могу найти хороший пример, который возникает при использовании его в конструкторе, который объясняет, почему это необходимо.

Оба приведенных ниже примера работают, итак, почему 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 на конструктор:

#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++, потому что r.getArea() не является постоянной выражение. (Если ваш компилятор принимает его, то вы полагаетесь на расширение компилятора и должны выдать предупреждение, если вы вызываете компилятор в соответствующем режиме).

Разница может быть более очевидной, если изменить массив:

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

, который он вряд ли компилятор принять ресовавшиеся constexpr версии.