时间戳

首页 > 解决方案 > 如何重载 [] 运算符以支持其他函数中的赋值和 const 参数？

c++ - 如何重载 [] 运算符以支持其他函数中的赋值和 const 参数？

问题描述

考虑一个类SomeClass：

class SomeClass{
    public:
        // Constructors, other members
        float& operator[](const unsigned i);
        friend bool operator==(const SomeClass &A, const SomeClass &B);
};

假设这是==该类的运算符重载方式（不是实际实现，而是过于简化的版本）：

bool operator==(const SomeClass &A, const SomeClass &B){
    if (A[0] == B[0])
        return true;
    return false;
}

这将引发编译器错误，因为重载[]运算符要求实例为非const. 但是，如果我更改[]运算符的定义以允许const实例，我将无法再进行赋值：

// ASSUMING: const float& operator[](const unsigned i) const;

SomeClass a;
a[0] = 0; // error, because the return value of [] is a reference to const!

我真的不想删除运算符const的参数==，因为操作数在函数内不会改变。处理这个问题的正确方法是什么？

标签： c++classoopoperator-overloadingc++17

解决方案

重载operator []以提供两者：

float& operator [](unsigned int i);
float operator [](unsigned int i) const;

对于复制成本不高的泛型T，请使用T const&返回值。实现读/写的一般模式operator []是

T& operator [](index_type i);
T const& operator [](index_type i) const;

推荐阅读