c++ - 以指针为键的 map 的 value_type

Question

据我所知，C++ 定义了 map<a,b>::value_type作为pair<const a,b>

如果我在 map 中使用指针类型作为键类型会发生什么，即是

std::map<const char*,int>::value_type::first_type = const char*

正如我从上面的定义中所期望的那样

std::map<const char*,int>::value_type::first_type = const char* const

这样会更合乎逻辑(因为否则我将被允许从映射迭代器更改键值)？

Answer 1

您的推理是正确的，value_type::first 将是 char const * const。

当 T 是 type * 时，认为 const T 是 const type *，但事实并非如此。与宏不同，typedef 不是文本替换，也不是模板参数。当你执行 const T 时，如果 T 是一个 typedef 或模板参数，你将添加一个 const 到整体打字。

这就是为什么我喜欢在类型的右侧编写 const 的原因之一，因为这样可以减少混淆:T const *，添加一个额外的常量，获取 T const * const。