Question

我正在尝试创建一个包装std :: map的类，并检查以确保键是批准的有效字符串之一，并且还初始化映射以使所有已批准的有效字符串具有默认值。我在使下标运算符工作时遇到问题，特别是它的const版本。

这是我的班级原型代码：

#include <set>
#include <string>
#include <map>

class foo {
  public:
    foo() {}
    const double & operator[](const std::string key) const {
      return data[key];
    }
  private:
    static const std::set<std::string> validkeys;
    std::map<std::string, double> data;
};

const std::set<std::string> foo::validkeys = {"foo1", "foo2"};

当我编译它时（使用带有-std = c ++ 0x的g ++），我得到了这个编译错误：

|| /home/luke/tmp/testmap.cc: In member function 'double& foo::operator[](std::string) const':
testmap.cc|10 col 22 error| passing 'const std::map<std::basic_string<char>, double>' as
'this' argument of 'mapped_type& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const
key_type&) [with _Key = std::basic_string<char>, _Tp = double, _Compare =
std::less<std::basic_string<char> >, _Alloc = std::allocator<std::pair<const 
std::basic_string<char>, double> >, mapped_type = double, key_type = 
std::basic_string<char>]' discards qualifiers

我所做的一切似乎都无法解决这个问题。我试过了

使有效密钥成为std :: set和data std :: map
使用const char *而不是string
返回const double或double而不是const double＆amp;
使用list和vector而不是set来存储validkeys

我不知道我是否正确地解决了这个问题，所以如果有其他简单的方法来创建一个允许这种功能的类：

foo a;
a["foo2"] = a["foo1"] = 5.0;
// This would raise a std::runtime_error because I would be checking that
// "foo3" isn't in validkeys
a["foo3"] = 4.0;

任何建议都非常感谢。

解

以下按照我的要求进行操作，当您尝试设置或获取不在有效密钥集中的密钥时，我甚至会遇到一个基本异常：

#include <iostream>
#include <string>
#include <map>
#include <set>
#include <stdexcept>

class myfooexception : public std::runtime_error
{
  public:
    myfooexception(const std::string & s)
      : std::runtime_error(s + " is not a valid key.") {}
};

class foo {
  public:
    foo() {
     for (std::set<std::string>::iterator it = validkeys.begin();
          it != validkeys.end();
          ++it) {
       data[*it] = 0.0;
     }
    }
    const double & operator[](const std::string & key) const {
      if (data.find(key) == data.end()) {
        throw myfooexception(key);
      } else {
        return data.find(key)->second;
      }
    }
    double & operator[](const std::string & key) {
      if (data.find(key) == data.end()) {
        throw myfooexception(key);
      } else {
        return data[key];
      }
    }
  private:
    static const std::set<std::string> validkeys;
    std::map<std::string, double> data;
};

const std::set<std::string> foo::validkeys = {"foo1", "foo2"};

int main(void)
{
  foo a;
  a["foo1"] = 2.0;
  a["foo1"] = a["foo2"] = 1.5;
  // a["foo3"] = 2.3; // raises exception:  foo3 is is not a valid key
  const foo b;
  std::cout << b["foo1"]; // should be ok
  // b["foo1"] = 5.0;  // compliation error, as expected: b is const.

  return 0;
}

Answer 1

operator []中const未声明为std::map，因为operator []在未找到密钥时也会插入新元素，并返回对其映射的引用值。如果您希望map::find为map::operator[]，则可以使用operator[]方法代替const。

Answer 2

std::map的下标运算符是非常量的，因为它插入一个新元素（如果尚不存在）。如果您希望地图具有const operator[]，则需要编写一个使用map::find()并对map::end()进行测试，以处理错误情况。

Answer 3

你正试图修改一个const对象!! 请删除set.const的const。初始化后，不能修改成员。

Answer 4

您正尝试分配给std::map，但您的功能已声明为const，并且还会返回const。删除const，它应该可以正常工作。

具有std :: map成员变量的类的下标运算符

4 个答案: