c++ - Const 容器返回非常量引用

Question

这在我看来是有道理的，但我不确定这是否是适当的常量正确性。

我有一个这样的容器:

template<typename T>
class IDMap
{
public:
    typedef uint64_t ItemID;


    T& GetItem(const ItemID id) const
    {
        const uint32_t index = _IDSTORAGE_INDEX_MASK(id);
        const uint32_t version = _IDSTORAGE_VERSION_MASK(id);

        assert(mItems[index].mVersion == version);

        return mItems[index].mItem;
    }

    // ....
};

我可以将对此容器的 const 引用委托(delegate)给其他类，这些类完全知道它们不能修改容器，但它们可以访问和修改它的对象。

这是一个有效的案例吗？有效如“这为我解决了一个特定问题，但我不确定它是否是好的做法”

Answer 1

视情况而定。

当涉及对象持有的引用时，常量正确性变得非常微妙。如果你有一个动态数组类，带有指向当前值数组的指针，从技术上讲，你可以从 const 函数中修改那些指向的值......但你可能不应该这样做，因为这意味着 const 函数正在改变“动态数组对象”，即使对象本身没有改变。数组拥有这些值，它们的常量性应该由它自己保护。

但是如果您的对象不是指向对象的所有者，那么给出对它们的非常量引用通常是正确的做法。在这种情况下，对象的常量性仅扩展到映射中对象的身份，而不扩展到对象内部的值。