方括号重载=>没有运算符匹配操作数

Question

我目前在重载自定义矢量类中的方括号时遇到了一些麻烦。

我的课基本上看起来像这样：

typedef uint32_t u32; // This is not actually here, but so you get the idea. Also, it is included in the problematic call's file

template<class T>
class JFFVector
{
public:
    //Init and stuff
    T& operator[](u32 iIndex)
    {
        return m_pData[iIndex + miDataOffset];
    }

private:
    T* m_pData;
    u32 m_iDataOffset;
}

在此类函数中，我可以调用（* this）[0]，一切正常。 现在，我遇到的问题是类的成员如下：

class TOtherClass
{
public:
    // Stuff
    void DoSomething() const
    {
        for (u32 i; i < m_tItems.size(); ++i)
            m_tItems[i]->DoStuff(); // Which is a const function
    }

private:
    JFFVector<const JFFItem*> m_tItems;
}

问题是我的编译器对我说了一个错误

没有运算符“ []”与这些操作数匹配

操作数类型为：const JFFVector [u32]

typedef uint32_t u32。

因此，我注意到的一件事是，如果我将m_tItems用作指针，则可以执行“（（* m_tItems）[i]-> DoStuff（）””，它可以正常工作。 但是我不明白为什么它不能与非指针版本一起使用。 （此外，我尝试使用简单的int而不是u32，并且毫不奇怪，它不起作用）

有人知道我做错了吗？ 而且，如果不是不重要的话，为什么会出错呢？

（很抱歉，如果已经回答了这个问题，我尝试搜索类似的问题，但没有发现类似该问题的内容）

Answer 1

您可以重载两种索引运算符-一种用于const JFFVector并返回T const& ，另一种用于JFFVector并返回T& 。 您仅实现了第二个。

您可以类似于非const版本来实现它，如下所示：

T const& operator[](u32 iIndex) const   // <-- note the two `const`s
{
    return m_pData[iIndex + miDataOffset];
}

请注意，此重载并非特定于operator[] ，而是所有方法（可以由const或non- const重载）。

您需要在代码中使用const版本的原因是DoSomething()被声明为const ，因此this是该方法中的const TOtherClass* ，并且通过扩展，其所有成员（尤其是m_tItems在方法中都是const ，因此仅const可以在它们上调用方法。 由于没有为m_tItems定义operator[] const版本，因此编译器会给您该错误。

Answer 2

在const ，必须保持const 。 编译器无法轻松知道m_tItems[i]中发生的事情不会更改m_tItems ，因此违反了void DoSomething() const不会更改TOtherClass的状态的TOtherClass 。

解决方案：实现const operator[]

const T& operator[](u32 iIndex) const 
{
    return m_pData[iIndex + miDataOffset];
}

Answer 3

您需要2个版本，一个用于const ，一个不带const 。 一个用于不变的const JFFVector ，另一个用于可变的JFFVector 。

在这种情况下， DoSomething是一个const函数，它想调用一个const函数。

template<class T>
class JFFVector
{
public:
    //Init and stuff
    T& operator[](u32 iIndex)
    {
        return m_pData[iIndex + miDataOffset];
    }
    const T& operator[](u32 iIndex) const
    {
        return m_pData[iIndex + miDataOffset];
    }

private:
    T* m_pData;
    u32 m_iDataOffset;
}