模板类型参数上的 C++ 常量

Question

我正在使用标准容器，例如 vector 和 pair，使用自定义类型作为模板参数。大多数情况下，这些模板类型是 const 限定的，如：

std::vector<const std::pair<const customType, const double>>

已经定义了Hash()运算符和比较运算符==和

当我将这些值传递给标准库函数（如 partial_sort_copy、partial_sort 和擦除）时，就会出现问题。出于某种原因，这些函数最终会尝试对给定类型进行分配，最终由于 const 导致编译失败。

有没有办法将 const 转换为 vector 和 pair 的模板类型？即，将vector<const myType> 转换为vector<myType>。

提前致谢。

编辑：现在最小示例代码有冲突！

// Non-working code:
std::vector<const std::pair<const int, const double>> list{ { 3, 3. }, { 2, 2. }, { 1, 1. }, { 0, 0. } };
std::partial_sort(list.begin(), list.begin() + 2, list.end(), [](const std::pair<const int, const double>& x, const std::pair<const int, const double>& y){ return x.first < y.first; });

// This works, actually:
std::vector<std::pair<int, double>> list{ { 3, 3. }, { 2, 2. }, { 1, 1. }, { 0, 0. } };
std::partial_sort(list.begin(), list.begin() + 2, list.end(), [](const std::pair<int, double>& x, const std::pair<int, double>& y){ return x.first < y.first; });

标准库不喜欢我的代码的哪些方面？

Answer 1

这种 const 类型的容器是未定义的行为。 std::vector<const T> 使用 std::allocator<const T> 作为其分配器类型，并且分配器要求规定值类型必须是非常量对象类型。

即使忽略...

有没有办法将 const 转换为向量和对的模板类型？即，将vector<const myType> 转换为vector<myType>。

没有。

一般some_template<T> 和some_template<const T> 是完全不相关的类型，所以你不能在它们之间进行转换。与const some_template<T> 和some_template<T> 不同，它们之间没有有效的转换。

所以你应该停止使用 const 对象的向量。而是使用非常量对象的 const 向量。