c++ - 检查我的 const 变量是否没有被外部修改

Question

我现在的问题是，如果我使用 const 声明了一个常量，我读到它可以从外部修改(可能通过连接到系统的设备)。我想知道是否可以检查我的常量是否已被修改。当然，我会尝试这样的事情:

const double PI = 3.1412 //blah blah blah

// ...

if (PI == 3.1412) {
// do something with PI
}

这显然不会编译，因为常量不能是左值。

我该怎么做？还是不可能(做不到我不想浪费时间)？

谢谢。

Answer 1

首先，为什么您的示例无法编译？如果您不能比较常量，它们就毫无用处。

我会把这归类为浪费时间。如果您的程序外部的某些东西正在修改您的内存，那么如何阻止它也修改您存储比较的内存？在您的示例中，该测试可能失败不是因为 PI 发生了变化，而是因为 3.1415 确实发生了变化……毕竟该数字存储在某处。

如果您的程序更改了 PI 的值，那么它就会被破坏，并且您无法确定测试是否可靠地工作。那是绝对未定义的行为，所以任何事情都会发生。它很像测试一个引用参数是否引用了 null ...本身就是浪费时间。

无论哪种情况，编译器都可能认为测试是浪费时间，并将其全部删除。

---

现在，有一种情况与您最初所说的略有不同，这可能就是您的消息来源所指的情况。考虑以下代码:

void external_function();
void internal_function(const int& i) {
    cout << i << "...";
    external_function();
    cout << i;
}

在 internal_function 中，编译器不能假定两个输出是相同的。 i 可以是对实际上不是 const 的整数的引用，external_function 可以更改它。这里的主要区别在于 i 是一个 reference，而在您的原始问题中 PI 是一个常量 value。

int pi = 3;
void external_function() { pi = 4; }
void internal_function(const int&);

int main() {
    internal_function(pi);
}

这将导致 3...4 被打印出来。即使 i 是常量引用，编译器也必须假设它可能会发生变化，因为它看不到的东西可能会改变它。

在那种情况下，这样的测试在某些情况下可能会有用。

void internal_function(const int& i) {
    const int original_i = i; 
    cout << i << "...";
    external_function();
    cout << i << endl;
    if(i != original_i) cout << "lol wut?" << endl;
}

在这种情况下，测试是有用的。 original_i 保证没有改变[如果改变了，请看这个答案的前半部分]，如果 i 改变了断言将失败。