std::is_convertible 和 std::convertible_to 之间的区别（在实践中）？

Question

据en.cppreference.com（据我所知）：

• std::is_convertible 是一个 trait 类，要求类型 From 和 To 使得返回类型为 To 且返回 From 值的函数可以编译。
• std::convertible_to 是一个概念，要求 From 和 To 类型如上所述，AND 使得 From 类型的 r 值引用 可以是使用static_cast<To> 转换。

std::is_convertible 提出的要求似乎相对简单。相反，std::convertible_to 的 r 值引用 强制转换要求对于 C++20 功能的简单示例中显示的这种通用概念来说似乎有些奇怪。

作为 C++ 新手，我不太了解两个网页中提供的一些术语和部分补充说明，我无法想象两者的要求之间的确切区别。

一些相互关联的问题：

• 类型 From 和 To 不仅受到 std::is_convertible 的约束，而且还受到奇怪的 r 值引用转换要求的约束，这有什么实际意义？
• From 和 To 的哪些候选类型另外被 r 值参考转换要求拒绝？
• 为什么程序员可能希望使用std::is_convertible 或std::convertible_to 中的任何一个而不是另一个作为其函数返回类型或参数类型的约束（除了概念的便利性 )？

更简单的解释或示例会有所帮助。谢谢！

Answer 1

std::is_convertible<From, To>（类型特征）检查 From 类型是否隐式可转换为 To 类型。

std::convertible_to<From, To>（概念）检查From 是否隐式和显式可转换为To。这种情况很少见，这种类型很荒谬，但在泛型代码中很好，不必担心这种情况。

一个例子：

struct From;
struct To {
    explicit To(From) = delete;
};
struct From {
    operator To();
};

static_assert(std::is_convertible_v<From, To>);
static_assert(not std::convertible_to<From, To>);