C++函數模板instantiaion與隱含參數

Question

我想不通，爲什麼下面的代碼編譯罰款：

#include <iostream>                 

void bar(int x) {                 
    std::cout << "int " << x << std::endl;            
}                     

void bar(double x) {                 
    std::cout << "double " << x << std::endl;           
}                     

template <typename A, typename B> // Note the order of A and B.            
void foo(B x) {                  
    bar((A)x);                   
}                     

int main() {                   
    int x = 1;                   
    double y = 2;                  

    foo<int>(x);  // Compiles OK.                
    foo<double>(y);  // Compiles OK.            

    return 0;                   
} 

但是如果我切換的A和B如下的順序，那麼它將無法編譯：

#include <iostream>                 

void bar(int x) {                 
    std::cout << "int " << x << std::endl;            
}                     

void bar(double x) {                 
    std::cout << "double " << x << std::endl;           
}                     

template <typename B, typename A> // Order of A and B are switched. 
void foo(B x) {                  
    bar((A)x);                   
}                     

int main() {                   
    int x = 1;                   
    double y = 2;                  

    foo<int>(x);  // error: no matching function for call to ‘foo(int&)’ 
    foo<double>(y);  // error: no matching function for call to ‘foo(double&)’                

    return 0;                   
}  

編輯：特別解釋是受歡迎的，但會更好，如果有人能指出確切的規範。說。謝謝！

Answer 1

在第一個，編譯器知道A是int，因爲你明確告訴它，以便與foo<int>，並且它知道B也int，因爲你通過它的參數。因此，A和B都是已知的或可以推導出的（可以說：A是提供的，B是暗示的）。

然而，在第二個，因爲B至上和A沒有出現在參數列表中，編譯器不能告訴A是，給你一個錯誤。您明確告訴它B與foo<int>是什麼，然後您傳遞的參數也是B，在調用時，它是一個int，它與您之前明確定義的B一致，但沒有提及A，隱含地或者明確地說，所以編譯器必須停止並出錯。

你不需要這個標準，這只是常識。 A究竟會在第二個？

儘管感謝您提出這個問題，因爲我沒有意識到您可以顯式指定某些參數，並在此之前隱式指定參數列表中的其他參數。