std::assignable_from 可能实现背后的基本原理

Question

我有几个关于std::assignable_from 行为的问题。 Cppreference 建议如下实现：

template< class LHS, class RHS >
concept assignable_from =
  std::is_lvalue_reference_v<LHS> &&
  std::common_reference_with<
    const std::remove_reference_t<LHS>&,
    const std::remove_reference_t<RHS>&> &&
  requires(LHS lhs, RHS&& rhs) {
    { lhs = std::forward<RHS>(rhs) } -> std::same_as<LHS>;
  };

问题是第二个要求的目的是什么，即

std::common_reference_with<
    const std::remove_reference_t<LHS>&,
    const std::remove_reference_t<RHS>&>

谁能详细说明此要求并提供一些示例？

如果上下文很重要，我正在尝试从this post 学习 C++20 概念。我的问题与其中的一个具体示例有关：

template <typename D, std::integral T>
requires std::assignable_from<D, T>
void assign_the_thing(D& dest, T&& x)
{
    dest = std::forward<T>(x);
}

但是，无论如何，我怀疑这是否是使用assignable_from 的正确方法。

Answer 1

common_reference_with 要求基本上确保存在一些常见的中间类型，通过它我们可以推断混合类型赋值的含义。它实现了赋值后“lhs 等于rcopy”的语义要求，因为否则我们无法真正说出不同类型的两个值相等意味着什么。

---

此外，我们对概念的定义通常不是“可能的实现”。它们正是工作文件所说的。