代码之家 › 专栏 › 技术社区 › rafak

在模板代码中lambda应该衰减为函数指针吗?

function-pointers c++11 lambda templates c++

rafak · 技术社区 · 14 年前

我在某个地方读到,如果捕获列表为空,lambda函数应该衰减为函数指针。我现在能找到的唯一参考是 n3052 . 在g++(4.5&4.6)中,除非lambda在模板代码中声明,否则它可以按预期工作。

例如,以下代码将编译:

void foo() {
    void (*f)(void) = []{};
}

但是当模板化时它不再编译(如果 foo

template<class T>
void foo() {
    void (*f)(void) = []{};
}

在上面的参考文献中,我看不到对这种行为的解释。这是g++的临时限制吗?如果不是,是否有(技术)原因不允许这样做?

1 回复 | 直到 14 年前

Peter Alexander 14 年前

我想不出有什么理由会特别禁止。我猜这只是g++的一个暂时的限制。

我还尝试了其他一些方法:

template <class T>
void foo(void (*f)(void)) {}

foo<int>([]{});

这很管用。

typedef void (*fun)(void);

template <class T>
fun foo() { return []{}; } // error: Cannot convert.

foo<int>()();

foo 未参数化)。

推荐文章

Abhishek Ojha · 为什么我的代码接受其他数据类型以及模板中的给定数据类型?[副本]

2 年前

TCD · 标准库非类型模板类是否显式实例化?

2 年前

onehundredquestions guy · 在不实例化的情况下将模板函数作为参数传递?[副本]

2 年前

sovesti · 参数较少的模板函数中的演绎

2 年前

KiraHoneybee · 具有构造函数参数的模板化类

2 年前

Seymore Glass · 模板不工作的默认参数

2 年前

Alex Hodges · 是否有一种更惯用的方法来专门化通过模板传递的标志的行为?

2 年前

Alexander Daum · 模板参数中对模板类型的引用

6 年前

ledonter · 为什么注入的类名有时不被视为类模板中的模板名?

6 年前

RBaum · 从WooCommerce“订单保留”和“新订单”电子邮件中删除订单

6 年前