如果 lambda 是无状态的，即它是否捕获任何内容，我将如何进行测试？我的猜测是使用函数指针重载或模板特化的重载解析？
int a;
auto l1 = [a](){ return 1; };
auto l2 = [](){ return 2; };
// test l1 and l2, get a bool for statelessness.
问问题
3307 次
5 回答
15
根据标准，如果 lambda 没有捕获任何变量，那么它可以隐式转换为函数指针。
基于此，我提出了is_stateless<>元函数，它告诉你 lambda 是否是无状态的。
#include <type_traits>
template <typename T, typename U>
struct helper : helper<T, decltype(&U::operator())>
{};
template <typename T, typename C, typename R, typename... A>
struct helper<T, R(C::*)(A...) const>
{
static const bool value = std::is_convertible<T, R(*)(A...)>::value;
};
template<typename T>
struct is_stateless
{
static const bool value = helper<T,T>::value;
};
这是测试代码：
int main()
{
int a;
auto l1 = [a](){ return 1; };
auto l2 = [](){ return 2; };
auto l3 = [&a](){ return 2; };
std::cout<<std::boolalpha<<is_stateless<decltype(l1)>::value<< "\n";
std::cout<<std::boolalpha<<is_stateless<decltype(l2)>::value<< "\n";
std::cout<<std::boolalpha<<is_stateless<decltype(l3)>::value<< "\n";
}
输出：
false
true
false
在线演示。
于 2013-11-13T19:14:26.250 回答
8
#include <type_traits> // std::true_type, std::false_type
#include <utility> // std::declval
template<typename Lambda>
auto is_captureless_lambda_tester(int)
-> decltype( +std::declval<Lambda>(), void(), std::true_type {} );
template<typename Lambda>
auto is_captureless_lambda_tester(long)
-> std::false_type;
template<typename Lambda>
using is_captureless_lambda = decltype( is_captureless_lambda_tester<Lambda>(0) );
不适用于多态 lambda，要求参数是闭包类型作为先决条件。（例如is_captureless_lambda<int>是std::true_type。）
于 2013-11-14T07:18:11.437 回答
6
根据§ 5.1.2/6
没有 lambda 捕获的非泛型 lambda 表达式的闭包类型有一个公共的非虚拟非显式 const 转换函数，指向具有 C ++ 语言链接 (7.5) 的函数的指针，该函数具有与闭包类型的函数调用运算符。这个转换函数的返回值应该是一个函数的地址，当被调用时，它与调用闭包类型的函数调用运算符具有相同的效果。对于没有 lambda 捕获的通用 lambda，闭包类型有一个公共的非虚拟非显式 const 转换函数模板到函数指针。
如果它可以转换为指向函数的指针，那么它可能必须不捕获任何东西（无状态）。在行动：
int v = 1;
auto lambda1 = [ ]()->void {};
auto lambda2 = [v]()->void {};
using ftype = void(*)();
ftype x = lambda1; // OK
ftype y = lambda2; // Error
您还可以使用std::is_convertible：
static_assert(is_convertible<decltype(lambda1), ftype>::value, "no capture");
static_assert(is_convertible<decltype(lambda2), ftype>::value, "by capture");
于 2013-11-13T18:58:37.867 回答
0
一个选项可以是显式查看类型的大小，原则上无状态应该与其他无状态类型具有相同的大小（我选择std::true_type了引用类型）。
#include<cassert>
#include<type_traits>
template<class T>
struct is_stateless_lambda : std::integral_constant<bool, sizeof(T) == sizeof(std::true_type)>{};
int main(){
auto l1 = [a](){ return 1; };
auto l2 = [](){ return 2; };
auto l3 = [&a](){ return 2; };
assert( boost::is_stateless_lambda<decltype(l1)>::value == false );
assert( boost::is_stateless_lambda<decltype(l2)>::value == true );
assert( boost::is_stateless_lambda<decltype(l3)>::value == false );
}
我不知道这个解决方案的便携性如何。无论如何检查我的其他解决方案：https ://stackoverflow.com/a/34873139/225186
于 2016-01-19T09:44:26.923 回答
0
无论出于何种原因， Boost.TypeTraitsis_stateless 似乎都没有太多戏剧性地完成这项工作：
#include<boost/type_traits.hpp>
#include<cassert>
int main(){
auto l1 = [a](){ return 1; };
auto l2 = [](){ return 2; };
auto l3 = [&a](){ return 2; };
assert( boost::is_stateless<decltype(l1)>::value == false );
assert( boost::is_stateless<decltype(l2)>::value == true );
assert( boost::is_stateless<decltype(l3)>::value == false );
}
boost::is_stateless很简单，其他条件的组合，可以用我想的标准类型特征来表示：
::boost::is_stateless =
::boost::has_trivial_constructor<T>::value
&& ::boost::has_trivial_copy<T>::value
&& ::boost::has_trivial_destructor<T>::value
&& ::boost::is_class<T>::value
&& ::boost::is_empty<T>::value
根据以下内容检查我的其他答案sizeof：https ://stackoverflow.com/a/34873353/225186
于 2016-01-19T09:35:36.417 回答