使用模板和非模板意外輸出功能

Question

可能重複：
Template func and non template func call order

爲什麼這個代碼代碼打印

::foo(int) 
::foo<T>(T) 

template <typename T> 
void foo(T) 
{ 
    std::cout << "::foo<T>(T) \n"; 
} 

template <typename T> 
void bar(T baz) 
{ 
    foo(baz); 
} 

void foo(int) 
{ 
    std::cout << "::foo(int) \n"; 
} 

int main() 
{ 
    foo(0); 
    bar(0); 
} 

而這

void foo(int) 
{ 
    std::cout << "::foo(int) \n"; 
} 

template <typename T> 
void foo(T) 
{ 
    std::cout << "::foo<T>(T) \n"; 
} 

template <typename T> 
void bar(T baz) 
{ 
    foo(baz); 
} 

int main() 
{ 
    foo(0); 
    bar(0); 
} 

打印

::foo(int) 
::foo(int) 

預期。

Answer 1

原因是因爲模板函數只考慮在定義點可見的函數，而不是在實例化點可見的函數。如果它根據實例化可見性選擇函數，那麼您最有可能違反了左側和右側的一個定義規則。有一個標準的參考在我的答案相關的問題Adding specializations of template functions later