湘潭九华 地铁 科大站:关于C++指针引用自相矛盾的一个现象!!!!

楼主比较善于思考，对于这个怪现象，自己也去调试了一下，发现一些问题，在此先看以下代码。

样例1：

#include <iostream>
using namespace std;

template<class T> void A( T& a )
{
cout<<"Template Function"<<endl;
}

void A( int & a );//在此声明函数A，将会“重载”上面的模板函数！

int main()
{
int i = 0;
A( i );
return 0;
}

void A ( int & a )
{
cout<<"A Function"<<endl;
}
对于此例，VC6和VC.NET2003及以上版本均会做出正确的选择，此时会输出 "A Function".表明调用的是常规函数版本。MSDN上对此也有如下解释：“模板函数也可以被一般的普通函数重载，实际函数调用时，首先会实例化模板，看是否能正确产生无歧义的函数实例，如果能产生，将会把这个函数实例作为候选函数之一。对于那个常规函数，如果完全吻合调用时参数传递的语义，或者编译器可以通过默认的类型转换使之满足语义，也将它作为候选函数之一。对于这样一个候选函数集合，编译器最终会选择一个‘完美’吻合的版本。（即不用任何默认的类型转换，实际参数本身就符合该函数的参数调用语义）如果普通的函数和模板函数均‘完美’吻合。则选择普通函数！”（原文大意）

再看另一个例：
样例2：

#include <iostream>
using namespace std;

template<class T> void A( T& a )
{
cout<<"Template Function"<<endl;
}

int main()
{
void A( int & a );//在此声明函数A，将会“覆盖”上面的模板函数！
int i = 0;
A( i );
return 0;
}

void A ( int & a )
{
cout<<"A Function"<<endl;
}

对于样例2，VC6和VC.NET2003及以上版本行为有所不同。
1。在VC6中，发现没有任何输出，即没有调用任何版本的函数A。通过观察生成的汇编代码，证实了这一点。没有生成函数调用的"call ..."指令！
2。在VC.NET2003及以上版本中，会输出"A Function"，即调用了函数A的普通版本。为什么呢？因为在main()函数内声明函数A，其作用域为从声明那一行开始，到main()函数结束，并且这个声明将会“覆盖”任何处于外层（main()函数之外）的同名函数。所以很正常，因为这里的声明覆盖了外层的模板函数A，编译器自然会采用A函数的普通版本了。
为什么VC6会有那么不正常的行为?别忘了，VC6对于C++标准并非完全符合，即使VC.NET也只是90%以上符合C++标准，而VC6的奇怪行为，也可以看作编译器的一个小BUG吧^_^

现在回过来看楼主的例子。对于第一个例子，swap其实是一个库函数，而且是一个模板函数！可以查到源代码为：
template<class _Ty> inline
void swap(_Ty& _X, _Ty& _Y)
{
_Ty _Tmp = _X;
_X = _Y, _Y = _Tmp;
}
楼主自定义的函数非常偶然的和库函数同名。这下就豁然开朗了吧~SWAP不就是上面举例中的函数A么^_^
而后面两个例子，不会出现这种意外重载或者覆盖库函数的情况，所以不管在哪声明，行为都会很正常~~~~~~~

从你的问题中，就知道你对函数了解不多
还是先学好函数那一章