是一个C is_lambda的特质,纯粹实现为一个图书馆,不可能吗？

发布时间：2020-12-16 03:41:13 所属栏目：百科来源：网络整理

导读：我有一个关于C 0x lambdas的问题.在我的代码中,知道给定类型是否是C 0x lambda表达式的类型将是有益的.举个例子： struct foobar{ void operator()() { }};auto lambda = []{};typedef is_lambda decltype(lambda) ::type T; // T would be a true_typetyped

我有一个关于C 0x lambdas的问题.在我的代码中,知道给定类型是否是C 0x lambda表达式的类型将是有益的.举个例子：

struct foobar
{
  void operator()()
  {
  }
};

auto lambda = []{};
typedef is_lambda < decltype(lambda) > ::type T; // T would be a true_type
typedef is_lambda < foobar > ::type T; // T would be a false_type

将lambda表达式与函数和成员函数类型区分开来很容易.函子是另一回事.

我在这里看到的问题是根据即将到来的C 0x标准定义lambda表达式;必须定义的唯一的事情是公共电话操作符.但是,对于函子也是如此;测试呼叫运算符的存在不足以区分lambda表达式和函子.此外,如果函数的操作符不存在,则会发生编译器错误,因为SFINAE不适用.这是什么时候发生的？函子的调用运算符可以被模板化.
所以,这样的代码：

typedef decltype(&T::operator()) call_type;

将适用于具有非模板调用运算符的lambda表达式和函子,并为模板化调用运算符生成编译器错误.

我相信一个is_lambda< > trait只能使用内部编译器功能创建.你看到如何实现这个特质吗？

解决方法

由于lambda的结果导致创建闭包对象,一旦对象传递给函数或复制,就没有任何区别.坦白说,我无法想象一个问题,需要知道一个对象是否来自lambda.

编辑.一个标准甚至在5.1.2 / 2中有一个注释：

Note: a closure object behaves like a function object (20.8).—end note

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!