Getter函数的Const正确性

Question

这是一个关于const正确性的简单问题。

我有这门课：

template <class T>
class Foo
{
public:
    std::map<std::string, boost::any> members; 

    template <typename T>
    std::vector<T>& member(const std::string& memberName) 
    {
        return boost::any_cast<std::vector<T>&>(members[memberName]);
    }
};

然后我有一个仿函数，其中包括以下内容：

bool operator()(Foo& foo) const
{
    std::vector<T> & member = foo.member<T>(_memberName);

让我困惑的是，我不能通过引用传递给Foo，因为我正在调用非const成员的getter函数。 关于它的签名，这给人的印象是operator（）改变了foo。

我应该纠正这个，如果是这样的话？

Answer 1

通常的方法是为成员函数添加一个const重载：

template <typename T>
std::vector<T> const & member(const std::string& memberName) const
{              ^^^^^                                         ^^^^^
    return boost::any_cast<std::vector<T> const &>(members.at(memberName));
}                                         ^^^^^            ^^

在const Foo上调用成员将选择此重载; 在非const上调用它将选择原始的。

请注意at()是std::map一个相当新的补充。 如果您遇到过时的库，则需要以下内容：

std::map<std::string, boost::any>::const_iterator found = members.find(memberName);
if (found == members.end()) {
    throw std::runtime_error("Couldn't find " + memberName);
}
return boost::any_cast<std::vector<T> const &>(found->second);

Answer 2

const正确性适用于您执行其方法的对象。 所以：

bool operator()(Foo& foo) const

表示operator()不会更改_memberName函数类中的任何内容，例如_memberName （它似乎是_memberName函数类的成员）。

它的定义方式，允许改变Foo（调用非const方法）。

编辑 ：请参阅Mike Seymour的回答，因为它描述了修复它的方法。 我个人已经做了很多，但似乎没有得到你的问题。 :)