zzxxisme

我猜反向执行是在执行 string 和 vector 的析构函数。可以试着回去的时候看看能不能 step in ？

先说我认为的结论：这种写法的主要目的 并不是 为了隐藏实现，而是为了方便转移、复制、释放一个 ModuleBase 子类的对象。

首先我们有 ModuleBase 这个基类，这个基类可能有很多种不同的子类实现，例如 ModuleBaseImpl 是其中一种实现。但是我用这个 Module 的时候我可能不关心具体实现是怎么样，不关心具体的子类是什么。我只想拿到 ModuleBase 的基类的指针（或者引用）进而能够访问子类的具体实现就好了。如果只是这个需求，我的设计可能就是令到 ModuleBase 的虚函数全部都弄成 纯虚函数 （也就是没有默认实现），然后子类 ModuleBaseImpl 必须实现所有纯虚函数。也就是

```c++
class ModuleBase {
...
virtual void startTimer(int32_t timerId, uint64_t msec) = 0; // 纯虚函数
};

class ModuleBaseImpl : public ModuleBase {
...
void startTimer(int32_t timerId, uint64_t msec) override {
... // 具体实现
}
};
```

然后这样会有一个小问题，就是我用一个 Module 的时候，我必须用 ModuleBase 的指针（或者引用，但如果能用引用，可能就没有我说的这个小问题）。而且用这个指针我还要注意适当的时候 delete 这个指针。但是如果这个指针是被其他人用的，在其他人的函数里面他们未必会 delete 这个指针。所以这个时候我需要弄多一个类，来包装这个 ModuleBase 指针，也就是

```c++
class ModuleBaseWrapper {
~ModuleBaseWrapper() { delete module; }
private:
ModuleBase* module;
};

```

有了这个 ModuleBase Wrapper 之后，这个 Wrapper 在析构的时候会帮忙析构这个 ModuleBase 指针。

最后，回到一开始你说的 ModuleBase 里面包含了一个 android::sp<ModuleBase>impl 的事，这个 android::sp<ModuleBase>使得 ModuleBase 可以当做上面的 ModuleBaseWrapper 来用。

> 但是我经过了 vs2019 debug 后，发现 c 的类型为 A&&，这是为什么呀？

这个不太清楚怎么回答。我觉得因为你是用 auto&&去接 returnTemp()产生的临时变量，所以 c 的类型就是 A&&。如果你使用 auto 去接，那 c 的类型就是 A 。但我觉得不管 c 的类型是 A&&还是 A ，它都是维持着 A 类对象的一份 local copy ，用起来都是一样。

> _Ty& _Arg 优先级比 _Ty&& _Arg 高

这个我觉得是有条件的。如果参数本身是 A&这样的引用类型，那_Ty& _Arg 有更高的优先级。如果参数是 A 或者 A&&这样的，_Ty&&有更高的优先级。

再插一句，如果你把第二个 fun_test 改成
```
template <class _Ty>
void fun_test(_Ty _Arg) { // 这里把&去掉
cout << "left" << endl;
}
```
那么 fun_test(_Ty&&)和 fun_test(_Ty)在匹配 fun_test(a)的时候，编译器会选不出来而报错，因为这两个函数面对 A&的 rank 一样。