在Trait定义中使用impl Trait

Question

是否可以将traits中的函数定义为具有impl Trait返回类型？我想创建一个可以由多个结构实现的特征,以便new()所有这些特征的函数返回一个对象,它们都可以以相同的方式使用,而无需编写特定于每个结构的代码.

trait A {
    fn new() -> impl A;
}

但是,我收到以下错误:

impl Trait 不允许在函数和固有方法返回类型之外

这只是impl TraitRust 当前实现的限制还是我使用它错了？

Answer 1

正如trentcl所提到的,你目前无法置于impl Trait特质方法的返回位置.

来自RFC 1522:

impl Trait只能在独立或固有impl函数的返回类型中编写,而不是在特征定义或任何非返回类型的位置.它们也可能不会出现在闭包特征或函数指针的返回类型中,除非它们本身是合法返回类型的一部分.

• 最终,我们希望允许在特征中使用该特征[...]

现在,您必须使用盒装特征对象:

trait A {
    fn new() -> Box<dyn A>;
}

也可以看看:

• 是否可以在特征中使用构造函数？
• 为什么特质不能自我构建？
• 如何从方法返回特征实例？

Answer 2

如果您只需要返回当前正在实施特征的特定类型,您可能正在寻找Self.

trait A {
    fn new() -> Self;
}

例如,这将编译:

trait A {
    fn new() -> Self;
}

struct Person;

impl A for Person {
    fn new() -> Person {
        Person
    }
}

或者,更完整的例子,展示使用特征:

trait A {
    fn new<S: Into<String>>(name: S) -> Self;
    fn get_name(&self) -> String;
}

struct Person {
    name: String
}

impl A for Person {
    fn new<S: Into<String>>(name: S) -> Person {
        Person { name: name.into() }
    }

    fn get_name(&self) -> String {
        self.name.clone()
    }
}

struct Pet {
    name: String
}

impl A for Pet {
    fn new<S: Into<String>>(name: S) -> Pet {
        Pet { name: name.into() }
    }

    fn get_name(&self) -> String {
        self.name.clone()
    }
}

fn main() {

    let person = Person::new("Simon");
    let pet = Pet::new("Buddy");

    println!("{}'s pets name is {}", get_name(&person), get_name(&pet));
}

fn get_name<T: A>(a: &T) -> String {
    a.get_name()
}

操场

作为旁注..我在String这里使用赞成&str引用..减少对显式生命期的需要,并可能失去对手头问题的关注.我相信&str在借用内容时返回引用通常是惯例,这似乎是合适的.但是我不想过多地分散实际的例子.

Answer 3

通过显式命名返回类型，即使在不返回“ Self”的情况下，也可以获得类似的结果。

trait B {}
struct C;

impl B for C {}

trait A {
    type FReturn: B;
    fn f() -> Self::FReturn;
}

struct Person;

impl A for Person {
    type FReturn = C;
    fn f() -> C {
        C
    }
}