c++ - 操作动态内存，重载一个const成员函数有意义吗？

Question

C++ Primer 5 Edition 的一个练习让我卡住了，就像

Exercise 12.3: Does this class need const versions of push_back and pop_back? If so, add them. If not, why aren’t they needed? (Page 458)

下面是类。省略了成员 front 和 back 的定义以简化代码。

class StrBlob 
{
public:
    typedef std::vector<std::string>::size_type size_type;
    StrBlob();
    StrBlob(std::initializer_list<std::string> il);
    size_type size() const { return data->size(); }
    bool empty() const { return data->empty(); }
    // add and remove elements
    void push_back(const std::string &t) {data->push_back(t);}
    void pop_back();
    // element access
    std::string& front();
    std::string& back();
private:
    std::shared_ptr<std::vector<std::string>> data;
    // throws msg if data[i] isn't valid
    void check(size_type i, const std::string &msg) const;
};

StrBlob::StrBlob(): data(make_shared<vector<string>>()) { }
StrBlob::StrBlob(initializer_list<string> il):
          data(make_shared<vector<string>>(il)) { }

void StrBlob::check(size_type i, const string &msg) const
{
    if (i >= data->size())
        throw out_of_range(msg);
}

void StrBlob::pop_back()
{
    check(0, "pop_back on empty StrBlob");
    data->pop_back();
}

我试图重载一个 const 成员 void StrBlob::pop_back() const，如下所示。

void StrBlob::pop_back() const
{
    check(0, "pop_back on empty wy_StrBlob");
    data->pop_back();
}

编译器对这个 const 成员没有任何提示。想知道我做得对吗？有没有可能调用这个 const 成员？添加这个const成员有意义吗？为什么？

Answer 1

如果你愿意，你当然可以这样做，但似乎没有任何合乎逻辑的理由。编译器不会提示，因为这不会修改 data (这是一个指针)而是一个东西 data指向，这是完全合法的 const指针。