模板使用前要先声明

自己写代码总是按照标准中规中矩，所以有时候很多有趣的问题发现不了。
这次看别人的一段代码，发现一些平时没在意的东西，代码如下：
template struct foo
{
    friend void bar( foo a );
};

template void bar( foo a )
{
}

int main( void )
{
    foo a;
    bar( a );
}

link不通过，这里的 bar( a ) 竟然不能自动由参数类型 foo 推导出函数类型为 void bar( foo )。
原来编译器看到 friend void bar( foo a )  [T==int]这一句，认为 void bar( foo a ) 是一个非模板函数，link时自然说void bar(struct foo)找不到。
写成bar( a ) 当然可以编译通过，但这个template void bar( foo a )可不是struct foo的友元，只是没用到私有函数，所以看不出来。
正确的写法应该是：

template struct foo;
template void bar( foo a );

template struct foo
{
    friend void bar( foo a );
};

template void bar( foo a )
{
}

int main( void )
{
    foo a;
    bar( a );
}