是否有可能“固化”？没有 hack 的 `std::pair` 字段？

Question

在 C++ 中，编译以下代码：

std::pair <int, int>  x;
static_cast <std::pair <const int, int>*> (&x);

给出错误：

error: invalid static_cast from type ‘std::pair<int, int>*’ to type ‘std::pair<const int, int>*’

我或多或少理解为什么会发生这种情况，因为原则上，对模板参数列表中的类型进行 cv 限定可以给出“不兼容”的结果。即使在这种情况下它不存在，编译器也无法知道它。

无论如何，有没有一种非黑客的方式来执行此转换？我对使用 reinterpret_cast 进行任何操作都持谨慎态度，就像我之前遇到过类型双关问题一样。另外，我不能使用临时变量，因为这是性能关键的代码。

编辑：

这就是我正在做的事情。我正在实现一个与 std::unordered_map 兼容的自定义容器接口。因此，其 value_type 需要是一个对。对于某些优化，我需要在内部将值存储为pair，而不使用const。但是，如果我这样做，我就无法（没有reinterpret_cast）在容器上实现迭代器，因为它们需要返回对值的引用，而我只有对这些非常量对的引用。

Answer 1

这不是强制转换，但您可以执行以下操作：

std::pair<int, int>  x;
std::pair<const int, int> y( x );

这应该根据 §20.2.2/4 进行。

Answer 2

这个怎么样：

template< typename T1, typename T2 >
struct ref_pair {
public:
    typedef const T1 first_type;
    typedef T2 second_type;

    ref_pair(first_type& f, second_type& s) : f_(f), s_(s) {}

    first_type& first() {return *f_;}
    second_type& second() {return *s_;}
private:
    first_type* f_;
    second_type* s_;
};

我知道，这是不同的，那些是功能。如果你真的很绝望，你可以将 first 和 second 转换为某种代理类型的对象，延迟评估 *f_ 和 *s_。
然而，最终用户总有办法区分它们。

---

我认为以下内容是相当安全和可移植的，当然，使用reinterpret_cast没有任何保证：

std:::pair<const int,int>& rx = reinterpret_cast<std:::pair<const int,int>&>(x);

不过它感觉很脏。我现在要去洗手。