{"id":48113,"date":"2021-08-31T13:31:50","date_gmt":"2021-08-31T11:31:50","guid":{"rendered":"https:\/\/kinsta.com\/?p=101567"},"modified":"2023-08-22T12:34:42","modified_gmt":"2023-08-22T11:34:42","slug":"php-8-1","status":"publish","type":"post","link":"https:\/\/kinsta.com\/fr\/blog\/php-8-1\/","title":{"rendered":"Quoi de neuf dans PHP 8.1 : Fonctionnalit\u00e9s, changements, am\u00e9liorations et plus encore"},"content":{"rendered":"

Sorti le 25 novembre 2021, PHP 8.1 est enfin l\u00e0<\/a>, avec plusieurs fonctionnalit\u00e9s int\u00e9ressantes.<\/p>\n

Dans cet article, nous allons couvrir en d\u00e9tail les nouveaut\u00e9s de PHP 8.1. Qu’il s’agisse de ses nouvelles fonctionnalit\u00e9s, d’am\u00e9liorations des performances, de changements importants ou de d\u00e9pr\u00e9ciations, nous allons les passer en revue en profondeur.<\/p>\n

Ne bougez pas !<\/p>\n

<\/div><\/kinsta-auto-toc>\n

Nouvelles fonctionnalit\u00e9s de PHP 8.1<\/h2>\n

Commen\u00e7ons par couvrir toutes les nouvelles fonctionnalit\u00e9s de PHP 8.1. C’est une sacr\u00e9e liste.<\/p>\n

<\/div><\/kinsta-auto-toc>\n\n

Types d’intersection purs<\/h3>\n

PHP 8.1 ajoute la prise en charge des types d’intersection. C’est similaire aux types d’union<\/a> introduits dans PHP 8.0, mais leur utilisation pr\u00e9vue est exactement l’inverse.<\/p>\n

Pour mieux comprendre son utilisation, rafra\u00eechissons la fa\u00e7on dont les d\u00e9clarations de type fonctionnent en PHP.<\/p>\n

Essentiellement, vous pouvez ajouter des d\u00e9clarations de type aux arguments des fonctions, aux valeurs de retour et aux propri\u00e9t\u00e9s des classes. Cette affectation est appel\u00e9e indication de type et garantit que la valeur est du bon type au moment de l’appel. Sinon, une TypeError<\/a> est imm\u00e9diatement \u00e9mise. En retour, cela vous aide \u00e0 mieux d\u00e9boguer le code.<\/p>\n

Cependant, la d\u00e9claration d’un type uniques a ses limites. Les types d’union vous aident \u00e0 surmonter cela en vous permettant de d\u00e9clarer une valeur avec plusieurs types, et l’entr\u00e9e doit satisfaire au moins un des types d\u00e9clar\u00e9s.<\/p>\n

D’autre part, la RFC<\/a> d\u00e9crit les types d’intersection comme ceci :<\/p>\n

Un \u00ab type d’intersection \u00bb exige qu’une valeur satisfasse plusieurs contraintes de type au lieu d’une seule.<\/em><\/p>\n

…les types d’intersection purs sont sp\u00e9cifi\u00e9s \u00e0 l’aide de la syntaxe T1&T2&… et peuvent \u00eatre utilis\u00e9s dans toutes les positions o\u00f9 les types sont actuellement accept\u00e9s…<\/em><\/p><\/blockquote>\n

Notez l’utilisation de l’op\u00e9rateur &<\/code> (AND) pour d\u00e9clarer les types d’intersection. En revanche, nous utilisons l’op\u00e9rateur |<\/code> (OR) pour d\u00e9clarer les types d’union.<\/p>\n

L’utilisation de la plupart des types standard dans un type d’intersection donnera un type qui ne pourra jamais \u00eatre rempli (par exemple, integer et string). Par cons\u00e9quent, les types d’intersection ne peuvent inclure que des types de classe (c’est-\u00e0-dire des interfaces et des noms de classe).<\/p>\n

Voici un exemple de code montrant comment vous pouvez utiliser les types d’intersection :<\/p>\n

classe A {\n    private Traversable&Countable $countableIterator;\n \n    public function setIterator(Traversable&Countable $countableIterator) : void {\n        $this->countableIterator = $countableIterator;\n    }\n \n    public function getIterator() : Traversable&Countable {\n        retourne $this->countableIterator;\n    }\n}<\/code><\/pre>\n
Dans le code ci-dessus, nous avons d\u00e9fini une variable countableIterator<\/strong> comme une intersection de deux types : Traversable<\/strong> et Countable<\/strong>. Dans ce cas, les deux types d\u00e9clar\u00e9s sont des interfaces.<\/p>\n
Les types d’intersection sont \u00e9galement conformes aux r\u00e8gles standard de variance PHP d\u00e9j\u00e0 utilis\u00e9es pour la v\u00e9rification des types et l’h\u00e9ritage. Mais il existe deux r\u00e8gles suppl\u00e9mentaires concernant la fa\u00e7on dont les types d’intersection interagissent avec le sous-typage. Vous pouvez en savoir plus sur les r\u00e8gles de variance des types d’intersection<\/a> dans sa RFC.<\/p>\n
Dans certains langages de programmation, vous pouvez combiner les types Union et les types Intersection dans la m\u00eame d\u00e9claration. Mais PHP 8.1 l’interdit. C’est pourquoi sa mise en \u0153uvre est appel\u00e9e types d’intersection \u00ab purs \u00bb. Cependant, la RFC mentionne que c’est \u00ab laiss\u00e9 comme une scope future \u00bb<\/p>\n
Enums<\/h3>\n
PHP 8.1 ajoute enfin la prise en charge des enums (\u00e9galement appel\u00e9s \u00e9num\u00e9rations ou types \u00e9num\u00e9r\u00e9s). Il s’agit d’un type de donn\u00e9es d\u00e9fini par l’utilisateur, compos\u00e9 d’un ensemble de valeurs possibles.<\/p>\n
L’exemple d’\u00e9num\u00e9ration le plus courant dans les langages de programmation est le type bool\u00e9en<\/strong>, avec true<\/code> et false<\/code> comme deux valeurs possibles. C’est tellement courant qu’il est int\u00e9gr\u00e9 dans de nombreux langages de programmation modernes<\/a>.<\/p>\n
Conform\u00e9ment \u00e0 la RFC<\/a>, les \u00e9num\u00e9rations en PHP seront limit\u00e9es aux \u00ab \u00e9num\u00e9rations d’unit\u00e9s \u00bb au d\u00e9part :<\/p>\n
La port\u00e9e de cette RFC est limit\u00e9e aux \u00ab \u00e9num\u00e9rations d’unit\u00e9s \u00bb, c’est-\u00e0-dire aux \u00e9num\u00e9rations qui sont elles-m\u00eames une valeur, plut\u00f4t qu’une simple syntaxe fantaisiste pour une constante primitive, et qui n’incluent pas d’informations associ\u00e9es suppl\u00e9mentaires. Cette capacit\u00e9 offre une prise en charge consid\u00e9rablement \u00e9largie pour la mod\u00e9lisation des donn\u00e9es, les d\u00e9finitions de types personnalis\u00e9es et le comportement de style monade. Les Enums permettent la technique de mod\u00e9lisation consistant \u00e0 \u00ab rendre les \u00e9tats non valides irrepr\u00e9sentables \u00bb, ce qui conduit \u00e0 un code plus robuste n\u00e9cessitant moins de tests exhaustifs.<\/em><\/p><\/blockquote>\n
Pour arriver \u00e0 ce stade, l’\u00e9quipe PHP a \u00e9tudi\u00e9 de nombreux langages qui prennent d\u00e9j\u00e0 en charge les \u00e9num\u00e9rations. Leur \u00e9tude<\/a> a r\u00e9v\u00e9l\u00e9 que l’on peut classer les \u00e9num\u00e9rations en trois groupes g\u00e9n\u00e9raux : Constantes fantaisistes, objets fantaisistes et types de donn\u00e9es alg\u00e9briques (ADT) complets. C’est une lecture int\u00e9ressante !<\/p>\n
PHP impl\u00e9mente les \u00e9num\u00e9rations \u00ab Fancy Objects \u00bb, et pr\u00e9voit de les \u00e9tendre aux ADT complets \u00e0 l’avenir. Il est conceptuellement et s\u00e9mantiquement model\u00e9 sur les types \u00e9num\u00e9r\u00e9s de Swift, Rust et Kotlin, bien qu’il ne soit pas directement model\u00e9 sur aucun d’entre eux.<\/p>\n
La RFC utilise la c\u00e9l\u00e8bre analogie des couleurs dans un jeu de cartes pour expliquer son fonctionnement :<\/p>\n
enum Suit {\ncase Hearts;\ncase Diamonds;\ncase Clubs;\ncase Spades;<\/code><\/pre>\n
Ici, l’enum Suit<\/strong> d\u00e9finit quatre valeurs possibles : Hearts<\/strong>, Diamonds<\/strong>, Clubs<\/strong> et Spades<\/strong>. Vous pouvez acc\u00e9der directement \u00e0 ces valeurs en utilisant la syntaxe : Suit::Hearts<\/code>, Suit::Diamonds<\/code>, Suit::Clubs<\/code>, et Suit::Spades<\/code>.<\/p>\n
Cette utilisation peut vous sembler famili\u00e8re, car les enums sont construits au-dessus des classes et des objets. Ils se comportent de mani\u00e8re similaire et ont presque les m\u00eames exigences. Les enums partagent les m\u00eames espaces de noms que les classes, les interfaces et les traits.<\/p>\n
Les enums mentionn\u00e9s ci-dessus sont appel\u00e9s Pure Enums<\/strong>.<\/p>\n
Vous pouvez aussi d\u00e9finir des Enums Backed<\/strong> si vous voulez donner une valeur scalaire \u00e9quivalente \u00e0 n’importe quel cas. Cependant, les backed enums ne peuvent avoir qu’un seul type, soit int<\/code> soit string<\/code> (jamais les deux).<\/p>\n
enum Suit: string {\ncase Hearts = 'H';\ncase Diamonds = 'D';\ncase Clubs = 'C';\ncase Spades = 'S';\n}<\/code><\/pre>\n
De plus, tous les diff\u00e9rents cas d’un backed enum doivent avoir une valeur unique. Et vous ne pouvez jamais m\u00e9langer les enums purs et backed.<\/p>\n
La RFC approfondit les m\u00e9thodes d’\u00e9num\u00e9ration, les m\u00e9thodes statiques, les constantes, les expressions constantes et bien plus encore. Les couvrir tous d\u00e9passe le cadre de cet article. Vous pouvez vous r\u00e9f\u00e9rer \u00e0 la documentation pour vous familiariser avec toutes ses qualit\u00e9s.<\/p>\n
Le type de retour never<\/code><\/h3>\n
PHP 8.1 ajoute un nouvel indice de type de retour appel\u00e9 never<\/code>. C’est tr\u00e8s utile pour les fonctions throw<\/code> ou exit<\/code>.<\/p>\n
Selon la RFC<\/a>, les fonctions de redirection d’URL exit<\/code> (explicitement ou implicitement) sont un bon exemple de son utilisation :<\/p>\n
function redirect(string $uri) : never {\n    header('Location : ' . $uri) ;\n    exit() ;\n}\n \nfonction redirectToLoginPage() : never {\n    redirect('\/login');\n}<\/code><\/pre>\n
Une fonction d\u00e9clar\u00e9e never<\/code> doit satisfaire trois conditions :<\/p>\n