c++ - 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>();