我正在学习一些多态性。
rust 地址的 wiki 页面trait是一种实现 ad hoc polymorphism 的方法，而 ad hoc polymorphism 的页面说是ad hoc 多态function overloading的一个例子。
根据我目前的理解水平，如果提供不同类型的参数将调用不同的实现，则函数是临时多态的。但是看起来如此不同：在类型参数上添加约束trait，任何类型实现都是可以接受的，而函数重载在具体类型上重载，任何未重载的类型都是不可接受的。function overloadingtraittrait
我可以说trait并function overloading实现相反方向的临时多态性吗？正如trait专业化和overloading泛化一样？
PS：在c++中，模板特化也可以根据传入的类型参数提供不同的实现，这也是ad hoc多态的一个例子吗？
实现特征涉及提供行为的实现，该行为是特定于类型的并且与其他实现分开（“ad hoc”），并且可以在调用站点以与其他实现相同的拼写方式调用（“多态”） . 它与函数重载的方向相同。
在 C++ 中，您可以提供重载来实现临时多态性：
void foo(const X&) { ... }
void foo(const Y&) { ... }
// can call foo(z) where z is an X or a Y
你可以对 Rust 中的特征做同样的事情：
trait Foo { fn foo(); }
impl Foo for X { ... }
impl Foo for Y { ... }
// can call z.foo() where z is an X or a Y
我认为您所指的“其他方向”是能够通过类型支持的行为来限制泛型。在 Rust 中，这看起来像：
fn bar<T: Foo>(t: T) { ... }
// bar can use t.foo()
C++ 有一个类比：
template<typename T> concept Foo = requires(T t) { foo(t); };
void bar(Foo auto& t) { ... }
// bar can use foo(t)
// (this uses really new C++, it's written differently in older C++)
受约束的泛型函数不是临时多态性，因为它们有一个实现，适用于所有实现对它们的任何要求的参数类型。
总而言之，traits 为泛型函数提供了特殊的多态性和约束，并且像 C++ 这样的一些语言使用不同的设备来实现相同的目的。C++ 中的临时多态性通常通过函数重载来实现。模板专业化也可以实现。