Warum implementiert ein `impl Trait` Rückgabewert Send, während` Box <dyn Trait> `dies nicht tut?

5
Delta_Fore 2019-11-26 07:34.

Die Lösung von Wie speichere ich eine Variable vom Typ "impl Trait" in einer Struktur? schlägt vor, ein FutureMerkmalsobjekt zu erstellen . Wenn Sie dies in meinem realen Code tun, wird ein Fehler generiert, der nicht der Typ ist Send, aber der einzige Unterschied zwischen der funktionierenden und der nicht funktionierenden Version ist das Vorhandensein oder Fehlen der Umwandlung in dyn Future.

Warum sieht der Compiler diese anders und wie löse ich das Problem?

Hier ist eine vereinfachte Version des Problems:

use std::future::Future;

fn uses_impl_trait() -> impl Future<Output = i32> {
    async { 42 }
}

fn uses_trait_object() -> Box<dyn Future<Output = i32>> {
    Box::new(async { 42 })
}

fn requires_send<T: Send>(_: T) {}

fn example() {
    requires_send(uses_impl_trait()); // Works
    requires_send(uses_trait_object()); // Fails
}
error[E0277]: `dyn std::future::Future<Output = i32>` cannot be sent between threads safely
  --> src/lib.rs:15:19
   |
11 | fn requires_send<T: Send>(_: T) {}
   |    -------------    ---- required by this bound in `requires_send`
...
15 |     requires_send(uses_trait_object());
   |                   ^^^^^^^^^^^^^^^^^^^ `dyn std::future::Future<Output = i32>` cannot be sent between threads safely
   |
   = help: the trait `std::marker::Send` is not implemented for `dyn std::future::Future<Output = i32>`
   = note: required because of the requirements on the impl of `std::marker::Send` for `std::ptr::Unique<dyn std::future::Future<Output = i32>>`
   = note: required because it appears within the type `std::boxed::Box<dyn std::future::Future<Output = i32>>`

Durch das Senden von Merkmalsobjekten zwischen Threads in Rust weiß ich bereits, dass ich das Merkmalsobjekt in ändern kann Box<dyn Future<Output = i32> + Send>, aber warum besteht dieser Unterschied?

1 answers

2
Shepmaster 2019-11-27 02:05.

Aus ergonomischen Gründen. RFC 1522, konservatives impl-Merkmal , erörtert speziell diese Entwurfsentscheidung:

OIBITs lecken durch einen abstrakten Rückgabetyp. Dies kann als kontrovers angesehen werden, da es effektiv einen Kanal öffnet, in dem das Ergebnis der Inferenz des funktionslokalen Typs die API auf Elementebene beeinflusst, dies jedoch aus folgenden Gründen als sinnvoll erachtet wurde:

  • Ergonomie: Trait Objekte haben bereits das Thema explizit zu müssen declare Send/ Sync-Fähigkeit, und dieses Problem nicht zu abstrakt Rückgabetypen erstreckt , ist wünschenswert. In der Praxis müssten die meisten Anwendungen dieser Funktion explizite Grenzen für OIBITS hinzufügen, wenn sie maximal nutzbar sein sollen.

  • Geringe reale Änderung, da die Situation bei Strukturen mit privaten Feldern bereits etwas besteht:

    • In beiden Fällen kann sich durch eine Änderung der privaten Implementierung geändert werden, ob ein OIBIT implementiert ist oder nicht.
    • In beiden Fällen ist das Vorhandensein von OIBIT-Impls ohne Dokumentationstools nicht sichtbar
    • In beiden Fällen können Sie die Existenz von OIBIT-Impls nur durch Hinzufügen expliziter Merkmalsgrenzen entweder zur API oder zur Testsuite der Kiste bestätigen.

Tatsächlich bestand ein großer Teil des Ziels von OIBITs darin, Abstraktionsbarrieren zu überwinden und Informationen über einen Typ bereitzustellen, ohne dass sich der Autor des Typs explizit dafür entscheiden muss.

Dies bedeutet jedoch, dass es als stille Änderung angesehen werden muss, um eine Funktion mit einem abstrakten Rückgabetyp so zu ändern, dass OIBIT-Impls entfernt werden, was ein Problem sein kann. (Wie oben erwähnt, ist dies bei structDefinitionen bereits der Fall .)

Da die Anzahl der verwendeten OIBITs jedoch relativ gering ist, wurde die Ableitung des Rückgabetyps in einem Funktionskörper und die Überlegung, ob ein solcher Bruch auftreten wird, als überschaubarer Arbeitsaufwand angesehen.

Siehe auch:

  • Was ist ein Auto-Merkmal in Rust?

Related questions

MORE COOL STUFF

Cate Blanchett schlief nach 3 gemeinsamen Tagen mit ihrem Ehemann und ist 25 Jahre später immer noch mit ihm verheiratet

Cate Blanchett schlief nach 3 gemeinsamen Tagen mit ihrem Ehemann und ist 25 Jahre später immer noch mit ihm verheiratet

Cate Blanchett widersetzte sich typischen Dating-Ratschlägen, als sie ihren Ehemann traf.

Warum Michael Sheen ein gemeinnütziger Schauspieler ist

Warum Michael Sheen ein gemeinnütziger Schauspieler ist

Michael Sheen ist ein gemeinnütziger Schauspieler, aber was genau bedeutet das?

Hallmark-Star Colin Egglesfield sorgt für spannende Fan-Begegnungen bei RomaDrama Live! [Exklusiv]

Hallmark-Star Colin Egglesfield sorgt für spannende Fan-Begegnungen bei RomaDrama Live! [Exklusiv]

Hallmark-Star Colin Egglesfield sprach über spannende Fan-Begegnungen bei RomaDrama Live! plus sein INSPIRE-Programm auf der Convention.

Warum Sie „Northern Exposure“ nicht online streamen können

Warum Sie „Northern Exposure“ nicht online streamen können

Sie müssen einen Blu-ray- oder DVD-Player abstauben, um zu sehen, warum Northern Exposure zu einer der beliebtesten Shows der 90er Jahre wurde.

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

Werfen Sie diese Pappröhren nicht weg! 10 Möglichkeiten, sie wiederzuverwenden

Werfen Sie diese Pappröhren nicht weg! 10 Möglichkeiten, sie wiederzuverwenden

Werfen Sie Ihr Papierhandtuch, Toilettenpapier und Geschenkpapierrollen nicht in den Müll. Geben Sie ihnen stattdessen mit einem dieser 10 Hacks ein zweites Leben.

Schlafen Fische?

Schlafen Fische?

Es ist schwer vorstellbar, dass Nemo im Great Barrier Reef ein paar Zs fängt. Aber Fische brauchen Ruhe. Schlafen sie so wie wir?

Spenden Sie Ihr Haar, um unser Wasser sauber zu halten

Spenden Sie Ihr Haar, um unser Wasser sauber zu halten

Haarteile aus Salons und persönliche Spenden können als Matten wiederverwendet werden, die Ölverschmutzungen aufsaugen und zum Schutz der Umwelt beitragen.

Angesichts der bevorstehenden Umweltkatastrophen entscheiden sich viele für eine kinderlose Zukunft

Angesichts der bevorstehenden Umweltkatastrophen entscheiden sich viele für eine kinderlose Zukunft

Bild einer deutschen Entbindungsstation über Getty. In den letzten zehn Jahren waren die Geburtenraten in der U.

Der Leiter des Verbraucherschutzes von Präsident Trump schert sich nicht um die Untersuchung der Equifax-Verletzung

Der Leiter des Verbraucherschutzes von Präsident Trump schert sich nicht um die Untersuchung der Equifax-Verletzung

Foto: Getty In jeder normalen Gesellschaft würden die Spitzenmanager von Equifax vor den Kongress gezerrt, viele ins Gefängnis geworfen, das Unternehmen geschlossen und alle Vermögenswerte des Unternehmens beschlagnahmt. Aber wir leben nicht in einer normalen Gesellschaft, was heute noch deutlicher geworden ist.

Wir machen diesen Februar alle Liegestütze

Wir machen diesen Februar alle Liegestütze

Bild aus der Staatsbibliothek von Victoria. Bereit für das nächste Kapitel der Lifehacker Fitness Challenge? Im Januar haben wir an Klimmzügen gearbeitet, auf welcher Ebene auch immer für jeden von uns.

Kool-Aid, Steak-Umms oder Ramen-Nudeln: Nur 1 kann überleben. Welche wählen Sie aus?

Kool-Aid, Steak-Umms oder Ramen-Nudeln: Nur 1 kann überleben. Welche wählen Sie aus?

Oben: iStock; unten: Steak-umm Fleisch YouTube-Screenshot Sie sind zuverlässige Grundnahrungsmittel, obwohl sie mehr mit tatsächlichen Grundnahrungsmitteln gemeinsam haben als jede Lebensmittelgruppe. Köstliche Optionen an der Kreuzung von "Das ist höllisch lecker" und "Warten".

Tudor Dixon gewinnt Michigan GOP Primary und trifft nun auf die amtierende Demokratin Gretchen Whitmer

Tudor Dixon gewinnt Michigan GOP Primary und trifft nun auf die amtierende Demokratin Gretchen Whitmer

Tudor Dixon hat am Dienstag die Vorwahlen von Michigan zum Gouverneur gewonnen, nachdem er eine späte Bestätigung des ehemaligen Präsidenten Donald Trump erhalten hatte

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Rothschild's luggage got lost, but luckily she has an incredible closet to shop: Sister Paris Hilton's!

Kate Middleton verbringt einen Tag am Wasser in London, plus Jennifer Lopez, Julianne Hough und mehr

Kate Middleton verbringt einen Tag am Wasser in London, plus Jennifer Lopez, Julianne Hough und mehr

Kate Middleton verbringt einen Tag am Wasser in London, plus Jennifer Lopez, Julianne Hough und mehr. Von Hollywood bis New York und überall dazwischen, sehen Sie, was Ihre Lieblingsstars vorhaben!

17-Jähriger erstochen, während 4 weitere bei einem Messerangriff am Wisconsin River verwundet wurden

17-Jähriger erstochen, während 4 weitere bei einem Messerangriff am Wisconsin River verwundet wurden

Die Ermittler prüfen, ob sich die Gruppe und der Verdächtige vor dem Angriff kannten

Start- und Landebahnen

Start- und Landebahnen

Spätsommer und Herbst sind nostalgische Jahreszeiten. Straßenlaternen werfen ihr Licht über regennasse Straßen, und die Blätter unter den Füßen – gedämpft rot-orange im Schatten der Dämmerung – erinnern an vergangene Tage.

Stellen Sie sich vor, Sie erstellen eine Inhaltsstrategie, die tatsächlich KONVERTIERT. Es ist möglich.

Stellen Sie sich vor, Sie erstellen eine Inhaltsstrategie, die tatsächlich KONVERTIERT. Es ist möglich.

Im Jahr 2021 ermutige ich Sie, alles zu überdenken, was Sie über die Kunden, die Sie bedienen, und die Geschichten, die Sie ihnen erzählen, wissen. Zurücktreten.

Ein Mammutverlust öffnete mein Herz für die Liebe

Ein Mammutverlust öffnete mein Herz für die Liebe

Am Tag des 9. Geburtstags von Felix The Cat erinnere ich mich an einen der größten Verluste meines Erwachsenenlebens – meine Sophie im Jahr 2013. Ich habe diesen Essay geschrieben und ihn kurz im Jahr 2013 auf dieser Plattform geteilt.

Wenn Sie nicht die Person sein können, die das Internet von Ihnen will

Wenn Sie nicht die Person sein können, die das Internet von Ihnen will

Ich hasse das Wort „Zugwrack“. Die Menschen trösten sich mit ihrem eigenen moralischen Kompass und treffen dabei auf ein Urteil.

Language