如何编写仅在Debug构建执行Lambda的函数？解决编译错误

我想要编写一个do_in_debug()函数，该函数接收一个Lambda/可调用对象，该对象会访问仅在Debug配置中存在的成员或对象。以下是我编写的代码：

#include <cstdlib>
#include <vector> // 补充原代码遗漏的头文件
struct debug_line {};
#ifdef NDEBUG
inline constexpr bool debug_mode = false;
#else
inline constexpr bool debug_mode = true;
#endif

template<bool Debug = debug_mode>
struct debug_info{
};

// debug_info仅在Debug构建中有数据
template<>
struct debug_info<true>{
    std::vector<debug_line> debug_lines;
};

struct Foo {
    debug_info<> info;
};

template<bool Debug = debug_mode,typename Func>
void doInDebug(Func f) {
    if constexpr(debug_mode) {
        f();
    }
}

void foo(Foo& foo) {
    doInDebug([&foo]() {
        auto& l = foo.info.debug_lines[0]; // 编译错误：即使Lambda仅在debug_mode为true时调用，仍报错
    });
}

int main() {
    Foo f;
    foo(f);
    return 0;
}

编译时出现如下错误：

<source>:33:28: error: 'struct debug_info<>' has no member named 'debug_lines'; did you mean 'debug_info'?
   33 |         auto& l = foo.info.debug_lines[0]; // compile error even though when this lambda is invoked debug_mode is true and debug_info is not empty
      |                            ^~~~~~~~~~~
      |                            debug_info

尽管在Debug模式下该成员确实存在，但仍然报错，请问这种实现是否可行？

你的实现思路没问题，但核心问题是Lambda的完整代码会被编译检查，不管它是否会被执行。

doInDebug里的if constexpr(debug_mode)确实会在Release模式下跳过Lambda的调用，但Lambda本身的定义在所有编译模式下都会被编译器解析语法——包括Release模式（定义NDEBUG时）。此时debug_info<>是默认模板实例（debug_info<false>），没有debug_lines成员，所以编译器会报错。

要解决这个问题，必须让Lambda中访问debug_lines的代码也被编译期条件保护，只有在Debug模式下才会被检查语法。以下是三种可行的修改方案：

方案1：在Lambda内部使用if constexpr #

直接在Lambda里用if constexpr(debug_mode)包裹Debug专属代码，这样Release模式下该分支会被编译器完全丢弃，不会检查语法：

void foo(Foo& foo) {
    doInDebug([&foo]() {
        if constexpr(debug_mode) {
            auto& l = foo.info.debug_lines[0];
        }
    });
}

方案2：让doInDebug传递编译期Debug状态 #

通过模板参数传递Debug状态，让Lambda能根据编译期常量分支处理：

template<bool Debug = debug_mode,typename Func>
void doInDebug(Func f) {
    if constexpr(Debug) {
        // 传递编译期布尔常量给Lambda
        f(std::bool_constant<Debug>{});
    }
}

void foo(Foo& foo) {
    doInDebug([&foo](auto is_debug_flag) {
        if constexpr(decltype(is_debug_flag)::value) {
            auto& l = foo.info.debug_lines[0];
        }
    });
}

方案3：改用条件编译替代模板特化 #

如果不需要模板特化的灵活性，可以直接把debug_info的成员用条件编译包裹，这样Release模式下debug_lines根本不存在，Lambda里的代码在Release时会被完全跳过：

struct debug_info{
#ifdef NDEBUG
#else
    std::vector<debug_line> debug_lines;
#endif
};

总结：只要确保访问Debug专属成员的代码仅在Debug模式下被编译器解析，就能解决这个编译错误。

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