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版本中接受。

为什么要在构造函数上使用constexpr？

1 个答案: