模板参数扣除不能按预期方式工作

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)作为搭配。