将派生类用于模板构造函数

Question

我有一个带有模板构造函数的类：

class TCons {
    template <typename T> TCons(T t);
}

专门用于实现的：

template <> TCons::TCons(int i) { doMyStuff(i); }

我也有一个基类的特化：

template <> TCons::Tcons(TBase &t) { doMyStuff(t); }

但是当我尝试使用派生对象作为参数初始化 TCons 对象时，这似乎不起作用。

class TDeriv: public TBase { };
TDeriv td;
TCons tc = td;

我无法使用指针来解决此问题（因为所有内容都包含在宏中）。问题出现在链接阶段。

只是错了，还是我遗漏了什么？

Answer 1

当我们尝试在这里构造tc时：

TCons tc = td;

我们有一个构造函数的选择：

template <typename T> TCons(T t);

当我们进行模板推导时，我们推导T = TDeriv。这与您的 TBase 显式特化（也不是 int 之一）不匹配，因此我们坚持使用主模板。您没有为其提供定义，这就是您遇到链接器错误的原因。

如果您希望在所有从 TBase 继承的类型上调用您的 TBase 构造函数，则必须针对这些情况禁用构造函数模板。我们可以通过 SFINAE 做到这一点：

template <typename T,
          typename = std::enable_if_t<!std::is_base_of<TBase, T>::value>>
TCons(T );

同时使您的其他构造函数成为非模板重载：

TCons(int );
TCons(TBase& );

仅在需要时进行专门化 - 重载会变得更简单。