API 更改时函数参数的常量正确性

Question

假设我正在使用实现函数foo 的库，我的代码可能如下所示：

void foo(const int &) { }

int main() {
    int x = 1;
    foo(x);
    std::cout << (1/x) << std::endl;
}

一切正常。但现在假设在某一时刻foo 因某种原因被修改或重载。现在我们得到的可能是这样的：

void foo(int & x) {
    x--;
}
void foo(const int &) {}

int main() {
    int x = 1;
    foo(x);
    std::cout << (1/x) << std::endl;
}

BAM。程序突然中断。这是因为我们实际上想要传入的 sn-p 是一个常量引用，但随着 API 的突然变化，编译器选择了我们不想要的版本，程序意外中断。

我们想要的实际上是这样的：

int main() {
    int x = 1;
    foo(static_cast<const int &>(x));
    std::cout << (1/x) << std::endl;
}

通过此修复程序，程序再次开始工作。但是，我必须说我在代码中没有看到很多这样的转换，因为每个人似乎都只是相信不会发生这种类型的错误。此外，这似乎是不必要的冗长，如果有多个参数并且名称开始变长，函数调用就会变得非常混乱。

这是一个合理的担忧吗？我应该如何解决？

Answer 1

如果你改变一个接受 const 引用的函数，使它不再是一个 const，你很可能会破坏事情。这意味着您必须检查调用该函数的每个地方，并确保它是安全的。在这种情况下，进一步拥有两个具有相同名称的函数，一个具有 const 和一个不具有 const 绝对是一个糟糕的计划。

正确的做法是创建一个新函数，它执行x-- 变体，名称与现有函数不同。

任何做这种事情的 API 供应商都应该受到严厉的体罚，如果文档中有一个大通知说“我们已经改变了功能foo，它现在递减x，除非参数被强制转换为 const”。这是人们可以想象的最糟糕的二进制中断之一（就“很难找出问题所在”而言）。