5

我一直在尝试更多关于 C++ 中的多线程编程，但我很难理解std::promise，所以我开始在这个网站上搜索答案，低头看，有人和我有同样的问题。但是阅读答案让我更加困惑这是答案中的代码可能是类似的实现std::packaged_task

template <typename> class my_task;

template <typename R, typename ...Args>
class my_task<R(Args...)>
{
    std::function<R(Args...)> fn;
    std::promise<R> pr;             // the promise of the result
public:
    template <typename ...Ts>
    explicit my_task(Ts &&... ts) : fn(std::forward<Ts>(ts)...) { }

    template <typename ...Ts>
    void operator()(Ts &&... ts)
    {
        pr.set_value(fn(std::forward<Ts>(ts)...));  // fulfill the promise
    }

    std::future<R> get_future() { return pr.get_future(); }

    // disable copy, default move
};

在这段代码中，

1-这种语法是什么意思template <typename R, typename ...Args> class my_task<R(Args...)>，更具体地说，目的是<R(Args...)>什么？

2-为什么班级有前向减速？

谢谢

4

2 回答 2

5

评论中有一些简短的讨论 1 和 2 应该是两个独立的问题，但我相信它们都只是同一个问题的两个方面，原因如下：

template <typename> class my_task;

template <typename R, typename ...Args>
class my_task<R(Args...)>; ....

第一条语句声明了一个模板，该模板将 atypename作为其唯一的模板参数。第二条语句声明了该模板类的特化。

在这种情况下：

 R(Args...)

将专门针对任何typename与功能匹配的内容。此模板特化将匹配任何传递函数签名的模板实例化typename。除非模板本身存在任何问题，否则此模板专业化将用于：

 my_task<int (const char *)>

或者，一个接受const char *参数并返回int. 模板专业化也将匹配：

 my_task<Tptr *(Tptr **, int)>

或者，一个接受两个参数Tptr **和一个int，并返回一个Tptr *（这里Tptr是其他类）的函数。

模板特化将不匹配：

 my_task<int>

或者

 my_task<char *>

因为它们不是函数签名。如果您尝试使用非函数实例化此模板，typename您将收到编译错误。为什么？

好吧，那是因为没有定义模板：

template<typename> class my_task;

不要认为这只是一个前瞻性声明。它是带有模板参数的模板的前向声明，模板不会在任何地方定义。相反，模板声明允许后续的模板特化声明，它将仅匹配作为模板参数传递的特定类型。

这是一种常见的编程技术，用于限制可以与特定模板一起使用的typenames 或es的种类。class模板不能与任何typenameor一起使用，而是class只能与某些子集一起使用。在这种情况下，函数typename或签名。

它还使模板本身更容易显式引用（在这种情况下）模板参数的返回类型和参数类型。如果模板只是一个乏味的、单一typename的模板参数，它就不能轻易地访问函数的返回类型，或者函数参数的类型。

于 2015-12-02T02:22:26.697 回答
2

1：这个语法是什么意思template <typename R, typename ...Args> class my_task<R(Args...)>

这是类模板的特化my_task。名称后面的<R(Args...)>意思是它专门用于该类型，并且该类型是一个函数。是接受参数并返回R(Args...)的函数的类型。因此，例如 make是一个空参数包，并且是.ArgsRmy_task<void()> mt;ArgsRvoid

2：为什么类有前向声明？

该类已声明，但与普通的前向声明不同，未定义非专用版本。此类仅适用于类型为函数的情况，因此如果有人尝试使用非函数的东西（如my_task<int>），它将给出类型未定义的错误。

my_task<void*(int, int)> mt1; //R = void*, Args = int, int
my_task<int> mt2; //error: use of undefined class
于 2015-12-02T02:20:34.707 回答