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 。