如何修改给定的类以使用 const 运算符

Question

我正在尝试解决 my question 关于在多个级别中使用 push_back 的问题。从 cmets/answers 很明显，我必须：

1. 创建一个接受 const 参数的复制运算符
2. 将我的所有运算符修改为 const

但是因为这个头文件是给我的，所以有一个运算符，我不能把它变成 const。很简单：

float & operator [] (int i) {
    return _item[i];
}

在给定的程序中，该运算符用于获取和设置数据。

我的问题是因为我需要在头文件中有这个操作符，我不能把所有其他的操作符都变成const，这意味着我不能插入一个复制操作符。

我怎样才能让我的所有运算符都变成 const，同时保留已经编写的程序的功能？

这是类的完整声明：

class Vector3f {

    float _item[3];

    public:

    float & operator [] (int i) {
        return _item[i];
        }

    Vector3f(float x, float y, float z) 
    {  _item[0] = x ; _item[1] = y ; _item[2] = z; };

    Vector3f() {};

    Vector3f & operator = ( const Vector3f& obj) 
    {
        _item[0] = obj[0];
        _item[1] = obj[1];
        _item[2] = obj[2];

        return *this;
    };

    Vector3f & operator += ( const Vector3f & obj) 
    {
        _item[0] += obj[0];
        _item[1] += obj[1];
        _item[2] += obj[2];

        return *this;
    };

    bool operator ==( const Vector3f & obj) {
        bool x = (_item[0] == obj[0]) && (_item[1] == obj[1]) && (_item[2] == obj[2]);
        return x;
    }


    // my copy operator
    Vector3f(const Vector3f& obj) {
        _item[0] += obj[0];
        _item[1] += obj[1];
        _item[2] += obj[2];

        return this;
    }

};

Answer 1

我不太明白您要做什么，但我注意到这段代码可能无法编译。原因是副本由副本构造函数处理，而不是操作符。这意味着，像任何构造函数一样，它不返回任何内容。从构造函数中删除 return 语句，如下所示：

Vector3f(const Vector3f& obj) {
    _item[0] += obj[0];
    _item[1] += obj[1];
    _item[2] += obj[2];
}

至于使您的运算符const，您可以简单地重载它并提供相同方法的两个版本。第一个将是非const 并将返回一个引用（允许修改），而第二个将是const 并返回一个副本（理想情况下，您应该返回一个const 引用，但因为floats 是原始类型，只是按值返回）。

float & operator [] (int i) 
{
    return _item[i];
}
float operator [] (int i) const 
{
    return _item[i];
}

Answer 2

这是很正常的——你创建了一个操作符，它既可以通过引用提供常规值，也可以通过引用提供 const 值；

float & operator [] (int i) 
{
    return _item[i];
}

const float & operator [] (int i) const 
{
    return _item[i];
}

这种模式适用于浮点、整数等原子类型，以及更复杂的结构和类类型。