如何告知编译器：引用指向的值在外部函数调用期间不会被修改？

考虑以下代码：

void g();

int f(const int &x) {
  int y = x;
  g();
  return x + y;
}

由于g()可能修改x引用指向的值，编译器需要在g()前后两次加载x的值，无法直接优化。

可以通过显式拷贝到局部变量来避免重复加载：

int f(const int &rx) {
  int x = rx;
  int y = x;
  g();
  return x + y;
}

但C++的发展方向是无需手动编写这类细节也能获得高性能代码。请问是否可以在引用的声明中直接告知编译器，其指向的值在外部函数调用期间不会发生变化？

在C标准层面，直到C23才引入了[[assume]]属性，允许开发者向编译器传递明确的假设条件，以此帮助优化。你可以在调用g()前添加假设，说明引用指向的值不会被修改：

int f(const int &rx) {
  int y = rx;
  [[assume(rx == y)]]; // 告知编译器：后续调用中rx指向的值与当前y的取值一致（即无修改）
  g();
  return rx + y;
}

不过这一特性仅在C++23及以上版本可用。如果使用GCC、Clang等编译器，还可以借助扩展属性优化：

• 若g()是纯函数（不修改任何外部状态，返回值仅依赖输入），可以用__attribute__((pure))标记g()，编译器会自动推断出rx指向的值不会被修改，进而省略重复加载：

  __attribute__((pure)) void g(); // 标记g为纯函数
  
  int f(const int &x) {
    int y = x;
    g();
    return x + y;
  }
  

• 若g()是常量函数（不修改任何状态，也不依赖除参数外的外部值），则可用__attribute__((const))标记，优化力度更强。

需要注意的是，这些扩展属性是针对函数g()的，仅当g()确实符合纯函数/常量函数的定义时才能使用，否则会导致未定义行为。

如果需要兼容所有C++标准，显式拷贝到局部变量依然是最稳妥的选择：它不仅能让编译器安全地省略重复加载，还能清晰表达代码意图——你明确不需要后续的外部修改，可读性和性能兼顾。

目前C++标准中没有直接在引用声明时标记“指向值不会被外部修改”的语法，上述几种方式是当前可行的解决方案。

内容的提问来源于stack exchange，提问作者xiver77