重载函数中的歧义:如何解决

我重载了<<以两种不同的形式打印pair的内容(参见下面的代码)。第一种形式是特定于定义的pair类型的。第二个是template d，适用于任何一对。这两种都适合我这种类型的人。当两个原型都先于main的定义时，不管原型的顺序如何，都使用第一个(特定的)原型。只有当注释了第一个原型时，才会使用第二个原型。

为什么用这种方式解决歧义，决定使用哪个合适的函数?

#include <iostream>
#include <map>
using namespace std;
typedef pair<string, char> pair_t;
ostream& operator<<(ostream& os, const pair_t& p);   // First form, specific
template<class first_class, class second_class>
ostream& operator<<(ostream& os, const pair<first_class, second_class>& p);   // Second form, generic
int main(void) {
        pair_t p2;
        p2 = make_pair("Fer", 'C');
        cout << p2 << endl;
        return 0;
}
ostream& operator<<(ostream& os, const pair_t& p)
{
    os << p.first << " obtained '" << p.second << "'";
    return os;
}
template<class first_class, class second_class>
ostream& operator<<(ostream& os, const pair<first_class, second_class>& p)
{
    os << "(" << p.first << ", " << p.second << ")";
    return os;
}