c++ - 从 C++ 中的运算符返回的引用和常量引用

Question

我不明白为什么我们通常需要两个版本的返回引用的函数——一个是 const 而另一个不是。例如在这段代码中:

const char& String::operator[](int index) const {
    verify_index(index);
    return data[index];
}

char& String::operator[](int index) {
    verify_index(index);
    return data[index];
}

如果我们只有 const，那么我们将无法做到例如 str[i] = value。但是只有非常量引用有什么问题，有人可以举个例子吗？

谢谢

Answer 1

如果你只有一个非常量重载，你将无法在 const 字符串上使用 [] 语法。

void print_first(const std::string& word) {
    std::cout << word[0]; //like this
}

如果你只有 const 重载，你将无法使用 [] 语法来修改字符串:

void edit_first(std::string& word) {
    word[0] = 'a';
}

如果您创建了返回可变字符的 const 重载，那就更糟了!

void edit_first(const std::string& word) {
    word[0] = 'a'; //wait, I thought word was const?
}

令人沮丧的是，您必须添加两个重载，但通常 90% 的代码可以共享(就像您对 verify_index 所做的那样)，否则它们最终只是两行代码。

(返回 const char 的非常量重载的第四种组合，但这是无害的，而且几乎没有用，所以......是的。)