invoke_result_t<> 没有将 lambda 与引用参数匹配

Question

当类型是右值引用或没有引用时，使用接受模板化函数的函数效果很好，但一旦我将其设为左值引用，它就会中断。

请注意，这里目前没有使用 V，但无论是否使用，它仍然无法编译。

using namespace std;

template <typename F, typename V = std::invoke_result_t<F, string>>
void func(F f) {
    std::vector<string> v = { "a", "b", "c" };
    std::for_each(v.begin(), v.end(), f);
}

int main() {
    func([](string s) { return s.length(); });         // Good
    // func([](string& s) { return s.length(); });     // Bad
    func([](const string& s) { return s.length(); });  // Good
}

main.cpp：在函数'int main()'中：

main.cpp:18:46: 错误：没有匹配函数调用 'func(main()::)'

 func([](string& s) { return s.length(); });

                                          ^

main.cpp:11:6: 注意：候选：'template void func(F)'

  void func(F f) {

       ^~~~

main.cpp:11:6: 注意：模板参数推导/替换失败：

我做不到

std::invoke_result_t<F, string&>

而我做不到

std::invoke_result_t<F, std::add_lvalue_reference_t<string>>

最后一个是在黑暗中拍摄的。我的模板知识不是很好。我一直在这里和各种博客/谷歌/等上搜索，但没有取得太大成功。

Answer 1

std::invoke_result_t<F, string>

这意味着传递F 一个string 右值。如果F 采用左值引用，则不能。

我做不到

 std::invoke_result_t<F, string&>

是的，你可以。如果您想知道使用非常量左值调用它的结果是什么，请执行此操作。

在您的示例代码中使用时，您将它传递给一个左值。 string&& 重载不起作用。