C++如何用另一个lambda包装已有lambda并复用其内部代码逻辑

标准C++中不存在不依赖宏就能提取lambda内部完整语句、拆分逐段逻辑并在外层包裹自定义代码的实现方式。

原因很直接：C++的lambda在编译阶段会被编译器转换为匿名闭包类，你写的lambda函数体最终会被编译为这个匿名类operator()成员函数的二进制执行指令，编译完成后，源码层面的语句结构、每一行表达式的独立边界就完全丢失了。没有任何标准语法支持反向把已经编译完成的函数体拆成独立的F1、F2、F3执行步骤，更不可能直接把这些内部逻辑抽取出来嵌入到另一个函数的逻辑中。

你提到的单元测试逐步骤校验、打印的需求，不需要强行提取lambda内部内容，可以通过调整测试用例的编写逻辑实现无宏版本，参考实现如下：

#include <vector>
#include <functional>
#include <string>
#include <iostream>

struct Test {
    std::vector<std::pair<std::string, std::function<bool()>>> test_steps;

    Test& add_step(std::string step_desc, std::function<bool()> step_func) {
        test_steps.emplace_back(std::move(step_desc), std::move(step_func));
        return *this;
    }

    void run() {
        for (auto& [desc, func] : test_steps) {
            std::cout << "Evaluating " << desc << "...\n";
            if (!func()) {
                std::cout << "Failed test\n";
            }
        }
    }
};

int main() {
    Test a;
    a.add_step("1 == 1", []{ return 1 == 1; })
     .add_step("2 == 1", []{ return 2 == 1; });
    a.run();
}

如果你一定要保持[]{ check(xxx); check(xxx); }的原始书写格式，那就必须依赖宏实现——只有C预处理器能在编译前的源码阶段，拿到每一行检查语句的源码文本、拆分独立语句块，实现自动包裹逻辑。目前最新的C26静态反射特性也仅支持查询类型、函数签名等元信息，不支持提取函数/lambda内部的语句结构，没法满足你提取lambda内部内容的需求。

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