day &operator++(day &d)
{
d = (day)(d + 1);
return d;
}
使用這個函數， 表達式 ++x 才有正確的顯示以及正確的操作。
Passing by reference不僅僅是寫operator++較好的方法，而是唯一的方法。
C++在這里并沒有給我們選擇的余地。
像下面的聲明:
day *operator++(day *d);
是不能 通過編譯的。
每個重載的操作符函數必須或者是一個類的成員， 或者使用類型T、 T & 或 T const & 為參數類型，
這里T是一個類(class)或列舉(enumeration)類型。
也就是說，每一個重載操作符必須以類或列舉類型為參數類型。
指針，即使是指向一個類或列舉類型對象的指針，也不可以用。
C++ 不允許在重載操作符時重新定義內置操作符的含義，包括指針類型。
因此，我們不可以定義：
int operator++(int i); // 錯誤
因為它試圖對int重新定義操作符 ++ 的含義。 我們也不可以定義：
int *operator++(int *i); // 錯誤
因為它試圖對 int * 重新定義操作符 ++ 的含義
References vs. const pointers
C++ 中不允許定義”const reference”，
因為一個reference天生就是const。也就是說，一旦將一個reference綁定到一個對象，就無法再將它重新綁定到另一個不同的對象。
在聲 明一個reference之后沒有寫法可以將它重新綁定到另外一個對象。
例如：
int &ri = i;
將 ri 綁定到 i 。然后下面的賦值:
ri = j;
并不是把 ri 綁定到 j ，而是將 j 中的值賦給 ri 指向的對象，也就是賦給 i 。
簡而言之，
一個pointer在它的有生之年可以指向許多不同的對象，
而一個reference只能夠指向一個對象。
有些人認為這才是 reference和 pointer最大的不同。
我并不贊成。也許這是reference與pointer的一點不同， 但并不是reference和const pointer的不同。
在強調一遍，一旦一個reference與一個對象綁定，就不能再將它改指向另外的東西。
既然不能再綁定reference之后再 改變， 一個reference就必須在一出生就被綁定。
否則這個reference就永遠不能被綁定到任何東西，也就毫無用處了。
上一段的討論也同樣完全適用于常量指針（const pointer）。
（注意，我這里說的是常量指針（const pointer）， 而不是指向常量的指針 “pointers to const”。)
例如，
一個reference聲明必須同時帶有一個初始化賦值，如下所示：
void f()
{
int &r = i;
…
}
省略這個初始化賦值將產生一個編譯錯誤：
void f()
{
int &r; //錯誤
…
}
一個常量指針的聲明也同樣必須帶有一個初始化賦值，如下所示：
void f()
{
int *const p = &i;
…
}
省略這個初始化賦值同樣會出錯：
void f(){
int *const p; // 錯誤
…
}
在我看來
不能夠對reference二次綁定作為reference與pointer的不同。
并不比常量指針和非常量指針的不同更為顯著。
Null references
除了顯示的不同，常量指針與reference還有一點非常不同，那就是，一個有效的reference必須指向一個對象；而一個指針不需要。一個指針，即使是一個常量指針， 都可以有空值。 一個空指針不指向任何東西。
這點不同就暗示當你想要確信一個參數必須指向一個對象的時候，應該使用reference作為參數類型。 例如，交換函數(swap function)，它接受兩個int參數，并將兩個參數的數值對調，如下所示：
int i, j;
swap(i, j);
將原本在 i 中的值放到 j 中， 并將原本在 j 中的值放到 i 中。我們可以這樣寫這個函數：
void swap(int *v1, int *v2)
{
int temp = *v1;
*v1 = *v2;
*v2 = temp;
}
這種定義下，函數要像這樣被調用: swap(&i, &j);
這個接口暗示其中一個或兩個參數都有可能為空(null)。而這個暗示是誤導的。例如，調用
swap(&i, NULL);
的后果很可能是不愉快的。
而像下面這樣定義reference為參數：
void swap(int &v1, int &v2)
{
int temp = v1;
v1 = v2;
v2 = temp;
}
清晰的表明了調用swap應該提供兩個對象，它們的值將被交換。 并且這樣定義的另一個好處是，在調用這個函數的時候，不需要使用那些&符號，看起來更順眼：
swap(i, j);
Null references
除了顯示的不同，
常量指針與reference還有一點非常不同，
那就是，一個有效的reference必須指向一個對象；
而一個指針不需要。
一個指針，即使是一個常量指針， 都可以有空值。 一個空指針不指向任何東西。
這點不同就暗示當你想要確信一個參數必須指向一個對象的時候，應該使用reference作為參數類型。
例如，
交換函數(swap function)，它接受兩個int參數，并將兩個參數的數值對調，如下所示：
int i, j;
swap(i, j);
將原本在 i 中的值放到 j 中， 并將原本在 j 中的值放到 i 中。我們可以這樣寫這個函數：
void swap(int *v1, int *v2)
{
int temp = *v1;
*v1 = *v2;
*v2 = temp;
}
這種定義下，函數要像這樣被調用: swap(&i, &j);
這個接口暗示其中一個或兩個參數都有可能為空(null)。而這個暗示是誤導的。例如，調用
swap(&i, NULL);
的后果很可能是不愉快的。
而像下面這樣定義reference為參數：
void swap(int &v1, int &v2)
{
int temp = v1;
v1 = v2;
v2 = temp;
}
清晰的表明了調用swap應該提供兩個對象，它們的值將被交換。 并且這樣定義的另一個好處是，在調用這個函數的時候，不需要使用那些&符號，看起來更順眼：
swap(i, j);
更安全?
有些人認為既然reference不能夠為空，那么它應該比指針更安全。
我認為reference可能要安全一點，但不會安全很多。
雖然一個有效的reference不能為空，但是無效的可以呀。
實際上，在很多情況下程序有可 能產生無效的reference，而不只是空的reference。
例如，
你可以定義一個reference，使它綁定到一個指針指向的對象，如下所示：
int *p;
…
int &r = *p;
如果指針*p在reference定義時剛好為空，則這個reference為空。
從技術上來說，這個錯誤并不在于將reference綁定到一個空值，而是在于對一個空指針去參考。
對一個空指針去參考產生了一個不確定的操作，也就意味著很多事都可能發(fā)生，而且大部分都不是什么好事。很有可能當程序將reference r 綁定到*p (p所指向的對象)的時候，p實際上沒有被去參考，甚至程序只是將p的值拷貝給實現(xiàn)r的指針。
而程序將會繼續(xù)執(zhí)行下去直到錯誤在后面的運行中更為明顯的表 現(xiàn)出來，產生不可預知的危害。
下面的函數
展示了
另外一種產生無效reference的方法：
int &f()
{
int i;
…
return i;
}
這個函數返回一個指向本地變量 i 的reference。
然而當函數返回時，本地變量 i 的存儲空間也就消失了。因此這個函數實際返回了一個指向被回收了的空間的reference。這個操作與返回一個指向本地變量的指針的后果相同。
有些編譯 器可以在編譯時發(fā)現(xiàn)這個錯誤，但也很有可能不會發(fā)現(xiàn)。
我喜歡reference，也有很好的理由使用它們代替pointer。
但如果你期望使用reference來使你的程序健壯性顯著增強，那么你多半會失望的
參考資料：
- Saks, Dan. “Introduction to References,” Embedded Systems Programming, January 2001, p. 81.
- Saks, Dan. “References and const“, Embedded Systems Programming February 2001, p. 73.