为什么类型约束`std::convertible_to`只能与一个模板参数一起使用？

Question

class A {};
class B : public A {};

std::convertible_to<A, B>; // false
std::convertible_to<B, A>; // true

现在还有另一种可能的使用方法，我不太明白

void foo(std::convertible_to<A> auto x) { /* ... */ }

这个函数可以很容易地接受任何可转换为a的类型。这很奇怪，因为第一个模板参数（“from”）基本上被删除，并在函数调用时推导出来。下面的函数也可以工作，我很肯定它实际上与前面的函数等效

template<typename T, std::convertible_to<T> S>
void foo(S x) { /* ... */ }

同样，X的类型是在调用foo时推导出来的。

Answer 1

void foo( constraint<P0, P1, P2> auto x );

这大致相当于

template<contraint<P0, P1, P2> X>
void foo( X x );

大致翻译成

template<class X> requires constraint<X, P0, P1, P2>
void foo( X x );

请注意x类型是如何前置到约束的模板参数的。

template<typename T, std::convertible_to<T> S>
void foo(S x) { /* ... */ }

template<typename T, class S>
requires std::convertible_to<S, T>
void foo(S x) { /* ... */ }