Question

在这段代码中，如何使用decltype中的std::future来推断bar()的返回类型？尽管直接使用std::future<int>是可行的，但我想知道如何在这种情况下使用decltype。

#include <iostream>
#include <future>


int bar(int a)
{
    return 50;
}
int main()
{

    std::packaged_task<decltype(bar)> task(bar);

    //std::future<decltype(bar(int))> f = task.get_future(); //doesn't work need to do something like this

    std::future<int> f = task.get_future();   //works

    std::thread t1(std::move(task), 10);
    t1.detach();
    int val = f.get();
    std::cout << val << "\n";
    return 0;
}

此外，在decltype中使用std::packaged_task是否正确？

Answer 1

请注意，您可以使用auto：

auto f = task.get_future();

一切正常。

decltype用于检测表达式的类型。在这种情况下，bar(int)不是有效的表达式。您可以使用decltype(bar(0))。

或者，您可以使用专用工具来确定函数调用的结果。由于标记了c++11，因此可以使用typename std::result_of<decltype(bar)*(int)>::type（当然，您需要#include <type_traits>）。

为了将来的读者：我想从c++17的角度来解决这个问题。 result_of期望格式为F(Args...)的模板参数，由于函数类型是返回类型并且受到极大限制，因此该模板参数会受到影响。在c++17中，引入了invoke_result，它比result_of：std::invoke_result_t<decltype(bar), int>更好。非常直观。

如何在std :: future中使用decltype？

1 个答案: