为何无法调用该Lambda函数？编译报错问题排查

问题代码片段 #

void reorient(C new_pos) {

  // 朝向北方
  if (pos + 0x10 == new_pos) {
    if ((orient == 0) && (Gz < 0.1 || Gz > 2 * PI - 0.1)) return;
    auto disoriented = []() {return Gz < PI;};
    orient = 0;

  // 朝向东方
  } else if (pos + 0x01 == new_pos) {
    if ((orient == 1) && (abs(Gz - HALF_PI) < 0.1)) return;
    auto disoriented = []() {return Gz < HALF_PI || Gz > 3 * HALF_PI;};
    orient = 1;

  // 朝向南方
  } else if (pos - 0x10 == new_pos) {
    if ((orient == 2) && (abs(Gz - PI) < 0.1)) return;
    auto disoriented = []() {return Gz > PI;};
    orient = 2;

  // 朝向西方
  } else {
    if ((orient == 3) && (abs(Gz - HALF_PI * 3) < 0.1)) return;
    auto disoriented = []() {return Gz > HALF_PI && Gz < 3 * HALF_PI;};
    orient = 3;
  }

  disoriented();
}

编译错误信息 #

编译错误：'disoriented' was not declared in this scope

背景说明 #

Gz、PI、HALF_PI和pos均为全局变量，开发环境为Arduino。将disoriented()调用移至每个if分支内时，报错消失，且该函数未在其他地方被调用。

问题原因 #

这是C++作用域规则的典型问题：

• 每个if/else if/else分支的{}是独立的局部作用域，你在各分支内定义的disoriented lambda变量，仅在当前分支的作用域内有效。
• 当代码执行到所有分支外部的disoriented()调用时，这个变量在当前的函数全局作用域中根本不存在——分支内的disoriented都是各自作用域的局部变量，出了分支就会被销毁，外部无法访问。

解决方法 #

方法1：将调用移至分支内部（已验证有效） #

直接把disoriented()放到每个分支的{}内，确保调用时变量处于自己的作用域中：

// 以北方分支为例
if (pos + 0x10 == new_pos) {
  if ((orient == 0) && (Gz < 0.1 || Gz > 2 * PI - 0.1)) return;
  auto disoriented = []() {return Gz < PI;};
  orient = 0;
  disoriented(); // 移到分支内
}

方法2：提前声明变量并在分支赋值 #

在函数开头提前声明一个std::function类型的变量，在各分支内赋值，最后统一调用：

#include <functional> // 需要包含该头文件

void reorient(C new_pos) {
  std::function<bool()> disoriented; // 提前声明变量

  // 朝向北方
  if (pos + 0x10 == new_pos) {
    if ((orient == 0) && (Gz < 0.1 || Gz > 2 * PI - 0.1)) return;
    disoriented = []() {return Gz < PI;};
    orient = 0;
  } 
  // 其他分支同理，给disoriented赋值...

  disoriented(); // 此时变量已在对应分支赋值，可正常调用
}

注意：需确保Arduino环境启用了C++11及以上标准，部分老版本可能需要在配置中开启。

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