LINUX.ORG.RU

PHP 8.1

 


2

2

Состоялся релиз PHP 8.1 — языка программирования общего назначения, под управлением которого, согласно данным w3techs, работают порядка 78 % сайтов. Среди основных изменений в новой версии стоит отметить добавление перечислений, «зелёных» потоков и интерсекционных типов.

Новая функциональность

Enums

Добавлены перечисления, которые базируются на классах и объектах (поэтому оператор проверки типа instanceof работает и с ними). Перечисления вмещают ряд констант. Но что самое важное, перечисления создают отдельный тип, с которым уже можно работать.

Пример работы с перечислениями, взятый из RFC:

enum Suit { 
  case Hearts; 
  case Diamonds; 
  case Clubs; 
  case Spades; 
} 

function pick_a_card(Suit $suit) { ... } 

$val = Suit::Diamonds; 

pick_a_card($val);        // OK 
pick_a_card(Suit::Clubs); // OK 
pick_a_card('Spades');    // TypeError: pick_a_card(): Argument #1 ($suit) must be of type Suit, string given 

Поскольку элементы перечисления объекты, то они не могут быть меньше или больше других таких элементов.

У элементов перечислений есть также свойство «name», которое хранит имя, хоть оно и является артефактом реализации, поэтому его стоит использовать для отладки.

Подкреплённые перечисления

По умолчанию элементы перечислений не имеют скалярного типа, но всё же его можно объявить при создании перечисления (доступно только для int или string):

enum Suit: string { 
  case Hearts = 'H'; 
  case Diamonds = 'D'; 
  case Clubs = 'C'; 
  case Spades = 'S'; 
} 

Такие значения называются подкреплёнными (backed), ведь значение «подкрепляются» более простым скалярным типом.

Также доступно свойство только для чтения «value», хранящее значение.

Подкреплённые перечисления реализуют интерфейс BackedEnum, который определяет два метода:

  • from(int|string): self принимает скалярный тип и возвращает соответствующее значение перечисления (Enum Case), а если такого нет, то будет выброшена ошибка типа ValueError;

  • tryFrom(int|string): ?self аналогичен первому методу, только теперь ошибка не будет выброшена, а просто возвратится null.

Интерфейсы, трейты и методы в перечислениях

Перечисление может вмещать методы (причём даже статические), а также использовать трейты.

Если перечисление реализует какой-то интерфейс, то все элементы перечисления пройдут проверку на тип, реализующий этот интерфейс:


interface Colorful { 
  public function color(): string; 
} 

enum Suit implements Colorful { 
  case Hearts; 
  case Diamonds; 
  case Clubs; 
  case Spades; 

  // Fulfills the interface contract. 

  public function color(): string { 
    return match($this) { 
      Suit::Hearts, Suit::Diamonds => 'Red', 
      Suit::Clubs, Suit::Spades => 'Black', 
    }; 
  } 

  // Not part of an interface; that's fine. 
  public function shape(): string { 
    return "Rectangle"; 
  } 
} 

function paint(Colorful $c) { ... } 

paint(Suit::Clubs);  // Works 

print Suit::Diamonds->shape(); // "rectangle" 

Перечисление значений

Также перечисления реализуют метод cases(), возвращающий список объектов перечисления:

Suit::cases(); 

// [Suit::Hearts, Suit::Diamonds, Suit::Clubs, Suit:Spades] 

Интерсекционные типы

В противовес союзным типам в РНР 8.0, добавлена возможность указания более точных типов, путём их объединения при помощи логического «и». Это достигается благодаря комбинации имён классов или интерфейсов при помощи амперсанда & (пример из php.watch):

function count_and_iterate(Iterator&\Countable $value) { 
    foreach($value as $val) {} 
    count($value); 
} 

Поддерживаются только чистые интерсекционные типы, без композиции с nullable или союзными типами. Кроме того, поддерживаются только имена классов и интерфейсов.

Нити

Добавлены файберы, предоставляющие низкоуровневый интерфейс для создания «зелёных потоков». Нити позволяют управлять параллельными процессами в пределах одного физического процесса. То есть, де-факто не будет двух участков кода, выполняющихся в один момент времени, но файберы позволяют выполнять действия в момент, пока один участок кода простаивает.

Возвращаемый тип never

Добавлена возможность объявить возвращаемый функцией тип как never, если она всегда вызывает остановку программы. Этого можно достичь, вызывая в этой функции конструкцию exit или die. Пример из PHP.Watch


function redirect(string $url): never { 
    header('Location: ' . $url); 
    exit(); 
} 

Цель этого изменения — указать, что вызов определённой функции гарантированно остановит выполнение программы.

final для констант класса

Добавлена возможность указать константы класса итоговыми, чтобы запретить их переопределение.

class Foo { 
    final public const X = "foo"; 
} 

class Bar extends Foo { 
    public const X = "bar"; 
} 

// Fatal error: Bar::X cannot override final constant Foo::X 

Важно заметить, что приватные константы не могут быть финальными, ведь их невозможно переопределить. Также изменено поведение переопределения констант интерфейсов. Раньше это было запрещено, теперь же разрешено, если константа не определена с ключевым словом final.

Свойства только для чтения

Добавлена поддержка свойств классов только для чтения, значение которых можно устанавливать лишь один раз:

class Test {
    public readonly string $prop;
 
    public function __construct(string $prop) {
        // Заполнение readonly-свойства
        $this->prop = $prop;
    }
}
 
$test = new Test("foobar");
// Так можно
var_dump($test->prop); // string(6) "foobar"
 
// А так нельзя, пускай значение и совпадает
$test->prop = "foobar";
// Error: Cannot modify readonly property Test::$prop

Ключевое слово readonly можно использовать только с типизированным свойством. Инициализация свойства только для чтения может происходить только в классе, содержащем это свойство.

При попытке повторного установления значения или удаления переменной будет выброшено исключение типа Error.

Кроме этого:

  • Добавлены функции:
    • fsync: синхронизация изменений в файле (включая метадату);
    • fdatasync: синхронизация изменений в файле без метадаты;
    • array_is_list: проверяет, является ли массив списком;
    • Функции для поддержки потокового шифрования XChaCha20 в Sodium;
  • Добавлено новое поле full_path в суперглобальном массиве $_FILES, хранящее полный путь к файлам, который был передан браузером;
  • Синтаксис first-class callable;
  • Новый атрибут #[ReturnTypeWillChange];
  • Оператор распаковки массивов теперь поддерживает массивы со строковыми ключами;
  • Добавлена поддержка алгоритмов хеширования xxHash и MurmurHash3;
  • Добавлен новый параметр $options для функций хеширования для определения алгоритмоспецифичных дополнительных опций;
  • Добавлена поддержка префикса 0o/0O для восьмеричных чисел;
  • Новый класс IntlDatePatternGenerator, позволяющий лучше поддерживать локализованные даты;
  • В phar добавлена поддержка алгоритмов подписи OpenSSL-256 и OpenSSL-512;
  • В расширение mysqli добавлена константа MYSQLI_REFRESH_REPLICA аналогичная уже существующей константе MYSQLI_REFRESH_SLAVE, это сделано из-за того, что в MySQL версии 8.0.23 некоторые опции, содержащие слова «slave», были признаны устаревшимы и заменены на аналогичные с «replica». Тем не менее MYSQLI_REFRESH_SLAVE в РНР устаревшей не признана и планов по удалению этой константы нет;
  • GD:
  • Curl:
    • Добавлена поддержка DNS-over-HTTPS;
    • Добавлен класс CURLStringFile, позволяющий осуществлять загрузку файла путём отправки его содержимого.

Изменения

Ограничение использования суперглобального массива $GLOBALS

Суперглобальный массив $GLOBALS, хранящий пары имя_переменной => ссылка_на_переменную больше нельзя передавать по ссылке, приравнивать его к пустому массиву или ссылке на переменную.

// Будет работать:
foreach ($GLOBALS as $var => $value) {
    echo "$var => $value\n";
}
$GLOBALS['x'] = 1;
$GLOBALS['x']++;
isset($GLOBALS['x']);
unset($GLOBALS['x']);
// ...что угодно, используя $GLOBALS['x'].

// Выдаёт ошибку времени компиляции:
$GLOBALS = [];
$GLOBALS += [];
$GLOBALS =& $x;
$x =& $GLOBALS;
unset($GLOBALS);
// ...и другие подобные операции чтения-записи над $GLOBALS

// Выдаёт исключения типа Error во время исполнения:
by_ref($GLOBALS);

А также:

  • Функции для работы HTML теперь будут обрабатывать одинарные кавычки ', а невалидные символы теперь будут просто заменены на � (U+FFFD);
  • Теперь класс SplFixedArray реализует интерфейс JsonSerializable, что позволит функции json_encode воспринимать его как массив;
  • Режим интерактивной оболочки (php -a) теперь требует наличия расширения readline;
  • Функции fputcsv и SplFileObject::fputcsv теперь могут принимать новый параметр, оборачивающий конец строки;
  • Функция version_compare() теперь не может принимать частичные значения для операторов;
  • Функция compact() теперь выбрасывает предупреждение, если типы её параметров отличались от массива и строки;
  • Разрешено использование ключевого слова new в параметрах функции по умолчанию, аргументах атрибутов, инициализаторах статических переменных и глобальных констант;
  • Благодаря изменениям в работе OPcache, производительность была повышена на 0.5-8%;
  • В phar алгоритм подписи по умолчанию изменён с SHA1 на SHA256;
  • Расширение MySQLi теперь использует режим выброса исключений при возникновении ошибки;
  • Следующие ресурсы стали объектами:
    • file_info => finfo
    • imap => IMAP\Connection
    • ftp => FTP\Connection
    • Функция imageloadfont теперь возвращает экземпляр класса GdFont
    • Ресурсы LDAP мигрировали в экземпляры классов LDAP\Connection, LDAP\Result и LDAP\ResultEntry
    • Ресурсы PostgreSQL мигрировали в экземпляры классов PgSql\Connection, PgSql\Result и PgSql\Lob
    • pspell => PSpell\Dictionary, pspell config => PSpell\Config

Объявлено устаревшим

>>> Подробности

Ответ на: комментарий от Ford_Focus

любые реальные системы на пхп невозможно развивать и поддерживать из-за плохого качества как самой разработки, так и всей инфраструктуры вцелом, то что они есть - результат статистически большого числа заблуждающихся энтузиастов

Syncro ★★★★★ ()

вообще занятно, что они все время выбрасывают всякие мелкие константы и функции, помню как депрекейт echo и ereg сломал половину интернетов. Видимо это джоб секьюрити такой, чтобы у криворучек всегда был повод лазить в код и писать отчеты.

Syncro ★★★★★ ()
Ответ на: комментарий от fernandos

РНР значительно изменился

мимикрия под другие языки ничего существенного не меняет. по сути, это все тот же недо-язык, название которого происходит от Personal Home Page. это и есть его ниша. ну, может, мелкие сайтики.

dummy ★★ ()
Ответ на: комментарий от Ford_Focus

многого нет вообще, то что есть слабо стандартизировано и неинтероперабельно, везде лосипеды и костыли. Просто развернуть проект - целый квест: либо не установится, либо не соберётся либо несколько дней будешь фиксить фатал ероры в произвольных местах.

Syncro ★★★★★ ()
Ответ на: комментарий от wandrien

так и напрашивается связь между тем в каком стиле ты кодишь и тем что у тебя в 2021м экран 1280x1024. я не осуждаю ни первое ни второе, но если бы какой-то стендап комик работал в IT профиле, ты бы дал ему материал.

bmfx ()
Ответ на: комментарий от wandrien

я уже лет 15 не связан с IT, а на java вообще не писал никогда. я не защищаю тут какой-то язык или даже парадигму, всего лишь подметил забавный момент. тебе-то он возможно не кажется забавным, но с нейтральной стороны, поверь, так и есть.

bmfx ()
Ответ на: комментарий от fernandos

Вы это говорите как разработчик на php со стажем?

было время - приходилось разгребать, когда в москве без московской прописки толком никуда было не устроиться. с тех пор у меня стойкое отвращение.

dummy ★★ ()
Ответ на: $ от bga_

Но когда уберут этот артефактный префикс?

Это Сигилы. Это короткий указатель на неймспейс. Очень хорошо, что функции отличаются от переменных.

Исправлять нужно не убиранием из языка - а на уровне редактора скрывать их, или шрифт уменьшать чтобы пол экрана не было в символах доллара.

nwtour ★★ ()
Ответ на: комментарий от Syncro

Это не энтузиазм, а строго наоборот: выдрюченным десятки лет назад пыхомакакам в силу возраста сложно проявлять энтузиазм в бегании за новыми модными язычками.

anonymous ()
Ответ на: комментарий от anonymous

он был бы джавой, если бы не пытался понравиться и бородатым сисадминам и хипстеркам… а в итоге ни тем и не другим не вставляет. была же примечательная история с введением оператора goto посдле которой хомяки высрали тонны кирпичей, а сам злосчастный оператор, применяемый в исходниках на c повсеместно (например, в исходниках nginx) выпилили, а вот область видимости чинить не собираются

tz4678 ★★ ()
Ответ на: комментарий от fernandos

Нет. Реальные. У пыха есть же принцип — при всем богатстве выбора говнофреймворков «как в джаве», ближайший к тебе работодатель имеет код на четвертой пыхе с глобальными и надежным переменнымм.

А все из-за ошибки выжившего.

GP ()
Ответ на: комментарий от Ford_Focus

ну есть несколько фундаментальных причин

  1. Рантайм природа языка прячет большинство ошибок под капот, а ещё историческое пренебрежение тайпхинтами и качеством позволяющим код автотестить
  2. Базар без собора в сообществе, когда часть воровали из С, часть из жабы, кто-то вообще делал все как в вб/сишарпе, кто-то сам сочиняет велосипеды «по-своему», о совместимости (чтобы модуль/компонент одного фреймворка/системы подходил для другой, чтобы компоненты вообще были заменяемы) с другими раньше не думали совсем, а сейчас это пытаются декларировать только некоторые.
  3. Доларсайны и неизящный для динамического языка синтаксис вместе делают любой даже аккуратный код грязью, отсюда как по теории разбитых окон приходит и говнокод. Это усугубляется ещё и исторической ориентацией на структурирование хеш-таблицами, которые в пыхе называют массивами. Кстати, использования некорректной терминологии и ошибочных конструктов (классы это дорого) это тоже фишка адептов платформы.
  4. В результате качественных библиотек тоже мало и они вам часто не подходят, вы делаете свой велосипед на каждую потребность и бьетесь также о всевозможные нерелевантные задаче проблемы при этом принято считать что в пыхе все делается быстро(дёшево) и на качество у вас времени точно не будет
Syncro ★★★★★ ()
Ответ на: комментарий от wandrien

Странно, у меня в tango как раз нормально, а в waltz и zomg_ponies разваливается. Именно из-за бешеных картинок пришлось от waltz отказаться, так-то тема вполне годная, сижу теперь на white2.

Firefox 94.0.2.

hobbit ★★★★★ ()
Ответ на: комментарий от tz4678

трейты к жабе и ООП никакого отношения не имеют, наоборот это прямой путь в процедурную кашу. ООП - это инкапсуляция, полиморфизм и наследование желательно +SOLID. Без следования этим принципам код быстро запомоивается.

Syncro ★★★★★ ()