Const正確性導致指針容器問題？

Question

鑑於此代碼（C++，使用Qt容器，但我想這個問題是普遍的）：

// a containter for Item-s 
QList<Item*> items; 

// argument is const to prevent changing the item by this function 
void doStuff(const Item *item) 
{ 
    // find index of the item inside the container 
    // indexOf() is declared as: 
    // template <typename T> int QList<T>::indexOf(const T &t, int from = 0) const 
    const int itemIndex = items->indexOf(item); 
} 

我得到一個編譯錯誤（MSVC2010）：

錯誤C2664：「的QList ::的indexOf：常量項」不能從轉換參數1 '*' 到 '項目* const的&'
與
[
T =項目*
]
轉換失去限定符

我figurer，由於indexOf()與const T &參數聲明的，該參數將成爲一個const Item* &（參照的指針項這是常量），它是從一個const Item*參數可以容易地獲得。不幸的是，自const T& t and T const &t are equivalent以來，出於某種原因，編譯器似乎將參數視爲Item* const &t，它讀作「引用指向項目的const指針」，這是不同的事情，並且不會使Item指向不可變。

我解釋正確嗎？爲什麼編譯器搞砸了，即使函數聲明不會改變參數？這真的是一個const語法等價如何可以搞砸的例子嗎？爲什麼編譯器對前者使用後一種形式？如果我想要將指針存儲在包含器中並保持嚴格的常量語義，我該怎麼辦？

Answer 1

這種情況下，您可以使用const_cast在不違反功能保證的情況下刪除const-度。

// argument is const to prevent changing the item by this function 
void doStuff(const Item *item) 
{ 
    // find index of the item inside the container 
    // indexOf() is declared as: 
    // template <typename T> int QList<T>::indexOf(const T &t, int from = 0) const 
    const int itemIndex = items->indexOf(const_cast<Item*>(item)); 
} 

這是因爲indexOf僅發現在容器中的指針，而不是取消引用指針和變異什麼的另一邊。