时间戳

首页 > 解决方案 > 为什么 constexpr 方法可以正确返回在执行过程中值发生变化的类成员？

c++ - 为什么 constexpr 方法可以正确返回在执行过程中值发生变化的类成员？

问题描述

我刚刚发现一个constexpr方法可以正确返回在执行过程中发生变化的类成员的值。我的问题是，如果constexpr方法应该在编译时完全评估，这怎么可能？

下面的示例正确输出Value: 0然后Value: 5. 更重要的是，如果我将其更改a.change(5)为编译器无法预测的内容（例如，a.change(atoi(argv[1]))它a.change(rand() % 10 + 1)仍然可以工作。为什么？为什么它甚至可以编译？

#include <iostream>

class A
{
    public:
        void change(int value) { x = value; }
        int get() const { return x; }
        constexpr int value() const noexcept { return x; }
    private:
        int x{0};
};

int main()
{
    A a;

    std::cout << "Value: "  << a.get() << std::endl;
    a.change(5);
    std::cout << "Value: "  << a.get() << std::endl;
}

先感谢您

标签： c++constexpr-function

解决方案

在您的示例中，您甚至没有调用该constexpr函数，而是在调用get，而不是constexpr。

但是，constexpr函数可以在编译时进行评估，如果编译时评估是不可能的，也可以在运行时进行评估。

如果您调用value而不是get，它仍然可以工作，并且该函数将在运行时进行评估。

为了强制编译时评估，您可以编写

constexpr auto val = a.value();

如果无法进行编译时评估，这确实会给您一个错误。

推荐阅读