Was bedeutet die Konstruktion `let x = x;` in Rust und wozu dient sie?

Hallo zusammen! Ich habe angefangen, Rust zu lernen, und bin in fremdem Code auf eine seltsame Konstruktion gestoßen:\n\n```rust\nlet x = 5;\nlet x = x;\n```\n\nWas ist das überhaupt? Warum sollte man eine Variable sich selbst neu zuweisen? Ist das Magie oder ein Bug? Ich habe versucht, diesen Code auszuführen, und er funktioniert, aber ich verstehe den Sinn nicht.\n\nHat es vielleicht etwas mit Veränderlichkeit (mutability) zu tun? Zum Beispiel habe ich diesen Code gesehen:\n\n```rust\nlet mut x = 10;\nlet x = x; // Ist x jetzt unveränderlich?\n```\n\nOder ist es einfach eine Möglichkeit, die Variable "zurückzusetzen"? Bitte erklärt es mir als Anfänger. Ich habe bereits über Shadowing gelesen, aber hier ist es eine seltsame Form, bei der Name und Wert übereinstimmen. Hat das eine praktische Anwendung, oder ist es nur eine redundante Schreibweise?\n\nDanke im Voraus!\n<<>>\n

Kurze Antwort

\n

Die Konstruktion let x = x; in Rust ist ein Spezialfall des Shadowing einer Variable. Sie erzeugt eine neue Variable mit demselben Namen, aber anderen Eigenschaften (Veränderlichkeit, Typ, Gültigkeitsbereich).