第一个程序：
#include <iostream.h>
class A{
public:
 A() {}
 A(A& _a){cout<<"Excute Copy Constructor!"<<endl;}
 ~A(){}
};
A f(A& a){return a;}
void main()
{
 A a1,b1;
 b1=f(a1);
}
第一个程序运行结果：
Excute Copy Constructor!

第二个程序：
#include <iostream.h>
class A{
public:
 A() {}
 A(A& _a){cout<<"Excute Copy Constructor!"<<endl;}
 ~A(){}
};
A f(A& a){return a;}
void main()
{
 A a1;
 A b1=f(a1);
}
第二个程序运行结果：
Excute Copy Constructor!

第三个程序：
#include <iostream.h>
class A{
public:
 A() {}
 A(A& _a){cout<<"Excute Copy Constructor!"<<endl;}
};
A f(A& a){return a;}
void main()
{
 A a1;
 A b1=f(a1);
}
第三个程序运行结果：
Excute Copy Constructor!
Excute Copy Constructor!

哪位高手可以解释一下为什么是上述结果？

你是想问程序三中拷贝构造函数为什么会被调用了两次吧

这个实际是编译器的问题，windows平台下vc系列编译器中6.0是存在这个问题的，7.0及以上版本没有这个问题，你可以调整编译选项生成cod文件，对比一下在显式声明析构函数和不声明析构函数的情况下，编译产生的汇编代码的区别就能够明白

6.0编译时在没有显式声明析构函数时，函数f在return时通过调用拷贝构造函数构造的临时对象被带回了主函数过程并再次调用拷贝构造用来构造对象b1，而显式声明了构造函数时，对象b1的地址被作为参数带入了函数f，从而减少了一次拷贝构造，实际这应该是正常的过程，7.0及以上版本编译器编译产生的汇编显示无论是否显式声明析构函数，函数f的执行过程是相同的，也就是按照正常过程实现的

实际上，你的代码中函数f是不合理的，通常此类函数应定义为A& f(A& a)，以避免产生临时对象并出现中间拷贝构造