Question

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

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

Hash（）运算符和比较运算符==和＆lt;已定义。

当我将这些值传递给标准库函数（如partial_sort_copy，partial_sort和erase）时出现问题。出于某种原因，这些函数最终会尝试对给定类型进行赋值，最终因编译而无法编译。

有没有办法在矢量和对的模板类型上强制转换？即，将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>作为其分配器类型，并且Allocator要求说值类型必须是非const对象类型。

甚至忽略了......

有没有办法在矢量和对的模板类型上强制转换？即，将vector<const myType>投射到vector<myType>。

没有

一般来说，some_template<T>和some_template<const T>是完全不相关的类型，因此您无法在它们之间进行转换。与const some_template<T>和some_template<T>不同，它们之间没有有效的转化。

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

模板类型参数的C ++ constness

1 个答案: