用 (*it).m 還是 it->m
摘自《Extended STL》
標準庫要求,所有值類型為聚合類型的迭代器必須支持指針成員選取運算符(operator ->()),下面是使用該運算符的示例代碼:
struct X
{
int x;
};
some_iterator<X> si = . . .
some_iterator<X> si2 = . . .
some_iterator<X> end = . . .
if( end != si &&
end != si2)
{
si->x = si2->x;
}
標準(C++-03: 24.1.1;1)要求,對一個迭代器應用指針成員選取運算符,在語義上等同于先對其應用解引用運算符,再應用點號成員選取運算符,即it->m與(*it).m等效。
可惜,使用該運算符會遇上麻煩。
假設我們有一個容器類型C,它的實例保存智能指針類型P的實例,P用于管理對象生存期。P上定義了一個release()方法用于提早釋放對象。進一步假設,被P管理的類型T上也定義了一個release()方法。在下面代碼片斷中,我們希望通過該容器的迭代器類型I的一個實例,調用T::release()方法:
C cont = . . .
I it = cont.begin();
it->release();
不幸的是,這段代碼調用的不是T::release()方法,它調用的是P::release()方法,從而銷毀了T的實例。當我們再次使用cont這個容器的時候,就可能遇到各種奇怪的問題,以下代碼才是真正實現我們想法的代碼:
C cont = . . .
I it = cont.begin();
it->->release();
可是C++并不支持這樣的語句,且理由充分。(想象一下,如果C++支持這樣的語句,"模糊C++代碼"大賽上,會有多少參賽代碼,爭著在一條語句中塞進最多的operator->()調用!)
為使C++滿足我們的想法,我們必須放棄成員選取運算符而轉用解引用運算符,就像以下代碼示例中一樣:
C cont = . . .
I it = cont.begin();
(*it)->release();
這是迭代器語法中惱人的小缺點。
在迭代器中支持指針成員選取運算符,沒什么實質的意義,而僅僅是語法糖。我認為標準中將這規定為迭代器概念的一個特性是嚴重的錯誤。在我的日常工作中,除了僅有幾個特例外,我完全避免使用迭代器的指針成員選取運算符,而使用解引用和點號成員選取運算符。我建議你也這么做。
Tip: Prefer iterator dereference and the dot member selection operator ((*it).m) over the pointer member selection operator (it->m).
提示: 使用解引用及點號成員選擇運算符((*it).m)代替指針成員選擇運算符(it->m)。
(轉載請注明來源于金慶的專欄)
摘自《Extended STL》
標準庫要求,所有值類型為聚合類型的迭代器必須支持指針成員選取運算符(operator ->()),下面是使用該運算符的示例代碼:
struct X
{
int x;
};
some_iterator<X> si = . . .
some_iterator<X> si2 = . . .
some_iterator<X> end = . . .
if( end != si &&
end != si2)
{
si->x = si2->x;
}
標準(C++-03: 24.1.1;1)要求,對一個迭代器應用指針成員選取運算符,在語義上等同于先對其應用解引用運算符,再應用點號成員選取運算符,即it->m與(*it).m等效。
可惜,使用該運算符會遇上麻煩。
假設我們有一個容器類型C,它的實例保存智能指針類型P的實例,P用于管理對象生存期。P上定義了一個release()方法用于提早釋放對象。進一步假設,被P管理的類型T上也定義了一個release()方法。在下面代碼片斷中,我們希望通過該容器的迭代器類型I的一個實例,調用T::release()方法:
C cont = . . .
I it = cont.begin();
it->release();
不幸的是,這段代碼調用的不是T::release()方法,它調用的是P::release()方法,從而銷毀了T的實例。當我們再次使用cont這個容器的時候,就可能遇到各種奇怪的問題,以下代碼才是真正實現我們想法的代碼:
C cont = . . .
I it = cont.begin();
it->->release();
可是C++并不支持這樣的語句,且理由充分。(想象一下,如果C++支持這樣的語句,"模糊C++代碼"大賽上,會有多少參賽代碼,爭著在一條語句中塞進最多的operator->()調用!)
為使C++滿足我們的想法,我們必須放棄成員選取運算符而轉用解引用運算符,就像以下代碼示例中一樣:
C cont = . . .
I it = cont.begin();
(*it)->release();
這是迭代器語法中惱人的小缺點。
在迭代器中支持指針成員選取運算符,沒什么實質的意義,而僅僅是語法糖。我認為標準中將這規定為迭代器概念的一個特性是嚴重的錯誤。在我的日常工作中,除了僅有幾個特例外,我完全避免使用迭代器的指針成員選取運算符,而使用解引用和點號成員選取運算符。我建議你也這么做。
Tip: Prefer iterator dereference and the dot member selection operator ((*it).m) over the pointer member selection operator (it->m).
提示: 使用解引用及點號成員選擇運算符((*it).m)代替指針成員選擇運算符(it->m)。
(轉載請注明來源于金慶的專欄)