mirror of
https://github.com/adambard/learnxinyminutes-docs.git
synced 2024-11-29 11:22:14 +03:00
319 lines
11 KiB
Markdown
319 lines
11 KiB
Markdown
---
|
||
language: Rust
|
||
contributors:
|
||
- ["P1start", "http://p1start.github.io/"]
|
||
translators:
|
||
- ["Ryan Rembert", "http://jrrembert.github.io"]
|
||
filename: learnrust-fr.rs
|
||
lang: fr-fr
|
||
---
|
||
|
||
Rust est un langage de programmation développé par Mozilla Research. Rust combine le contrôle de bas niveau sur la performance avec la commodité et la sécurité garanties de haut niveau.
|
||
|
||
Il atteint ces objectifs sans avoir besoin d'un ramasse-miettes ou environnement d'exécution, ce qui rend possible l'utilisation de bibliothèques Rust comme une substitution directe pour C.
|
||
|
||
La première version de Rust, 0.1, est sortie en janvier 2012 et a tellement évolué rapidement que jusqu'à récemment, l'utilisation de versions stables était déconseillée - à la place ce était conseillé d'utiliser les nightly builds.
|
||
|
||
Le 15 mai 2015, Rust 1.0 a été libéré avec une garantie complète de compatibilité ascendante. Améliorations aux temps de compilation et d'autres aspects du compilateur sont actuellement disponibles dans la nightly builds. Rust a adopté un modèle de train de livraison avec les versions régulières toutes les six semaines. Rust 1.1 beta a été mis à disposition au moment de la livraison de Rust 1.0.
|
||
|
||
Bien que Rust soit un langage relativement bas niveau, Rust a quelques concepts fonctionnels qui se trouvent généralement dans les langues de niveau supérieur. Cela rend Rust non seulement rapide, mais aussi efficace et facile à coder.
|
||
|
||
```rust
|
||
// Ceci est un commentaire. Les commentaires de ligne ressemblent à ceci...
|
||
// et continuent sur plusieurs lignes comme cela.
|
||
|
||
/// Les commentaires de documentation ressemblent à ça et supportent la
|
||
/// syntaxe Markdown.
|
||
/// # Exemples
|
||
///
|
||
/// ```
|
||
/// let cinq = 5
|
||
/// ```
|
||
|
||
///////////////
|
||
// 1. Basics //
|
||
///////////////
|
||
|
||
// Les fonctions
|
||
// `I32` est le type 32 bits entiers signés
|
||
fn add2(x: i32, y: i32) -> i32 {
|
||
// Retour implicite (pas de point virgule)
|
||
x + y
|
||
}
|
||
|
||
// Fonction principale
|
||
fn main() {
|
||
// Nombres //
|
||
|
||
// Liaison immutable
|
||
let x: i32 = 1;
|
||
|
||
// Suffixes entiers et flottants
|
||
let y: I32 = 13i32;
|
||
let f: f64 = 1.3f64;
|
||
|
||
// Inférence de type
|
||
// La plupart du temps, le compilateur Rust peut déduire quel est le type
|
||
// de variable, donc vous n'avez pas à écrire une annotation de type explicite.
|
||
// Tout au long de ce tutoriel, les types sont explicitement annotées dans
|
||
// de nombreux endroits, mais seulement à des fins de démonstration.
|
||
// L'inférence de type peut les générer pour vous la plupart du temps.
|
||
let implicit_x = 1;
|
||
let implicit_f = 1,3;
|
||
|
||
// Arithmétique
|
||
let somme = x + y + 13;
|
||
|
||
// Variable Mutable
|
||
let mut mutable = 1;
|
||
let mutable = 4;
|
||
let mutable += 2;
|
||
|
||
// Chaînes //
|
||
|
||
// Chaîne littérales
|
||
let x: &str = "Bonjour tout le monde !";
|
||
|
||
// Affichage
|
||
println!("{} {}", f, x); // 1.3 Bonjour tout le monde
|
||
|
||
// Une `Chaîne` - une chaîne de tas alloué
|
||
let s: String = "Bonjour tout le monde".to_string();
|
||
|
||
// Un morceau de chaîne - une vue immutable sur une autre chaîne.
|
||
// C'est essentiellement un pointeur immutable sur une chaîne - ça ne
|
||
// contient effectivement pas le contenu d'une chaîne, juste un pointeur vers
|
||
// le début et la fin de la chaîne.
|
||
let s_slice: &str = &s;
|
||
|
||
println!("{} {}", s, s_slice); // Bonjour tout le monde Bonjour tout le monde
|
||
|
||
// Vecteurs/tableau //
|
||
|
||
// Un tableau de taille fixe
|
||
let four_ints: [i32; 4] = [1, 2, 3, 4];
|
||
|
||
// Un tableau dynamique(vecteur)
|
||
let mut vecteur: Vec<i32> = vec![1, 2, 3, 4];
|
||
vecteur.push(5);
|
||
|
||
// Une tranche - une vue immutable sur un vecteur ou un tableau.
|
||
// Ceci est un peu comme un morceau de chaîne, mais pour les vecteurs.
|
||
let tranche: &[i32] = &vecteur;
|
||
|
||
// Utiliser `{:?}` pour afficher quelque chose en mode debug
|
||
println!("{:?} {:?}", vecteur, tranche); // [1, 2, 3, 4, 5] [1, 2, 3, 4, 5]
|
||
|
||
// Tuples //
|
||
|
||
// Un tuple est un ensemble de valeurs qui peuvent être de différents types.
|
||
let x:(i32, &str, f64) = (1, "bonjour", 3.4);
|
||
|
||
// Déstructurer `let`
|
||
let (a, b, c) = x;
|
||
println!("{} {} {}", a, b, c); // 1 bonjour 3.4
|
||
|
||
// indexation
|
||
println!("{}", x.1); // Bonjour
|
||
|
||
//////////////
|
||
// 2. Types //
|
||
//////////////
|
||
|
||
// Struct
|
||
struct Point {
|
||
x: i32,
|
||
y: i32,
|
||
}
|
||
|
||
let origine: Point = Point { x: 0, y: 0 };
|
||
|
||
// Un struct avec des champs sans nom, appelé 'tuple struct'.
|
||
struct Point2(i32, i32);
|
||
|
||
let origine2 = Point2(0, 0);
|
||
|
||
// Basic C-like enum
|
||
enum Direction {
|
||
Àgauche,
|
||
Droite,
|
||
En_Haut,
|
||
Vers_Le_Bas,
|
||
}
|
||
|
||
let en_haut = Direction::En_Haut;
|
||
|
||
// Enum avec des champs
|
||
enum OptionnelI32 {
|
||
AnI32(I32),
|
||
Rien,
|
||
}
|
||
|
||
let deux: OptionnelI32 = OptionnelI32::AnI32(2);
|
||
let rien = OptionnelI32::Rien;
|
||
|
||
// Generics //
|
||
|
||
struct Foo<T> { bar: T }
|
||
|
||
// Ceci est défini dans la bibliothèque standard comme `Option`.
|
||
enum Optionnel<T> {
|
||
SomeVal(T),
|
||
NoVal,
|
||
}
|
||
|
||
// Méthodes //
|
||
|
||
impl<T> Foo<T> {
|
||
// Méthodes prennent un paramètre explicite `de self`.
|
||
fn get_bar(self) -> T {
|
||
self.bar
|
||
}
|
||
}
|
||
|
||
let a_foo = Foo { bar: 1 };
|
||
println!("{}", a_foo.get_bar()); // 1
|
||
|
||
// Traits (connu sous le nom des interfaces ou des classes de types dans
|
||
// d'autres langues).
|
||
|
||
trait Frobnicate<T> {
|
||
fn frobnicate(self) -> Option<T>;
|
||
}
|
||
|
||
impl<T> Frobnicate<T> for Foo<T> {
|
||
fn frobnicate(self) -> Option<T> {
|
||
Some(self.bar)
|
||
}
|
||
}
|
||
|
||
let another_foo = Foo { bar: 1 };
|
||
println!("{:?}", another_foo.frobnicate()); // Some(1)
|
||
|
||
/////////////////////////
|
||
// 3. Motif correspondant //
|
||
/////////////////////////
|
||
|
||
let foo = OptionnelI32::AnI32(1);
|
||
match foo {
|
||
OptionnelI32::AnI32(n) => println!("Il est un i32: {}", n),
|
||
OptionnelI32::Rien => println!("Il n'y a rien!"),
|
||
}
|
||
|
||
// Motif avancé correspondant
|
||
struct FooBar { x: i32, y: OptionnelI32 }
|
||
let bar = FooBar { x: 15, y: OptionnelI32::AnI32(32) };
|
||
|
||
match bar {
|
||
FooBar { x: 0, y: OptionnelI32 :: AnI32(0)} =>
|
||
println!("Les chiffres sont nuls!"),
|
||
FooBar { x: n, y: OptionnelI32 :: AnI32(m)} if n == m =>
|
||
println!("Les chiffres sont les mêmes"),
|
||
FooBar { x: n, y: OptionnelI32 :: AnI32(m)} =>
|
||
println!("Différents numéros: {} {}", n, m)!,
|
||
FooBar { x: _, y: OptionnelI32 :: Rien} =>
|
||
println!("Le deuxième numéro est rien!"),
|
||
}
|
||
|
||
/////////////////////
|
||
// 4. Flux de contrôle //
|
||
/////////////////////
|
||
|
||
// `for` boucles / itération
|
||
let array = [1, 2, 3];
|
||
for i in array {
|
||
println!("{}", i);
|
||
}
|
||
|
||
// Ranges
|
||
for i in 0u32..10 {
|
||
print!("{}", i);
|
||
}
|
||
println!("");
|
||
// imprime `0 1 2 3 4 5 6 7 8 9`
|
||
|
||
// `if`
|
||
if 1 == 1 {
|
||
println!("Maths est travaille!");
|
||
} else {
|
||
println!("Oh non ...!");
|
||
}
|
||
|
||
// `if` comme expression
|
||
let valeur = if true {
|
||
"bien"
|
||
} else {
|
||
"mal"
|
||
};
|
||
|
||
// `while` boucle
|
||
while 1 == 1 {
|
||
println!("L'univers fonctionne normalement.");
|
||
}
|
||
|
||
// Boucle infinie
|
||
loop {
|
||
println!("Bonjour!");
|
||
}
|
||
|
||
/////////////////////////////////
|
||
// 5. Sécurité & pointeurs mémoire //
|
||
/////////////////////////////////
|
||
|
||
// Pointeur occasion - une seule chose peut "posséder" pointeur à un moment.
|
||
// Cela signifie que lorsque le `Box` laisse son champ d'application, il
|
||
// peut être automatiquement libérée en toute sécurité.
|
||
let mut mine: Box<i32> = Box::new(3);
|
||
*mine = 5; // déréférencer
|
||
// Ici, `now_its_mine` prend possession de `mine`. En d'autres termes,
|
||
// `mine` est déplacé.
|
||
let mut now_its_mine = mine;
|
||
*now_its_mine += 2;
|
||
|
||
println!("{}", now_its_mine); // 7
|
||
// println!("{}", now_its_mine); // Cela ne compile pas parce
|
||
// que `now_its_mine` possède maintenant le pointeur
|
||
|
||
// Référence - un pointeur immutable qui fait référence à d'autres données.
|
||
// Quand une référence est prise à une valeur, nous disons que la valeur
|
||
// a été "emprunté".
|
||
// Même si une valeur est emprunté immutablement, il ne peut pas être
|
||
// muté ou déplacé.
|
||
// Un emprunt dure jusqu'à la fin de la portée, il a été créé.
|
||
let mut var = 4;
|
||
var = 3;
|
||
let ref_var: &i32 = &var;
|
||
|
||
println!("{}", var); // Contrairement à `mine`, `var` peut encore être utilisé
|
||
println!("{}", *ref_var);
|
||
// Var = 5; // Cela ne compile pas parce que `var` est emprunté.
|
||
// *ref_var = 6; // Ce ne serait pas correct non plus, parce que `ref_var` est une
|
||
// référence immutable.
|
||
|
||
// Référence Mutable
|
||
// Même si une valeur est empruntée de façon mutable, elle ne peut pas être
|
||
// accessible à tous.
|
||
let mut var2 = 4;
|
||
let ref_var2: &mut i32 = &mut var2;
|
||
// '*' est utilisé pour pointer vers le var2 mutably emprunté.
|
||
*ref_var2 += 2;
|
||
|
||
println!("{}", * ref_var2); // 6, // var2 ne compilerait pas.
|
||
// ref_var2 est de type &mut i32 donc stocke la référence à i32,
|
||
// pas la valeur.
|
||
// var2 = 2; // Cela ne compile pas parce que `var2` est emprunté.
|
||
}
|
||
```
|
||
|
||
## Autres lectures
|
||
|
||
Il y a beaucoup plus à Rust -- ce est juste l'essentiel de Rust afin que vous puissiez comprendre
|
||
les choses les plus importantes. Pour en savoir plus sur Rust, lire [La Programmation Rust
|
||
Langue](http://doc.rust-lang.org/book/index.html) et étudier la
|
||
[/r/rust](http://reddit.com/r/rust) subreddit. Les gens sur le canal de #rust sur
|
||
irc.mozilla.org sont aussi toujours prêts à aider les nouveaux arrivants.
|
||
|
||
Vous pouvez également essayer caractéristiques de Rust avec un compilateur en ligne sur le fonctionnaire
|
||
[Rust parc](http://play.rust-lang.org) ou sur la principale
|
||
[Site Rust](http://rust-lang.org).
|