c++ - 为什么 GCC 不强制 __attribute__((pure)) 函数中的参数为常量？

Question

以下代码在 GCC 4.2 下编译时没有警告，据我所知，它确实不应该:

#include <fstream>

__attribute__((pure))
double UnpureFunction(double* x) {
  x[0] = 42;
  return 43;
}

int main () {
  double x[] = {0};
  double y = UnpureFunction(x);
  printf("%.2f %.2f\n", x[0], y);
}

(打印“42.00 43.00”。)

据我了解，pure 属性告诉编译器该函数没有外部影响(请参阅“pure”部分 here )。但是 UnpureFunction 正在修改它的参数。为什么允许这种情况发生？至少，编译器可以自动将每个参数设为常量。

Answer 1

据我所知，pure 是您对编译器的 promise ，但它不会尝试验证您没有说谎。即使它确实强制参数为 const，这些参数也可能是谎言(例如，一个对象可能有一个可变成员，当您的代码调用成员函数时该成员会被修改)。

如果您正在寻找 const 的正确性，请使用 const 参数。 pure 和 const 属性用于提供可用于优化的提示。