如何参数化consteval lambda？C++编译期NTTP lambda封装问题

方案一：模板函数生成无捕获lambda #

将字符串作为模板非类型参数传递给辅助函数，让返回的lambda直接返回模板参数值，完全避免捕获：

template<std::string_view S>
consteval auto str() {
    return []() consteval {
        return S;
    };
};

template<auto getStrLambda>
struct MyType {
    static constexpr std::string_view myString{getStrLambda()};
};

int main() {
    using TypeWithString = MyType<str<"Hello world">()>;
    return 0;
}

这里str是模板函数，通过非类型模板参数S接收字符串字面量，返回的lambda无任何捕获，符合NTTP的结构类型要求。

方案二：直接用字符串作为NTTP（简化核心需求） #

如果你的核心目标只是把字符串绑定到类型上，完全可以跳过lambda，直接利用C++20支持的字符串字面量作为非类型模板参数的特性：

template<std::string_view S>
struct MyType {
    static constexpr std::string_view myString = S;
};

int main() {
    using TypeWithString = MyType<"Hello world">;
    return 0;
}

这种方式代码更简洁高效，无需额外的lambda或辅助函数。

方案三：用宏模拟函数式调用语法 #

如果想保留类似str("Hello")的直观调用方式，可以用宏直接生成无捕获lambda：

#define STR(s) []() consteval { return std::string_view(s); }

template<auto getStrLambda>
struct MyType {
    static constexpr std::string_view myString{getStrLambda()};
};

int main() {
    using TypeWithString = MyType<STR("Hello world")>;
    return 0;
}

宏会在预编译阶段直接展开为无捕获lambda，既满足语法简洁性，又符合NTTP的要求。

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