如何在C++中创建用于检测闭包类型的类型Trait？

很遗憾，在标准C++中，没有可移植的、100%可靠的方式来实现这个is_closure trait。下面来拆解原因和可行的替代方案：

为什么标准C++做不到？ #

先回顾你引用的C++标准定义：

lambda表达式的类型（即闭包对象的类型）是一种唯一的、未命名的非联合类类型，称为闭包类型，其属性如下文所述。

闭包类型本质上就是编译器生成的一个普通非联合类——它没有任何标准规定的、独有的标记或特性可以让我们在编译时检测出来。比如：

• 闭包类型的operator()是成员函数，但用户自己写的类也可以有一模一样的operator()；
• 无捕获闭包可以隐式转换为函数指针，但用户自定义的类也可以手动实现这个转换；
• 闭包类型没有默认构造函数（除非是空捕获），但用户也可以手动禁用自己类的默认构造。

所有闭包类型具备的特性，用户都可以手动模拟出来，所以我们没法通过标准的类型特性（比如SFINAE、type_traits里的工具）来区分闭包类型和普通用户自定义类。

特定编译器下的非标准实现 #

如果你只需要针对GCC、Clang这类编译器，它们提供了非标准的内置扩展来检测lambda类型。比如GCC和Clang都支持__is_lambda这个内置编译期判断：

template <class T>
struct is_closure {
    // 利用编译器内置的__is_lambda扩展
    static constexpr bool value = __is_lambda(T);
};

template <class T>
inline constexpr bool is_closure_v = is_closure<T>::value;

这个实现可以在GCC、Clang下正常工作，但注意这不是标准C++，在MSVC下可能需要用对应厂商的扩展（比如MSVC也有类似的__is_lambda支持，但需确认版本兼容性）。

总结 #

• 标准C++层面：无法可靠区分闭包类型和行为相似的用户自定义类，因此没有可移植的is_closure实现；
• 特定编译器：可以利用厂商提供的非标准扩展实现，但牺牲了代码的可移植性。

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