c – 函数模板的多个定义

// header.hh
template <typename T>
void f(const T& o)
{
    // ...
}

// impl1.cc
#include "header.hh"

void fimpl1()
{
    f(42);
}

// impl2.cc
#include "header.hh"

void fimpl2()
{
    f(24);
}

可能期望链接器会抱怨f()的多个定义.具体来说,如果f()不是模板,那就是这样.

>链接器怎么没有抱怨f()的多个定义？
>在标准中指定链接器必须正确处理这种情况？换句话说,我可以总是指望类似于上面的程序来编译和链接？
>如果链接器能够巧妙地消除一组函数模板实例化,为什么不能对常规函数执行相同的操作,因为它们与实例化函数模板的情况相同？