为什么要在构造函数上使用 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

在第二个示例中，标准 C++ 中不允许使用 int myArray[r.getArea()];，因为 r.getArea() 不是常量表达式。 （如果您的编译器接受它，那么您依赖于编译器扩展，并且如果您以一致模式调用编译器，则应该产生警告）。

如果将数组更改为：

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

编译器不太可能在非constexpr 版本中接受。