GCC 11.3疑似误报-Wshadow=local警告问题咨询

问题重现 #

以下C++代码：

int execute_lambda(auto&& lambda, int param) {
    return lambda(param) + 10;
}

int main() {
    int a = execute_lambda(
        [](int a) -> int {
            return a + 1;
        },
        32);
}

使用编译参数-std=gnu++20 -Werror -Wshadow=local编译时，GCC 11.3抛出错误：

error: declaration of 'a' shadows a previous local

疑问：main函数中的变量a并未被lambda捕获，为何会触发阴影警告？这是GCC的bug吗？

分析与结论 #

这是GCC 11.x版本的已知bug，属于-Wshadow=local静态检查的逻辑错误。

根据C++标准，未被捕获的外部作用域变量在lambda表达式的作用域内是不可见的，lambda参数a与main函数的变量a不存在作用域重叠的遮蔽关系。但GCC 11.x的警告逻辑错误地将外部未捕获变量纳入了lambda作用域的阴影检查范围，导致了误报。

该问题已在GCC 12及后续版本中被修复，升级编译器即可解决。

临时解决方案 #

如果无法升级编译器，可以通过以下方式规避：

• 临时禁用该代码段的-Wshadow警告，示例：

  int main() {
  #pragma GCC diagnostic push
  #pragma GCC diagnostic ignored "-Wshadow"
      int a = execute_lambda(
          [](int a) -> int {
              return a + 1;
          },
          32);
  #pragma GCC diagnostic pop
  }
  

• 重命名lambda参数或外部变量，避免同名。

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