模板參數扣除不能按預期方式工作

Question

爲什麼下面的print「Generic」而不是「const A &」？我猜測一個dynamic_cast<>可能會打電話給第一個f，但事實並非如此。爲什麼是這樣？

struct A {}; struct B : A {}; 

template <const A &> void f() { std::cout << "const A &"; } 
template <typename T> void f(T) { std::cout << "Generic"; } 

int main() { 

    B b; 

    f(dynamic_cast<const A &>(b)); // "Generic" 

} 

Answer 1

第一f()不接受一個參數，只留下f(T)作爲搭配。