常量正确性导致指针容器出现问题？

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 Item *”转换为“Item *const &”
与
[
T=项目 *
]
转换失去限定符

我认为由于indexOf() 是使用const T & 参数声明的，因此该参数将成为const Item* &（对指向常量项的指针的引用），这很容易从const Item* 参数中获得。不幸的是，由于const T& t and T const &t are equivalent，由于某种原因，编译器似乎将参数视为Item* const &t，它读作“对一个项目的const指针的引用”，这是另一回事，不会使Item指向不可变的。

我的解释正确吗？为什么即使函数以一种不会改变参数的方式声明，编译器也会把事情搞砸？这真的是 const 语法等价如何搞砸事情的一个例子吗？为什么编译器使用后一种形式而不是前一种形式？如果我想在容器中存储指针并保持严格的 const 语义，我该怎么办？

Answer 1

在这种情况下，您可以使用const_cast 删除const-ness 而不会违反您的功能保证。

// 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 只是在容器中找到指针，而不是取消引用指针并改变另一边的内容。