如何构造std::pair<const K&, V&>？自定义MyPair类转换问题

我正在编写一个自定义Pair类（原因是即使U和V均为平凡可拷贝类型，std::pair<U,V>也并非平凡可拷贝）。该类定义如下：

#include <concepts>
#include <functional>
#include <type_traits>
#include <utility>

template <typename T>
concept MemCopyable = std::is_same_v<std::remove_cvref_t<T>, T> &&
    std::is_trivially_copyable_v<T> && (sizeof(T) % alignof(T) == 0);

template <MemCopyable K, MemCopyable V> struct MyPair {
  K first;
  V second;
};

我需要实现一个转换运算符，将MyPair<K, V>转换为std::pair<const K&, V&>。尝试了多种写法但均失败，包括：

operator std::pair<const K&, V&> () const noexcept {
  return {first, second};
}

operator std::pair<const K&, V&> () const noexcept {
  return {std::cref(first), std::ref(second)};
}

operator std::pair<const K&, V&> () const noexcept {
  return std::pair<const K&, V&>{first, second};
}

operator std::pair<const K&, V&> () const noexcept {
  return std::pair<const K&, V&>(std::cref(first), std::ref(second));
}

operator std::pair<const K&, V&> () const noexcept {
  return std::pair<const K&, V&>(std::cref(first).get(), std::ref(second).get());
}

请问正确的转换写法是什么？

你的核心问题在于const成员函数的限制：在const修饰的转换运算符中，second的类型是const V&，无法绑定到std::pair要求的V&（非const引用）类型。

要实现需求，需要区分非const对象和const对象的转换逻辑，提供两个重载的转换运算符：

1. 对于非const的MyPair，可以返回std::pair<const K&, V&>（允许修改second）
2. 对于const的MyPair，只能返回std::pair<const K&, const V&>（无法修改任何成员）

完整实现代码如下：

template <MemCopyable K, MemCopyable V> struct MyPair {
  K first;
  V second;

  // 非const对象的转换：允许绑定second的非const引用
  operator std::pair<const K&, V&>() noexcept {
    return {std::cref(first), std::ref(second)};
    // 等价写法：return std::pair<const K&, V&>(first, second);
  }

  // const对象的转换：只能绑定const引用
  operator std::pair<const K&, const V&>() const noexcept {
    return {first, second};
    // 等价写法：return {std::cref(first), std::cref(second)};
  }
};

关键说明 #

• 非const版本的转换运算符不能加const修饰，这样second是V&类型，可以正常绑定到std::pair的V&成员。
• 使用std::cref和std::ref是为了明确传递引用语义，避免触发值拷贝（直接传递first/second在非const版本中也能正确推导引用类型）。
• 如果你的场景中只需要处理非const的MyPair，可以只保留第一个转换运算符，去掉const修饰即可解决之前的编译错误。

内容的提问来源于stack exchange，提问作者frozenca