c++ - 模板参数推导和 const 限定

Question

谁能解释为什么代码无法编译。

template<class T, class DER>
struct Base {
  T a;
  Base(const T argB) : a(argB){}
};

template<class T>
struct Derived : Base<T, Derived<T> > {
  Derived(const T argD) : Base<T, Derived<T> >(argD){}
};

int main() {
  int val = 10;
  const int *p = &val;
  /* this was in the original question
  Derived<int*> d(p); // breaks, but compiles with Derived<const int*> d(p);
  */
  Derived d(p); // fails, but Derived<const int*> d(p); compiles
}

错误信息是关于没有从int* 到const int* 的转换。正如我所见，T 可以被 int* 替代，在这种情况下，Derived 的构造函数接收其参数作为 const int * 并使用 const int* 调用基类。那么为什么不断的qulaification会丢失。

我显然不明白模板参数推导是如何工作的。当 const、* 和 & 发挥作用时，我还没有找到任何关于它如何工作的清晰但严谨和详尽的描述。也就是说，在这些不同的情况下，a 将被推导出什么类型。

 Foo(T& a)
 Foo(T  a)
 Foo(T* a)
 Foo(const T a)
 Foo(const T*a)
 Foo(const t&a)

当 a 是

• 一个对象，
• 指针和
• 一个数组。

Answer 1

因为 Derived 的构造函数是 Derived(const T argD)，所以在你的情况下它是 Derived(int * const)。这不接受 const int*。

“const(指向 int 的指针)” 不是“(指向 const int 的指针)”。