c++ 模板参数推导

Question

Q1：

template  <typename  T> void print(const T &) {cout("INT &");}
template  <typename  T> void print( T  ) {cout("INT");}

int main() {
    int i = 10;
    print(i);
}

编译器说“错误：重载 'print(int&)' 的调用不明确”

为什么？

“const T &”和“T”是一样的吗？

Q2：

template <typename T> void f( T){cout("F-T");};
template <typename T> void f( const T*){cout("F-T*");};
int main() {
    int ix = 43, *p=&ix;
    const int ci = 0, *p2 = &ci;
    f(p); // why result is "F-T"?
}

p 是指针，非 const 可以强制转换为 const。

为什么 f(p) 选择 f(T)？

Answer 1

对于问题 1：两个重载都同样“好”， T都推导出为int 。 在没有“最佳”重载的情况下进行调用是错误的。 你得到同样的

void print(const int &) { std::cout << "const int &"; }
void print(int) { std::cout << "int"; }

对于问题 2：第一个重载，推导T为int * ，比第二个重载更好，推导T为int 。