C++自定义关联数组重载下标运算符，右值场景重载未被调用

你对下标运算符重载的作用理解存在偏差：operator[]的两个重载的区分依据是调用该方法的对象本身的const属性，和你使用返回值的场景（左值赋值/右值读取）无关。
你在main中定义的assocArray是普通非const对象，调用[]运算符时会优先匹配非const的V& operator[]重载，哪怕你只是读取返回值，也不会自动调用const版本。只有当调用[]的对象本身被const修饰时，才会匹配到const版本的V operator[]，触发找不到key抛异常的逻辑，这就是你没有收到异常、反而新增了key的根本原因。

• 方案1：只读访问时手动转为const对象触发const重载
  把需要只读查找的调用改为强制转const引用即可匹配到const版本的[]：

  std::cout << "[" << key << "] => " << static_cast<const decltype(assocArray)&>(assocArray)[key] << std::endl << std::endl;
  

• 方案2：单独新增只读查询接口（更推荐）
  给类加一个单独的at方法专门用于只读查询，语义更清晰，也不会和写入逻辑混淆：

  V at(const K& key) const {
      if (keyExists(key))
          return _valueArray[getExistingKeyIndex(key)];
      else
          throw std::out_of_range("Key does not exist");
  }
  

  后续只读查找直接调用assocArray.at(key)即可，不会触发新增key的逻辑。

• getExistingKeyIndex方法在key不存在时没有返回值，属于未定义行为，建议找不到key时直接抛出异常，避免运行时crash。
• 所有接收key的参数建议改为const K&类型，减少字符串等复杂类型的不必要拷贝。
• 数组扩容逻辑可以提前预分配更多空间，避免每次新增key都重新申请内存拷贝，如果你当前不追求效率可以后续再调整。

内容的提问来源于stack exchange，提问作者donnerluetjen