- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
我一直在尝试更多关于 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- 为什么要对类进行前向减速?
谢谢
最佳答案
评论中对 1 和 2 应该如何成为两个独立的问题进行了一些简短的讨论,但我认为它们只是同一个问题的两个方面,原因如下:
template <typename> class my_task;
template <typename R, typename ...Args>
class my_task<R(Args...)>; ....
第一个语句声明一个模板,该模板将 typename
作为其唯一的模板参数。第二条语句声明该模板类的特化。
在这种情况下:
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;
不要认为这只是一个前向声明。它是采用模板参数的模板的前向声明,模板不会在任何地方定义。相反,模板声明允许后续模板特化声明,该声明将仅匹配作为模板参数传递的特定类型。
这是一种常见的编程技术,用于限制可与特定模板一起使用的 typename
或 class
的种类。模板不能用于任何 typename
或 class
,而是只能用于某些子集。在这种情况下,函数 typename
或签名。
它还使模板本身更容易显式引用(在本例中)模板参数的返回类型和参数类型。如果模板只有一个乏味的、单一的 typename
作为模板参数,它就无法轻松访问函数的返回类型或函数参数的类型。
关于c++ - 这个语法是什么意思, `class template <class R, class ...Args> class name<R(Args...)>`,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34033586/
我只想知道它们之间的区别: .class .class{ font-size:14px; } 对比: .class > .class{ font-size:14px; } 是一样的东西吗? 最佳答案
PrimeFaces 文档的以下摘录使标题中描述的两个选择器之间似乎存在差异: .ui-widget, .ui-widget .ui-widget { font-size: 90% !imp
我正在尝试选择特定值。但我遇到了一个问题。 我有两个元素,一个有 X Y,另一个有 X Y Z。 当选择 X Y Z 时,我也收到 X Y 的值...有没有办法让它寻找 X AND Y AND Z 而
.class.class 和 .class .class 有什么区别? 最佳答案 .class .class 匹配类 .class 的任何元素,这些元素是类 .class< 的另一个元素的后代/. .
我正在研究 Classname.class 和 Classname.class.toString() 并发现了一些不寻常的东西。 .class 在同一个类上运行时似乎等同于 .class。尽管 .cl
我试图在Dart中扩展列表并在此列表中使用另一个类。 这是我的示例,其中注释出了问题: import "Radio.dart"; // extends ListBase { List ra
我有一个很大的“经理”类,我认为它做得太多了,但我不确定如何将它划分为更多逻辑单元。 一般来说类主要由以下方法组成: class FooBarManager{ GetFooEntities();
我在一个文件中定义了一个抽象父类(super class),在另一个文件中定义了一个子类。我需要父类(super class)文件和堆栈跟踪报告来找到一个包含它。 但是,当它到达“extends”行时
我在 A. Alexenderscu 的现代 C++ 设计中找到了一些模板示例 作者使用以下行的地方 template class CheckingPolicy // class SmartPt
看一下这段代码: public static class A { public void doA() { } } public static class B extends A {
我有两个具有 .body 类的 div,但是,一个位于另一个具有 .box 类的 div 中 - 如下所示: 我只想为 .box 内部的 .body 设置样式...但我在下面所
我一定是遗漏了 C++ 规范中的某些内容,因为我无法解释为什么以下代码可以成功编译: class MyClass { static void fun(); }; int main() { MyClas
我正在尝试在 python 中“模拟”命名空间。我使用内部和外部类层次结构来创建我的命名空间。例如,您希望将文件(如资源)的路径保存在一个位置。我试过这样的事情: src = #path to sou
在试验 online crystal compiler 时(这太棒了),我遇到了一个我似乎无法找到解释的错误: class Person class Current < self end
在查看我的一段代码时,我陷入了如下的一条语句。 TMyObjectClass = TMyObject 类; 我有点困惑,不知道这句话是什么意思。由于 TMyObjectClass 在该语句上方没有声明
我正在编写一个简单的应用程序,以学习一些基本的Dart编程,但无法弄清楚其结构和包含的内容-我得到了一个重复的类Point 首先,我有一个叫做MouseTrack的主类。它将初始化列表并产生循环。 #
在 org.springframework.core.SerializableTypeWrapper (版本 5.2.3),第 112 行有以下代码: if (GraalDetector.in
我希望将鼠标悬停在子导航中的列表项上,以激活页面上该类别中所有项的类(不仅仅是父元素或同级元素)。有任何想法吗?这是我的意思的一个例子: img.BLUE {border:1px solid #FF
我正在通过 ClassLoader 加载类: Class clazz = urlClassLoader.loadClass(name.substring(0, name.length() - 6).r
以下简化的类在从 get() 返回值时执行不同的操作,具体取决于该类是被赋予 double 值还是数组作为模板参数: #include "array" #include "type_traits" t
我是一名优秀的程序员,十分优秀!