如何检查通用类型是否实现了通用特质？

Question

如何检查通用类型是否实现了通用特质？

3

我想在不创建对象的情况下检查一个类型是否实现了一个trait。但是它无法编译通过。请参见代码中的注释。那么我应该怎么做才能达到我的目标？

#![feature(specialization)]

struct T1;
struct T2;

trait A {}

impl A for T1 {}

trait Get_Static<TraitType> {
    fn has_trait() -> bool ;
}
default impl<TraitType, T> Get_Static<TraitType> for T
{
    fn has_trait() -> bool { false }
}
impl<TraitType, T> Get_Static<TraitType> for T where T:TraitType
{
    fn has_trait() -> bool { true }
}//Compiler complains TraitType is not a trait but type parameter

fn main() {
    if <T1 as Get_Static>::<A>::has_trait() {println!("{}", true)} else {println!("{}", false)}
    if <T2 as Get_Static>::<A>::has_trait() {println!("{}", true)} else {println!("{}", false)}
//This is surely wrong syntax but I don't know the right syntax
}

- 炸鱼薯条德里克

有 Unsize 可以检查一个类型是否实现了一个 trait；不幸的是，这是我找到的最远的进展。 - Matthieu M.

@MatthieuM。它仍然无法编译，我不知道<T1 as GetStatic<A>>是什么意思，你是在创建对象还是直接调用“非实例”方法？因为我真的不想要一个T对象... - 炸鱼薯条德里克

如果它编译通过，我就会发布答案。我提到“至少完成到了哪里”是有原因的 :) 我希望有人能够接手并开始推进。至于 <Type as Trait>，它是一种通用语法，用于获取Type的 Trait 实现，然后允许您调用 Trait 的相关函数；在您的情况下，您正在请求 T1 实现的 GetStatic<A> trait，因此使用 <T1 as GetStatic<A>>。 - Matthieu M.

@MatthieuM。尝试：trait GetStatic<TraitType: ?Sized> {…} - Stefan

@Stefan：哎呀！ - Matthieu M.

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Matthieu M. · Accepted Answer

警告：这个解决方案已经无法在最近的夜间版本（2022年1月）中使用，而且不知道它停止工作的时间。

感谢 Stefan 平滑了最后一个皱纹。

<T2 as Get_Static>::<A>::has_trait()

  //This is surely wrong syntax but I don't know the right syntax

这里尝试调用：

一个与特定类型相关联的trait函数，
针对该类型进行了实现。

语法为<Type as Trait>::associated_function()。在本例中，Type是T1，Trait是Get_Static<A>，因此应该是：

<T2 as Get_Static<A>>::has_trait()

impl<TraitType, T> Get_Static<TraitType> for T where T:TraitType
{
    fn has_trait() -> bool { true }
}
//Compiler complains TraitType is not a trait but type parameter

直接指定 TraitType 为 trait 是不可能的，但是可以使用 Unsize 标记来检查是否满足 T: Unsize<TraitType>，这对我们的目的已经足够。

这需要进行以下三个更改：

启用夜间特性 #![feature(unsize)]，因为 Unsize 标记是不稳定的，
允许 Get_Static 泛型参数为 ?Sized，因为 trait 是无大小的，
在实现中使用 T: Unsize<TraitType> 作为约束条件。

总之，这意味着：

#![feature(specialization)]
#![feature(unsize)]

trait GetStatic<TraitType: ?Sized> {
    fn has_trait() -> bool ;
}

default impl<TraitType: ?Sized, T> GetStatic<TraitType> for T {
    fn has_trait() -> bool { false }
}

impl<TraitType: ?Sized, T> GetStatic<TraitType> for T 
    where
        T: std::marker::Unsize<TraitType>
{
    fn has_trait() -> bool { true }
}

然后被用作：

struct T1;
struct T2;

trait A {}

impl A for T1 {}

fn main() {
    println!("{}", <T1 as GetStatic<A>>::has_trait());
    println!("{}", <T2 as GetStatic<A>>::has_trait());
}

在游乐场上看它如何运作