c++ - 具有指针模板参数的模板类特化

Question

我想为几个指向不同对象的指针专门化一个模板类。对于普通指针，这按预期工作:

struct Base{} b;

template<Base* B> struct Test{};

template<> struct Test<&b>{};

但不适用于指向 Derived 对象的指针:

struct Derived : Base{} d;

template<> struct Test<&d>{};

coliru 编译器(我认为它的 gcc 5.2)显示以下错误:

main.cpp:14:26: error: could not convert template argument '& d' to 'Base*'
 template<> struct Test<&d>{};

我不知道，为什么不允许这样做，想知道是否有解决该问题的方法...

Here是 coliru 中代码的链接。

Answer 1

如果您愿意稍微更改模板参数，这是可能的:

struct Base {} b;
struct Derived : Base {} d;
struct A {} a;

template <class T, T *B,
          class = std::enable_if_t<std::is_base_of<Base, T>::value>>
struct Test {};

template <> struct Test<Base, &b> {};     // OK
template <> struct Test<Derived, &d> {};  // OK

template <> struct Test<A, &a> {};        // compile error