VS C++ compiler的一个bug

来源：互联网发布：comfortable zone 知乎编辑：程序博客网时间：2024/04/27 14:23

我在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里面这代码是可以成功地编译。）