Является ли этот шаблон функции специализированным или нет?

Question

Рассмотрим:

template<class Y> 
struct Foo 
{ 
    void bar(std::vector<Y>); 

    template <class T> 
    void bar(std::vector<T>); 
}; 

Какова взаимосвязь между этими двумя функциями-членами? Является ли одна специализированная форма другой? Я не хочу говорить об этом, так как первый из них уже «специализирован» на экземпляре типа Foo.

Что произойдет, если T и Y были такими же?

Answer 1

bar - это просто перегруженная функция в вашем примере. Если Y и T совпадают, то разрешение перегрузки будет выбирать void bar(std::vector<Y>), так как это не шаблон функции.

Answer 2

foo<int> fi; 

vector<int> vi; 
vector<float> vf; 

fi.bar(vi); // overload #1 gets chosen (more specialized for T=int) 
fi.bar(vf); // overload #2 gets chosen