导出的 lambda 参数不正确

Question

为什么在 C++14 甚至 C++17 下这段代码不正确？

template <typename T>
function<T(T, T)> ReturnLambda () {
    return [] (T x, T y) { return x*y; };
    // return [] (auto x, auto y) { return x*y; };    // also incorrect
}


int main() {
    auto f = ReturnLambda();
    cout << f(3, 4) << endl;

}

Answer 1

Template argument deduction 仅适用于函数参数，而 ReturnLambda() 没有任何这些；调用ReturnLambda() 时无法推断出模板参数T；您必须明确指定它。例如

auto f = ReturnLambda<int>();