Rang (programmation informatique)

En programmation informatique , le rang , sans autre précision, est généralement synonyme de (ou fait référence à) « nombre de dimensions » ; ainsi, un tableau bidimensionnel est de rang deux , un tableau tridimensionnel est de rang trois , et ainsi de suite. À proprement parler, aucune définition formelle ne peut s’appliquer à tous les langages de programmation , car chacun possède ses propres concepts, sa propre sémantique et sa propre terminologie ; le terme peut même ne pas être applicable ou, au contraire, être employé avec une signification très spécifique dans le contexte d’un langage donné.

Dans le cas de l'APL, la notion s'applique à chaque opérande ; et les dyades (« fonctions binaires ») ont un rang gauche et un rang droit .

L'encadré ci-dessous montre comment le rang d'un type et le rang d'une expression de tableau pourraient être définis (dans un style semi-formel) pour C++ et illustre une manière simple de les calculer au moment de la compilation.

#include <type_traits> #include <cstddef> /* Rang d'un type * ------------- * * Soit le rang d'un type T égal au nombre de ses dimensions s'il s'agit d'un tableau ; zéro sinon (convention habituelle) */ template < typename T > struct rank { static const std :: size_t value = 0 ; };template < typename T , std :: size_t N > struct rank < T [ N ] > { static const std :: size_t value = 1 + rank < T >:: value ; };modèle < typename T > constexpr auto rank_v = rank < T >:: valeur ;/* Rang d'une expression * * Soit le rang d'une expression le rang de son type */modèle < typename T > utilisant unqualified_t = std :: remove_cv_t < std :: remove_reference_t < T >> ;template < typename T > auto rankof ( T && expr ) { return rank_v < unqualified_t < T >> ; }

Étant donné le code ci-dessus, le rang d'un type T peut être calculé à la compilation par

rang < T >:: valeur

ou la forme plus courte

rang_v < T >

Le calcul du rang d'une expression peut être effectué en utilisant

rang de ( expr )