错误：将 const xxx 传递为“this”成员函数的参数丢弃限定符

Question

#include <iostream>
#include <set>

using namespace std;

class StudentT {

public:
    int id;
    string name;
public:
    StudentT(int _id, string _name) : id(_id), name(_name) {
    }
    int getId() {
        return id;
    }
    string getName() {
        return name;
    }
};

inline bool operator< (StudentT s1, StudentT s2) {
    return s1.getId() < s2.getId();
}

int main() {

    set<StudentT> st;
    StudentT s1(0, "Tom");
    StudentT s2(1, "Tim");
    st.insert(s1);
    st.insert(s2);
    set<StudentT> :: iterator itr;
    for (itr = st.begin(); itr != st.end(); itr++) {
        cout << itr->getId() << " " << itr->getName() << endl;
    }
    return 0;
}

在线：

cout << itr->getId() << " " << itr->getName() << endl;

它给出一个错误：

../main.cpp:35：错误：将“const StudentT”作为“int StudentT::getId()”的“this”参数传递会丢弃限定符

../main.cpp:35：错误：将“const StudentT”作为“std::string StudentT::getName()”的“this”参数传递会丢弃限定符

这段代码有什么问题？

Answer 1

std::set 中的对象存储为 const StudentT。因此，当您尝试使用 const 对象调用 getId() 时，编译器会检测到问题，主要是您在 const 对象上调用非 const 成员函数，而该函数不是 const 对象。允许，因为非常量成员函数不承诺不修改对象；因此编译器将做出一个安全假设，即getId()可能会尝试修改该对象，但同时，它也会注意到该对象是const；所以任何修改 const 对象的尝试都应该是一个错误。因此编译器会生成错误消息。

解决方案很简单：将函数设置为 const：

int getId() const {
    return id;
}
string getName() const {
    return name;
}

因为现在您可以对 const 对象调用 getId() 和 getName()：

void f(const StudentT & s)
{
     cout << s.getId();   //now okay, but error with your versions
     cout << s.getName(); //now okay, but error with your versions
}

这是必要的， 应该将 operator< 实现为：

inline bool operator< (const StudentT & s1, const StudentT & s2)
{
    return  s1.getId() < s2.getId();
}

注意参数现在是 const 引用。

Answer 2

不修改类实例的成员函数应声明为 const：

int getId() const {
    return id;
}
string getName() const {
    return name;
}

任何时候您看到“discards qualifiers”，它都在谈论 const 或 volatile 。

Answer 3

实际上是 C++ 标准（即 C++ 0x 草案) 说（感谢 @Xeo 和 @Ben Voigt 向我指出了这一点）：

23.2.4 关联容器
5 对于集合和多重集合值类型
与密钥类型相同。对于地图
而multimap则等于pair。关联中的键
容器是不可变的。
6 迭代器
关联容器是
双向迭代器类别。为了
关联容器，其中值
type 与 key 类型相同，两者
迭代器和 const_iterator 是
常量迭代器。未指定
是否迭代器和
const_iterator 是相同的类型。

所以 VC++ 2008 Dinkumware 实现是错误的。

---

旧答案：

您收到该错误是因为在 std lib 的某些实现中，set::iterator 与 set::const_iterator 相同。

例如 libstdc++ （随 g++ 一起提供）有它（请参阅此处 整个源代码）：

typedef typename _Rep_type::const_iterator            iterator;
typedef typename _Rep_type::const_iterator            const_iterator;

在 SGI 的 docs 它指出：

iterator       Container  Iterator used to iterate through a set.
const_iterator Container  Const iterator used to iterate through a set. (Iterator and const_iterator are the same type.)

另一方面，VC++ 2008 Express 编译您的代码时不会抱怨您在 set::iterator 上调用非常量方法。

Answer 4

让我举一个更详细的例子。对于以下结构：

struct Count{
    uint32_t c;

    Count(uint32_t i=0):c(i){}

    uint32_t getCount(){
        return c;
    }

    uint32_t add(const Count& count){
        uint32_t total = c + count.getCount();
        return total;
    }
};

如您所见，IDE（CLion）将给出提示在 const 对象上调用非 const 函数“getCount”。在方法 add 中，count 被声明为 const 对象，但方法 getCount 不是 const 方法，因此 count.getCount() 可能会更改 count 中的成员。

编译错误如下（我的编译器中的核心消息）：

error: passing 'const xy_stl::Count' as 'this' argument discards qualifiers [-fpermissive]

要解决上述问题，您可以：

1. 将方法 uint32_t getCount(){...} 更改为 uint32_t getCount() const { ...}。因此 count.getCount() 不会更改 count 中的成员。

或

2. 将 uint32_t add(const Count& count){...} 更改为 uint32_t add(Count& count){...}。所以 count 不关心其中成员的更改。

至于您的问题， std::set 中的对象存储为 const StudentT，但方法 getId 和 getName 不是 const，因此您给出了上述错误。

您还可以看到这个问题 'const 的含义' 最后在类的函数声明中？ 了解更多详细信息。