C++ 11 lambda返回引用

Question

从lambda返回引用我有些麻烦.此代码有效:

std::function<int*(int*)> funct;

funct = [](int *i){
    ++*i;
    return i;
};

int j = 0;
LOG<<*funct(&j)<<j;

输出:1 1

但不是这个:

std::function<int&(int&)> funct;

funct = [](int &i){
    ++i;
    return i;
};

int j = 0;
LOG<<funct(j)<<j;

构建错误:C:\ Program Files(x86)\ Microsoft Visual Studio 14.0\VC\include\type_traits:1441:错误:C2440:'return':无法从'int'转换为'int&'

知道为什么吗？对我来说,这是一回事.

Answer 1

lambda推导出返回类型,如同指定一样auto.auto ret = i;会推断ret成为一个int.

一种解决方案是显式声明lambda的返回类型:

funct = [](int &i) -> int& {
    ++i;
    return i;
};

正如评论中提到的另一种方式

funct = [](int &i) -> decltype(auto) {
    ++i;
    return i;
};

这实际上告诉编译器不要进行任何推断,只是使用类型,就像decltype在返回表达式上使用一样.

如果您对确切的规则感到好奇,请查看文档,其中还有一个部分auto和一点decltype(auto).