VS C++ compiler的一个bug

我在VS2010里面写入了如下代码：

#include <iostream>
#include <typeinfo>
using namespace std;
template<typename T>
void function(const T& value){
    cout<<typeid(value).name()<<endl;
}
class CT{
public:
    friend void function(int iValue);
};
int main(){
    function(0);
}

    然后我编译的时候提示我链接错，其意思就是找不到function的定义。但是，根据C++标准，此处应该调用的是template<T>function()。

1，class里面的friend function如果没有在外面声明的话，在外围是不可见的，也就是说CT里面的那个friend function在外围是不可见的，自然地，在main里面的那个function调用是不可能绑定在CT里面的friend function。

 

2，有个外围的template<T> function，这个是完全可以通过参数演绎使main里面的那个function调用成功得到解释。

    另外，我把代码改成如下所示，在VS2010里面的输出结果更让人奇怪

#include <iostream>
#include <typeinfo>
using namespace std;
template<typename T>
void function(const T& value){
    cout<<typeid(value).name()<<endl;
}
class CT{
public:
    friend void function(int iValue){
         cout<<"friend int CT called!"<<endl;
    }
};
int main(){
    function(0);
}

   按照VS的理论，应该调用CT里面的那个friend function，也就是应该输出friend in CT called!，然而，事实上输出的是int，这表明VS也是调用的是template<T> function，这里就有一个问题了，既然VS也是调用template<T> function，那么，它又为什么给出一个Link error提示呢？

 

   再次把代码改成如下所示:

#include <iostream>
#include <typeinfo>
using namespace std;
template<typename T>
void function(const T& value){
    cout<<typeid(value).name()<<endl;
}
void function(int iValue);//使CT 里面的friend function对外可见
class CT{
public:
    friend void function(int iValue){
        cout<<"friend int CT called!"<<endl;
    }
};
int main(){
    function(0);
}

    此时就会输出friend in CT called,这证明了在（1）中的理论是成立的。

    综上所述，这是VS2010 C++ compiler里面的一个bug。（MAC OS 的XCode 4.3.2里面这代码是可以成功地编译。）