模板类映射建立在结构的 stl::vector 上 - 查找无效键 (stl::string) 并抛出异常

Question

如标题所示，我正在尝试编写一个基于结构向量的模板类映射，其中我持有作为字符串的键和模板类型的值。有一个简短的主程序代表我的类的用法：

int main()
{
  map<int> iv;

  iv["john"] = 23;

  int ia = iv["john"]++;
  int ib = iv["john"];

  cout << ia << " " << ib << endl; // prints 23 24
  try{
  int ic = iv["jack"];  // should throw an exception
  }catch(map<int>::Uninitialized&)
  {
    cout << "Uninitialized map element!" << endl;
  };
}

还有我写过的课程：

class map
{
private:
  struct FIELD
  {
    string key;
    TYPE value;
  };
  vector<FIELD> data;
public:
  TYPE& operator[] (const string index)
  {
    typename vector<FIELD>::iterator idx;
    for(idx = data.begin(); idx != data.end(); ++idx)
    {
      if(idx->key == index)     return idx->value;
    }
    if(idx == data.end())
    {
      FIELD toAdd;
      toAdd.key = index;
      data.push_back(toAdd);
    }
    for(idx = data.begin(); idx != data.end(); ++idx)
    {
      if(idx->key == index) return idx->value;
    }
    return idx->value;
  }
};

它只适用于像 `iv["john"] = 23; 这样的赋值操作 但是当我尝试读取未初始化的元素时， operator[] 创建仅包含键的新元素，这是错误的。我知道没有像检查值是否未初始化这样的事情。问题是写入和读取操作都调用 operator[] ，我不太明白在这种情况下如何抛出异常。 我浏览了整个网络，发现我可以创建两个索引运算符，一个用于读取，一个用于写入 - 像这样：

TYPE& operator[] (const string index)
TYPE operator[] (const stirng index) const;

编译器会知道什么时候使用哪个。但我想这根本解决不了问题。

Answer 1

不要尝试重新实现std::map，而是为其创建一个别名：

template<class Type>
using map = std::map<std::string, Type>;

记住不要导入using namespace std;，因为it is considered 不好的做法在这种情况下你会遇到名称冲突。

是的，std::map::operator[] 总是在地图内创建一个元素。如果元素不存在，您可以使用std::map::at 使其抛出异常std::out_of_range，或使用map.find(key) == map.end() 进行检查。

你的主要会变成：

int main() {
    map<int> iv;
    iv["john"] = 23;

    int ia = iv["john"]++;
    int ib = iv["john"];

    std::cout << ia << " " << ib << std::endl; // prints 23 24
    try {
        int ic = iv.at("jack");
        //         ^^^^      ^
    } catch(const std::out_of_range&) {
    //      ^^^^^^^^^^^^^^^^^^^^^^^^
        std::cout << "Uninitialized map element!" << std::endl;
    };
}