c++ - 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 ”的语义要求，因为否则我们无法真正说出两个不同类型的值相等意味着什么。

<小时/>

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