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 引用委托给其他人类完全清楚他们无法修改容器，但他们可以访问和修改它的对象。

这是一个有效的案例吗？在 "This solves a specific problem for me, but I'm not sure if its good practice"

中有效

Answer 1

通常认为 const 不正确。然而，一个简单的事实是，在这种情况下，该语言实际上并不允许正确使用 const。例如，您不能说 std::vector<const T>。即使您修复了 IDMap 以支持此类用法，它仍然不支持 constness 上的协方差之类的东西。

您的选择是 const 的一个错误使用或 const 的另一个错误使用，所以请选择。

更值得关注的是这个_IDSTORAGE_VERSION_MASK。在用户代码中使用 _U 风格的名称是未定义的行为。

Answer 2

视情况而定。

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

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

Const 容器返回非常量引用

Const container returning non-const references

c++

c++11