之前兩篇文章裡的兩個函式如下所示：

//過載操作符+  
    Vector3 operator+(const Vector3 &a){  
        return Vector3(x + a.x,y + a.y,z+a.z);  
    }
//比較兩個數，如果相同返回0，如果v1大，返回1，如果v2大，返回-1  
int compare(const int &v1, const int &v2)  
{  
    if(v1 < v2) return -1;  
    if(v2 < v1) return 1;  
    return 0;  
} 
 

因為之前是用C#和Java比較多，就是無法理解這兩個函式的引數定義，為什麼要加上const和&。其實有時候看到&,*,T等符號就會頭大。如果在java中第二個函式我肯定就會這樣寫：

//比較兩個數，如果相同返回0，如果v1大，返回1，如果v2大，返回-1  
int compare( int v1,  int v2)  
{  
    if(v1 < v2) return -1;  
    if(v2 < v1) return 1;  
    return 0;  
} 

//把形參定義為引用型別
void swapOne(int& a, int& b)
{
    int tmp = b;
	b = a;
	a = tmp;
}
//使用複製實參，只是改變區域性副本，而傳遞函式的實參沒有修改
void swapTwo(int a,int b)
{
    int tmp = b;
	b = a;
	a = tmp;
}

int main(int argc, char* argv[])
{
	int a = 1, b = 2;
	printf("before swap,a:%d,b:%d\n",a,b);
	swapOne(a,b);
	printf("after swap,a:%d,b:%d\n",a,b);


	printf("before swap,a:%d,b:%d\n",a,b);
	swapTwo(a,b);
	printf("after swap,a:%d,b:%d\n",a,b);
	return 0;
}
 

結果如下：

從結果看出，swapOne函式使用引用形參成功交換了a,b變數。而swapTwo函式沒有交換成功。

swapTwo使用的是普通的非引用型別的引數，是通過複製對應的實參實現初始化，傳遞函式的實參沒有改變。

而swapOne中，引用形參直接關聯到其繫結的物件，而並非這些物件的副本。所以交換會成功。

//比較兩個數，如果相同返回0，如果v1大，返回1，如果v2大，返回-1  
int compare(const int &v1, const int &v2)  
{  
    if(v1 < v2) return -1;  
    if(v2 < v1) return 1;  
    return 0;  
} 
 

上面這例子中的const還有什麼作用呢？原來使用const可以避免引用複製，提高效能，swapOne中當然不能使用了，因為它要改變值，而compare函式只是比較兩個數的大小，沒有交換，所以加上const可以提高效能。因為複製物件需要付出時間和儲存空間代價。

後記：最近無意中看到了《Effective C++》的條款20“寧以pass-by-reference-to-const 替換 pass-by-value”。中也談到了這個問題。

class Person{
public:
	Person();
	virtual ~Person();
	...
private:
	std::string name;
	std::string address;
};

class Student:public Person{
public:
	Student();
	~Student();
	...
private:
	std::string schoolName;
	std::string schoolAddress;
}

bool validateStudent(Student s);

如果用by Value方式來呼叫就是

Student plato;

bool platoIsOk = validateStudent(plato);

因為Student類是繼承Person類，每個類都有兩個string。書上說，by value方式傳遞一個Student物件，總體成本是"六次建構函式和六次解構函式"！

如果改成成pass by reference-to-const:

bool validateStudent(const Student& s);沒有任何建構函式或解構函式被呼叫，因為沒有任何新物件被建立。