为什么std::map::operator[]赋值要求值类型具备无参构造函数？

1. operator[]要求值类型具备无参构造的原因 #

std::unordered_map的operator[]核心语义是：如果查询的键不存在，会自动插入一个默认构造的值类型对象，再返回该对象的左值引用。
你写的ab[1] = B(3)是两个步骤的组合：

1. 执行ab[1]：检查键1是否存在，不存在则默认构造一个B对象插入，返回该对象的引用
2. 执行赋值：把临时对象B(3)赋值给第一步返回的B对象引用
   C++是静态类型语言，编译器会在编译阶段检查所有可能的执行路径的合法性：哪怕你实际运行时键1必然存在，编译器也必须覆盖「键不存在需要默认构造」的分支，所以强制要求值类型必须具备无参构造函数，否则编译直接失败。

2. insert不需要无参构造的原因 #

insert方法的语义是直接插入你已经构造完成的完整键值对，全程不会触发值类型的默认构造逻辑：
你传入的std::pair<int, B>(1, B(3))本身已经完成了B对象的构造，insert只需要调用值类型的拷贝/移动构造，把你传入的对象存入容器的内存空间即可，自然不需要值类型具备无参构造函数。

3. 附加问题解释 #

你原有代码中的m_orbits[&p]同样调用了unordered_map的operator[]，触发了和上述第一点完全一致的检查逻辑：编译器需要保证当键&p不存在时，可以默认构造一个Orbit对象插入，所以强制要求Orbit类具备无参构造函数，和你后续是否调用positionAtTime没有关系。
如果你可以100%确保键&p一定存在，不想额外增加无参构造的要求，可以把m_orbits[&p]替换为m_orbits.at(&p)：at方法只会做存在性检查，不存在直接抛出std::out_of_range异常，不会自动插入默认对象，因此不需要值类型具备无参构造函数。

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