模板参数中的派生 class 类型无法编译

Question

这是我一直无可救药的代码片段。

template <class T, T nt>
class C;

struct base{
   int i;
} b;

struct derived : base{} d;

C<base*,&d> obj;

为什么这个给出错误could not convert template argument &d to base* ？

Answer 1

在将参数与作为指针/引用的参数匹配时，即使转换在其他情况下有效，也不会考虑派生到基本转换。

14.3/5 [标准报价仅供参考]

如果非类型模板参数不能转换为相应模板参数的类型，则该程序格式错误。

……

对于指向 object 的类型指针的非类型模板参数，应用限定转换 (4.4) 和数组到指针转换 (4.2)。 [注意：特别是，null 指针转换 (4.10)和派生到基址转换 (4.10) 均未应用。 尽管 0 是整数类型的非类型模板参数的有效模板参数，但它不是指针类型的非类型模板参数的有效模板参数。 ]