与 const_cast 相反

Question

我有一个std::vector<int*> v并且我想防止进一步写入它。 C++ 编译器不接受这个

const std::vector<const int*>& w = v;

但它接受这个

const std::vector<const int*>& w = reinterpret_cast<const std::vector<const int*>&>(v);

后者确实适用于微软的编译器，这意味着v中的int*和w中的const int*在 memory 中具有相同的地址。

这是偶然的，作为一种未指定的行为，还是有效的 C++？ 它是否适用于向量内的所有类型，例如std::vector<std::shared_ptr<int>> ？ 如果无效，还有其他方法可以进行此转换吗？

我知道我也可以复制向量，但我想避免这种情况，因为我的向量很大。

Answer 1

这是未定义的行为。

std::vector<const int*>和std::vector<int*>是两个不同的类（由同一个模板生成，但这无关紧要）。 它们不能相互别名，并且您不能在它们之间reinterpret_cast 。

我的解决方案是使用std::span ：

const std::span s{const_cast<const int* const*>(v.data()), v.size()};

这将创建一个const std::span<const int* const> 。