Mozillas Programmiersprache: Rust bedient sich bei der Konkurrenz

Gedacht ist Rust als schnellere und einfachere Alternative zu C und C++. Doch die Programmiersprache unterscheidet sich teils deutlich von ihren Vorbildern. Wir zeigen ihre Grundlagen anhand von Beispielen. Dabei wird auch klar, dass sich die Sprache großzügig bei der Konkurrenz bedient.

Artikel von Andreas Möller/Linux Magazin veröffentlicht am
Rust ist benannt nach dem "rostigem" Pilzbefall auf Pflanzen.
Rust ist benannt nach dem "rostigem" Pilzbefall auf Pflanzen. (Bild: Wikimedia:Smartse - CC-BY-SA 3.0)

Die statisch typisierte Programmiersprache Rust soll schnell und sicher sein. Seit dem Erscheinen der Version 1.0 gilt die Sprache als stabil, so dass sich nun auch externe Entwickler damit vertraut machen können. Dabei wird schnell klar, dass Rust viele Anleihen bei anderen Sprachen macht. Wir erklären mit Hilfe einfacher Beispiele im Folgenden grundlegende Konzepte von Rust.

Speicher und Zeiger

Inhalt:
  1. Mozillas Programmiersprache: Rust bedient sich bei der Konkurrenz
  2. Musterhaft und klassenlos
  3. Makros, Cargo und Ausblick

Rust speichert wie ihr großes Vorbild C Variablen fester Größe in einem Stack. Zeigerwerte legt sie hingegen im Heap des Hauptspeichers ab. Der folgende Code demonstriert den kontrollierten Umgang mit alloziertem Speicher unter Rust.

Geänderte Besitzverhältnisse

01 fn print_length(vec:Vec<i32>)  {
02   println!("Der Länge des Vektors beträgt {}", vec.len());
03 }
04
05 fn main() {
06   let mut vec:Vec<i32> = vec![1,2,3];
07   print_length(vec);
08   vec.push(4);
09 }

Wird der Code in der Datei moved_type.rs gespeichert und die Software anschließend über den Befehl rustc moved.rs in der Shell kompiliert, bricht der Compiler den Vorgang mit einer Fehlermeldung für die Zeile 8 ab:
moved_type.rs:8:3: 8:6 error: use of moved value: `vec`

Stellenmarkt
  1. Referent (m/w/d) Qualitäts- / Prozessmanagement
    Mainova AG, Frankfurt
  2. IT Systemadministrator (m/w/d)
    Königsteiner Services GmbH, Stuttgart
Detailsuche

In dem Beispiel verweist der im Hauptteil des Programms erzeugte Zeiger vec (Zeile 6) auf den Speicherbereich im Heap, der die Repräsentation des Vektors mit den Komponenten 1, 2 und 3 speichert. Zeile 7 übergibt den Zeiger an die Funktion print_length() und macht sie so zum exklusiven Besitzer. In der Konsequenz darf das Programm den Zeiger ab Zeile 7 nicht mehr verwenden, was zu der Fehlermeldung führt.

Soll der Zeiger dennoch weiterverwendet werden, kann er temporär an print_length() verliehen werden (Borrowing). Dazu wird in Zeile 7 eine Referenz (&vec) übergeben und analog die Funktionsdeklaration von print_length() in Zeile 1 modifiziert nach vec: &Vec<i32>. Soll print_length() zudem in der Lage sein, den Zeigerwert zu ändern, muss alternativ das Fragment vec: &mut Vec<i32> genutzt werden.

Rust ermöglicht es den Entwicklern aber nur, eine veränderbare Referenz zu übergeben. Um den Ressourcenverleih in jedem Aspekt der Programmierung richtig zu machen, bietet Rust neben dem Borrowing die Angabe von Lifetimes.

Beim Freigeben von alloziertem Speicher verfolgt die Programmiersprache einen eigenen Ansatz: Das Rust-Kompilat erledigt die Speicherfreigabe selbsttätig und verzichtet dabei auf einen Garbage Collector wie es ihn unter Java gibt. Auch die Funktion free(), wie sie C und C++ unterstützen, muss die Sprache nicht heranziehen, um den Speicherplatz programmgestützt freizugeben.

Ausdrucksstark

Wertet Rust einen Ausdruck aus, ist dessen Rückgabewert das Ergebnis. Doch auch alle Anweisungen haben einen Rückgabewert: ein leeres Tupel. Das Semikolon trennt, wie in vielen anderen Sprachen, Ausdrücke und Funktionen, um sie zu gruppieren.

Die Funktion aus dem nächsten Beispiel ermittelt das Maximum zweier ganzer Zahlen. Diese übernimmt sie in der Parameterliste nach dem Funktionsnamen in Zeile 1. Als Datentyp verlangt sie für die Parameter a und b je eine 32-Bit-Zahl. Der Rückgabewert rechts neben dem ->-Operator ist vom selben Typ.

Rückgabewerte

01 fn max(a:i32, b:i32) -> i32 {
02   if a > b { return a };
03   b
04 }

Zeile 2 verwendet das Schlüsselwort return (ret in Version 0.3) und gibt a als Resultat zurück. Anderenfalls gibt Zeile 3 den Wert von b zurück. Die letzte Zeile des Funktionsrumpfes darf auf return verzichten.

Falls Zeile 3 irrtümlicherweise mit einem Semikolon abgeschlossen würde, wäre die Funktion ungültig, denn das würde den Ausdruck b in eine Anweisung verwandeln. Damit wäre der Typ des Rückgabewerts ein Tupel und nicht wie gefordert eine ganze Zahl.

Bitte aktivieren Sie Javascript.
Oder nutzen Sie das Golem-pur-Angebot
und lesen Golem.de
  • ohne Werbung
  • mit ausgeschaltetem Javascript
  • mit RSS-Volltext-Feed
Musterhaft und klassenlos 
  1. 1
  2. 2
  3. 3
  4.  


Baron Münchhausen. 19. Jul 2015

Deswegen hat er auch "war" hinzugefügt :)

grorg 18. Jul 2015

Wenn du damit auf das "Zitat" von Bill Gates ansprichst - das gab es nie und ist frei...

grorg 18. Jul 2015

Wir reden hier über eine Programmiersprache und nicht Picasso ....... zeig doch mal, wie...

esgeh 17. Jul 2015

In Rust wird dir genausowenig wie in C eine "Indirektion" aufgezwungen. Wenn du...

flasherle 17. Jul 2015

nur das bei reeller umsetzung das ganze durch die namensgebung leicht lesbar wird...



Aktuell auf der Startseite von Golem.de
Koalitionsvertrag
Was bedeuten die Ampel-Pläne für die Elektromobilität?

Nach dem Willen der Ampelkoalition sollen 15 Millionen Elektroautos bis 2030 auf deutschen Straßen unterwegs sein. Wir haben uns angeschaut, wie das genau umgesetzt werden soll.
Eine Analyse von Friedhelm Greis

Koalitionsvertrag: Was bedeuten die Ampel-Pläne für die Elektromobilität?
Artikel
  1. Zu wenig Triebwerke: Musk warnt vor SpaceX-Pleite
    Zu wenig Triebwerke
    Musk warnt vor SpaceX-Pleite

    Elon Musk sieht sich der nächsten "Produktionshölle" ausgesetzt. Dieses Mal stockt die Fertigung im Raumfahrtunternehmen SpaceX.

  2. Chinesische Provinz Henan: Mit Gesichtserkennung nach Journalisten fahnden
    Chinesische Provinz Henan
    Mit Gesichtserkennung nach Journalisten fahnden

    Das Beispiel aus China macht deutlich, wie Gesichtserkennung missbraucht werden kann. Beteiligt sind die Firmen Neusoft und Huawei.

  3. CD Projekt: Große Erweiterung und Fortsetzung für Cyberpunk 2077 geplant
    CD Projekt
    Große Erweiterung und Fortsetzung für Cyberpunk 2077 geplant

    Ein neues Witcher und mehr Cyberpunk 2077: Vertreter von CD Projekt haben die Firmenpläne vorgestellt. Der Onlineshop Gog.com hat Probleme.

Du willst dich mit Golem.de beruflich verändern oder weiterbilden?
Zum Stellenmarkt
Zur Akademie
Zum Coaching
  • Schnäppchen, Rabatte und Top-Angebote
    Die besten Deals des Tages
    Daily Deals • Crucial-SSDs zu Bestpreisen • Nur noch heute: Bis 75% auf Switch-Spiele • Gaming-Sale bei MM • G.Skill 64GB Kit 3800MHz 319€ • Bis zu 300€ Direktabzug auf TVs, Laptops uvm. • WD MyBook ext. HDD 18TB 329€ • Alternate (u. a. Biostar Mainboard 64,90€) • Xbox Series S 275,99€ [Werbung]
    •  /