如何扩展Lambda参数包？将Lambda参数及返回值包装为变体/可选类型

开发者阿泽

2026-7-14

问题：将Lambda转换为参数/返回值含std::variant或std::optional的版本

核心转换需求（std::variant版本）

我需要把如下形式的Lambda：

auto a = [](int b, std::string const& c) -> double { /* ... */ };

转换为：

auto aa = [](std::variant<int, int> b, std::variant<int, std::string> c) -> std::variant<int, double> { /* ... */ };

由于std::variant无法存储引用，转换时可将原Lambda的参数改为值传递，或用std::remove_reference_t处理类型
实际输入的Lambda支持任意返回值（包括void）、任意数量参数（包括零个）、任意具体类型

备选转换需求（std::optional版本）

如果基于std::variant的实现有困难，也可接受转换为如下形式：

auto aa = [](std::optional<int> b, std::optional<std::string> c) -> std::optional<double> { /* ... */ };

我的尝试代码

Variant版本尝试

auto add_code = [](auto fn) -> std::variant<int, std::invoke_result_t<decltype(fn)>> {
    return [fn](std::variant<int, auto> ps...) {
        if ((ps.index() != 0 && ...)) {
            return { 0, fn(std::get<1>(ps)...) };
        } else {
            return { 1 };
        }
    };
};

Optional版本尝试

auto make_optional = [](auto fn) -> std::optional<std::invoke_result_t<decltype(fn)>> {
    return [fn](std::optional<auto> ps...) {
        if ((ps && ...)) {
            return { fn(*(ps)...) };
        } else {
            return {};
        }
    };
};