Dlaczego `Self` nie może być użyty w odniesieniu do wariantu wyliczeniowego w treści metody?

Question

Poniższy kod Rust nie kompilacji:

enum Foo { 
    Bar, 
} 

impl Foo { 
    fn f() -> Self { 
     Self::Bar 
    } 
} 

Komunikat o błędzie mnie dezorientuje:

error[E0599]: no associated item named `Bar` found for type `Foo` in the current scope 
--> src/main.rs:7:9 
    | 
7 |   Self::Bar 
    |   ^^^^^^^^^ 

Problemem mogą być mocowane za pomocą Foo zamiast Self, ale wydaje mi się dziwne, ponieważ Self ma odnosić się do wprowadzanego typu (ignorowanie cech), który w tym przypadku jest Foo.

enum Foo { 
    Bar, 
} 

impl Foo { 
    fn f() -> Self { 
     Foo::Bar 
    } 
} 

Dlaczego w tej sytuacji nie można zastosować Self? Gdzie dokładnie można użyć Self^*? Czy jest coś jeszcze, czego mogę użyć, aby uniknąć powtarzania nazwy typu w treści metody?

^{* Ignoruję użycie w cechach, gdzie Self odnosi się do dowolnego typu implementuje tę cechę.}

Answer 1

Konstruktory Enum! = Powiązane elementy.

Jest to znany issue, ale nie należy go naprawiać, przynajmniej nie w przewidywalnej przyszłości. Z tego, co zebrałem, nie jest łatwe, aby pozwolić na to, by działało; w tym momencie jest bardziej prawdopodobne, że poprawiona zostanie powiązana dokumentacja lub komunikat o błędzie.

Istnieje niewiele dokumentacji, które można znaleźć na temat powiązanych elementów ogólnie; The Rust Book ma jednak rozdział o associated types. Ponadto istnieje wiele dobrych odpowiedzi na temat Self w this related question.

Answer 2

Jeśli nazwa enum Foo w rzeczywistości jest długa i chcesz uniknąć powtarzania go przez życie, masz dwie opcje:

• use LongEnumName as Short na poziomie modułu. To pozwoli ci zwrócić Short::Bar pod koniec f.
• use LongEnumName::* na poziomie modułu, umożliwiając jeszcze krótszy Bar.

Jeśli pominiesz pub, import będzie wewnętrzny i nie wpłynie na publiczny interfejs API modułu.

Answer 3

Ważną rzeczą, na którą należy zwrócić uwagę, jest błąd związany z wymienionym elementem. enum Foo { Baz } nie ma powiązanych produktów. Cechą może mieć przypisaną przedmiot:

trait FooBaz { type Baz } 
//    ^~~~~~~~ - associated item 

Podsumowując:

Dlaczego nie Self może być stosowany w tej sytuacji?

Z powodu this issue.

Self wydaje się działać jako alias typu, aczkolwiek z pewnymi modyfikacjami.

Gdzie dokładnie można użyć Self?

Własna może być używana tylko w cechach i impl s. Ten kod:

struct X { 
    f: i32, 
    x: &Self, 
} 

Wyjścia następujące:

error[E0411]: cannot find type `Self` in this scope 
--> src/main.rs:3:9 
    | 
3 |  x: &Self, 
    |   ^^^^ `Self` is only available in traits and impls 

Jest to prawdopodobnie sytuacja tymczasowa i może ulec zmianie w przyszłości!

Dokładniej, należy stosować Self tylko część podpisu metodą (np fn self_in_self_out(&self) -> Self) lub dostępu przypisany typ:

enum Foo { 
    Baz, 
} 

trait FooBaz { 
    type Baz; 

    fn b(&self) -> Self::Baz; // Valid use of `Self` as method argument and method output 
} 


impl FooBaz for Foo { 
    type Baz = Foo; 

    fn b(&self) -> Self::Baz { 
     let x = Foo::Baz as Self::Baz; // You can use associated type, but it's just a type 
     x 
    } 
} 

myślę user4815162342 covered the rest of the answer best.