為什么這個模板 function 不能識別 lamda 的返回類型？

Question

這個模板 function 不識別 lamda 的返回類型，甚至指定它 decommenting '->void'。

為什么會這樣？

我該怎么做才能避免這個問題？

#include<iostream>
#include<array>
template<typename T, typename S, size_t SIZE>
void for_each(std::array<T,SIZE>& arr, S(*func)(int&))
{
    for (auto i{0}; i != arr.size(); ++i)
        func(arr[i]);
}
int main()
{
    std::array<int, 5> five_elems{10, 20, 30, 40, 50};
    for_each(five_elems, [](int& ref)/*->void*/{ref *= 2; std::cout << ref << ' '; });
    //for (auto i : five_elems)
    //    i*=2;
    for (const auto i : five_elems)
        std::cout << i << ' ';
}

Answer 1

您的for_each需要一個 function 指針，但隱式轉換（從 lambda 到 function 指針）不會在模板參數推導中被考慮，這會導致調用失敗。

您可以顯式執行轉換：

for_each(five_elems, static_cast<void(*)(int&)>([](int& ref)/*->void*/{ref *= 2; std::cout << ref << ' '; }));

或者

for_each(five_elems, +[](int& ref)/*->void*/{ref *= 2; std::cout << ref << ' '; });

或者干脆停止使用 function 指針參數。 您可以添加一個新的類型模板參數，然后直接添加 lambda。

template<typename T, size_t SIZE, typename F>
void for_each(std::array<T,SIZE>& arr, F func)
{
    for (auto i{0}; i != arr.size(); ++i)
        func(arr[i]);
}