Présentation

Article

1 - PROGRAMMATION MODULAIRE

  • 1.1 - Paquets et crates
  • 1.2 - Premiers éléments de syntaxe
  • 1.3 - Conventions typographiques et de nommage
  • 1.4 - Fonctions et macros
  • 1.5 - Modules et chemins
  • 1.6 - Premier exemple

2 - TYPES DE DONNÉES

3 - STRUCTURES DE CONTRÔLE

  • 3.1 - Alternative
  • 3.2 - Répétitives
  • 3.3 - Itérateurs

4 - MODÈLE DE MÉMOIRE : POSSESSION ET EMPRUNT

5 - STRUCTURES, MÉTHODES, TRAITS, GÉNÉRICITÉ

6 - FILTRAGE ET ÉNUMÉRATIONS

  • 6.1 - Filtrage avec match
  • 6.2 - Énumérations
  • 6.3 - Énumération Option

7 - PROGRAMMATION FONCTIONNELLE, FERMETURES

8 - S’AFFRANCHIR DE LA SÉCURITÉ : MODE UNSAFE

9 - PARALLÉLISME AVEC LES THREADS ET LES CANAUX

10 - CONCLUSION

Article de référence | Réf : H3098 v2

Types de données
Rust (langage de programmation)

Auteur(s) : Laurent BLOCH

Date de publication : 10 juin 2022

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

RÉSUMÉ

Le langage de programmation Rust permet l’écriture de logiciels de haute performance, par une conception proche du matériel et du système d’exploitation, comme le langage C. Il permet aussi la programmation parallèle, distribuée et en style fonctionnel. Rust procure une grande sûreté d’exécution grâce à un modèle de mémoire original et à l’imposition d’un typage fort. Le langage ne comporte pas d’environnement d'exécution(runtime), ce qui contribue à l’efficacité, en comparaison de langages comme Java. Le système de compilation Cargo facilite grandement la construction de logiciels complexes.

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

ABSTRACT

Rust Programming Language

The Rust programming language is intended to write high performance software, through a low-level, hardware-near, operating system-near design. From this perspective, Rust is quite similar to the C language. Rust may also enable parallel and distributed programming, as well as functional programming. In comparison with C, Rust provides heightened run-time security through an innovative memory management system and a mandatory strong typing system. Rust comes with no run-time environment, which contributes to higher efficiency, in comparison with languages like Java. Cargo, Rust's build system and package manager, is helpful to build large and complex software.

Auteur(s)

INTRODUCTION

Le langage de programmation Rust a été conçu en fonction de trois objectifs, qui sont la sécurité, la rapidité, et la programmation concurrente et parallèle :

  • la sécurité est obtenue par le typage des données, par le modèle de mémoire et par des règles précises de passage de paramètres entre fonctions (modèle par possession et emprunt de données) ;

  • la rapidité est obtenue par la proximité des objets du langage avec ceux de la machine, et par l’absence d’environnement d’exécution (runtime) à charger au démarrage ;

  • la programmation concurrente et parallèle est facilitée par des fonctions de traitement asynchrone, de partage de données entre tâches, de passage de messages et de rendez-vous qui permettent de programmer des tâches concurrentes ou parallèles sans utiliser directement les fonctions primitives du système d’exploitation.

La version préliminaire de Rust a été publiée en 2010 par la Fondation Mozilla, qui édite le navigateur Firefox ; initialement c’était un projet personnel (développé en OCaml) de Graydon Hoare, salarié de la fondation ; la première version stable est parue en 2015. C’est un logiciel libre développé avec la participation des utilisateurs. Le compilateur produit une représentation intermédiaire en code LLVM.

On peut présenter ce langage en disant qu’il combine les qualités de C et d’Ada. À C il emprunte l’essentiel de la syntaxe, avec ajout de formes proches de celle d’Ada, par exemple pour écrire (et compiler) séparément la spécification et l’implémentation d’une fonction. Comme C, Rust n’a pas d’environnement d’exécution (runtime), en particulier pas de glaneur de cellules (garbage collector, GC, ramasse-miettes, un système de gestion automatique de la mémoire) ; ses objets élémentaires restent proches de ceux de la machine, ce qui contribue à des performances prévisibles et qui peuvent approcher celles de l’assembleur. Rust procure également des constructions de plus haut niveau, comme des chaînes de caractères UTF-8.

Comme Ada, Rust met en œuvre un typage fort et contraignant, ce qui est parfois exigeant pour le programmeur, mais procure une grande sûreté de fonctionnement du programme une fois qu’il a été compilé avec succès. Comme Ada, Rust procure des fonctions qui permettent de programmer des tâches concurrentes ou parallèles de façon indépendante du système d’exploitation. Le langage procure également les tournures qui permettent l’écriture de code générique et le polymorphisme de données, toujours dans le respect du système de types. Les programmations en style fonctionnel et avec des objets sont aussi disponibles.

Ces caractéristiques de Rust en font un langage adapté à la programmation de fonctions du système d’exploitation et, à ce titre, il est maintenant accepté pour des contributions au noyau Linux. Mais il est aussi utilisé pour toutes sortes de projets de natures variées, comme les moteurs de rendu graphique et de parallélisme du navigateur Firefox, certaines parties du système de partage en ligne Discord, certaines parties des plateformes infonuagiques Azure de Microsoft et AWS d’Amazon.

Le langage Rust standard ne dispose pas de fonctions primitives pour les applications temps réel, mais il existe un grand nombre de contributions externes qui procurent les fonctions adéquates, ainsi que des adaptateurs pour embarquer du code Rust à bord des principaux microcontrôleurs du marché.

Le compilateur Rust est livré avec un système de compilation intégré, Cargo, qui facilite grandement la construction de logiciels complexes et de grande taille, et qui fournit une aide précieuse au programmeur par des messages d’erreur circonstanciés, qui suggèrent souvent la rectification qui corrigera l’erreur.

Cet article fait plusieurs références au livre (accessible librement en ligne) de Steve Klabnik et Carol Nichols , à sa traduction en français (officieuse et partielle) , ainsi qu’au manuel du site officiel du langage . Pour une comparaison fructueuse avec d’autres langages on pourra également consulter les articles de nos collègues consacrés à C [H 3 068] et à Ada [H 2 280]. Le site de l’auteur comporte quelques exemples de programmes complets. Pour la programmation concurrente et parallèle mentionnons ici un guide général et un autre plus spécialisé pour les systèmes embarqués .

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

KEYWORDS

state of art   |   computer programming   |   system software   |   parallelism   |   modularity   |   ownership

VERSIONS

Il existe d'autres versions de cet article :

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v2-h3098


Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Présentation

2. Types de données

Rust distingue les types scalaires (une variable du type représente une seule valeur) et les types composés qui peuvent regrouper plusieurs valeurs dans une seule variable. Rust a deux types composés de base : les tuples et les tableaux (arrays) et permet d’en déclarer de nouveaux.

2.1 Types scalaires

HAUT DE PAGE

2.1.1 Types de nombres entiers

Un entier est un nombre sans partie décimale. Les types entiers procurés par Rust sont présentés dans le tableau 1.

Les tailles sont données en bits, c’est-à-dire en chiffres binaires. isize et usize correspondent à la taille des entiers de l’architecture de l’ordinateur utilisé. Une variable signée de type in (par exemple i8) peut prendre des valeurs comprises entre −(2n − 1) à 2n − 1 − 1, soit en l’occurrence de −(27) à 27− 1, de -128 à 127.

Il est possible d’écrire des nombres entiers littéraux en numération décimale, hexadécimale, octale ou binaire, ainsi que des octets de type u8, en utilisant si besoin le caractère _ (espace souligné) pour améliorer la lisibilité (tableau 2).

HAUT DE PAGE

2.1.2 Types de nombres à virgule flottante

Rust (comme la plupart des langages de programmation) utilise les types de nombres à virgule flottante (ou flottants) pour représenter les nombres avec des décimales, parfois abusivement nommés réels. Il y a des flottants simple précision sur 32 bits (type f32) et double précision sur 64 bits (type f64, type flottant par défaut).

HAUT DE PAGE

...

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Types de données
Sommaire
Sommaire

BIBLIOGRAPHIE

  • (1) -   Async/await on embedded Rust.  -  Consulté le 17 avril 2022. https://ferrous-systems.com/blog/async-on-embedded/.

  • (2) - LAURENT (B.) -   Premiers programmes en Rust.  -  Consulté le 17 avril 2022. https://laurentbloch.net/MySpip3/Premiers-programmes-en-Rust.

  • (3) - KLABNIK (S.), NICHOLS (C.) -   Le langage de programmation Rust.  -  Consulté le 4 avril 2022. https://jimskapt.github.io/rust-book-fr/title-page.html.

  • (4) -   The Rust Programming Language.  -  Consulté le 4 avril 2022. https://doc.rust-lang.org/book/title-page.html.

  • (5) -   Rust Concurrency (Multi-Threading) Tutorial | KoderHQ.  -  Consulté le 17 avril 2022. https://www.koderhq.com/tutorial/rust/concurrency/.

  • (6) - Rust Development Team -   Rust by Example.  -  Consulté...

DANS NOS BASES DOCUMENTAIRES

Cet article est réservé aux abonnés.
Il vous reste 92% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS