概念定义

template<typename To, typename From>
concept assignable_from = is_lvalue_reference_v<To> &&
                          common_reference_with<const remove_reference_t<To>&, const remove_reference_t<From>&> &&
                          requires(To x, From&& y) {
                              { x = static_cast<From&&>(y) } -> same_as<To>;
                          }

详细描述

检查类型是否可以从另一个类型赋值

模板参数

To	目标类型
From	源类型

要求To是左值引用，并且可以将From的值赋给To。

在文件 concepts.hpp 第 142 行定义.