Пых
Відкрити в Telegram
Блог Валентина Удальцова о разработке на PHP. Хобот @phpyhobot https://youtube.com/@phpyh https://vkvideo.ru/@phpyh https://t.me/isPHPdying Статистика: https://t.me/INOTAROBOT?start=st1219340804 Для связи используйте личные сообщения канала.
Показати більше8 114
Підписники
-524 години
+87 днів
+1130 день
Триває завантаження даних...
Схожі канали
Хмара тегів
Вхідні та вихідні згадування
---
---
---
---
---
---
Залучення підписників
червень '26
червень '26
+46
в 0 каналах
травень '26
+141
в 0 каналах
Get PRO
квітень '26
+66
в 0 каналах
Get PRO
березень '26
+72
в 1 каналах
Get PRO
лютий '26
+92
в 3 каналах
Get PRO
січень '26
+83
в 2 каналах
Get PRO
грудень '25
+69
в 3 каналах
Get PRO
листопад '25
+89
в 0 каналах
Get PRO
жовтень '25
+90
в 1 каналах
Get PRO
вересень '25
+131
в 3 каналах
Get PRO
серпень '25
+162
в 4 каналах
Get PRO
липень '25
+161
в 3 каналах
Get PRO
червень '25
+144
в 17 каналах
Get PRO
травень '25
+143
в 2 каналах
Get PRO
квітень '25
+138
в 3 каналах
Get PRO
березень '25
+125
в 3 каналах
Get PRO
лютий '25
+238
в 5 каналах
Get PRO
січень '25
+177
в 6 каналах
Get PRO
грудень '24
+235
в 1 каналах
Get PRO
листопад '24
+383
в 5 каналах
Get PRO
жовтень '24
+269
в 4 каналах
Get PRO
вересень '24
+103
в 1 каналах
Get PRO
серпень '24
+132
в 2 каналах
Get PRO
липень '24
+89
в 0 каналах
Get PRO
червень '24
+106
в 4 каналах
Get PRO
травень '24
+177
в 2 каналах
Get PRO
квітень '24
+266
в 0 каналах
Get PRO
березень '24
+365
в 1 каналах
Get PRO
лютий '24
+658
в 0 каналах
Get PRO
січень '24
+352
в 5 каналах
Get PRO
грудень '23
+274
в 3 каналах
Get PRO
листопад '23
+140
в 3 каналах
Get PRO
жовтень '23
+121
в 1 каналах
Get PRO
вересень '23
+191
в 0 каналах
Get PRO
серпень '23
+354
в 0 каналах
Get PRO
липень '23
+328
в 0 каналах
Get PRO
червень '23
+354
в 0 каналах
Get PRO
травень '23
+493
в 0 каналах
Get PRO
квітень '23
+290
в 0 каналах
Get PRO
березень '23
+689
в 0 каналах
Get PRO
лютий '23
+353
в 0 каналах
Get PRO
січень '23
+250
в 0 каналах
Get PRO
грудень '22
+217
в 0 каналах
Get PRO
листопад '22
+146
в 0 каналах
Get PRO
жовтень '22
+113
в 0 каналах
Get PRO
вересень '22
+74
в 0 каналах
Get PRO
серпень '22
+166
в 0 каналах
Get PRO
липень '22
+143
в 0 каналах
Get PRO
червень '22
+142
в 0 каналах
Get PRO
травень '22
+67
в 0 каналах
Get PRO
квітень '22
+54
в 0 каналах
Get PRO
березень '22
+57
в 0 каналах
Get PRO
лютий '22
+141
в 0 каналах
Get PRO
січень '22
+157
в 0 каналах
Get PRO
грудень '21
+181
в 0 каналах
Get PRO
листопад '21
+92
в 0 каналах
Get PRO
жовтень '21
+64
в 0 каналах
Get PRO
вересень '21
+47
в 0 каналах
Get PRO
серпень '21
+63
в 0 каналах
Get PRO
липень '21
+75
в 0 каналах
Get PRO
червень '21
+127
в 0 каналах
Get PRO
травень '21
+62
в 0 каналах
Get PRO
квітень '21
+113
в 0 каналах
Get PRO
березень '21
+238
в 0 каналах
Get PRO
лютий '21
+316
в 0 каналах
Get PRO
січень '21
+242
в 0 каналах
Get PRO
грудень '20
+3 333
в 0 каналах
| Дата | Залучення підписників | Згадування | Канали | |
| 10 червня | +3 | |||
| 09 червня | 0 | |||
| 08 червня | +4 | |||
| 07 червня | +2 | |||
| 06 червня | +6 | |||
| 05 червня | +4 | |||
| 04 червня | +7 | |||
| 03 червня | +3 | |||
| 02 червня | +7 | |||
| 01 червня | +10 |
Дописи каналу
| 2 | Whole Value a.k.a. Value Object
Я сейчас работаю над кодом, которому для работы требуется список параметров функции:
/**
* @param list<ReflectionParameter> $parameters
*/
function make(array $parameters): Something {}
На первый взгляд, всё здорово. list<ReflectionParameter> выражает минимально необходимое знание для решения задачи да и вообще это список из объектов-значений, а не каких-то там примитивов.
Но есть нюанс.
В такой make можно передать невозможный список параметров, например:
$trimReflection = new ReflectionFunction(trim(...));
make(array_reverse($trimReflection->getParameters()));
С точки зрения типов всё верно, но инвариант "опциональные параметры идут после обязательных" в переданном списке нарушен, что может привести к неправильной работе функции. Можно передать параметры от разных функций (тогда $parameters[$i]->getDeclaringFunction() будет давать неконсистентный результат), можно поставить вариадик в начало — способов задать неверный список много, потому что list<ReflectionParameter> ничего толком не регламентирует.
Если функция работает с концепцией "список параметров валидной сигнатуры", она должна принимать ReflectionFunctionAbstract и сама вызывать getParameters():
function make(ReflectionFunctionAbstract $function): Something
{
$parameters = $function->getParameters();
// ...
}
Теперь в теле make можно быть уверенным, что список параметров удовлетворяет всем инвариантам, ведь отрефлексировать функцию с неверной сигнатурой не получится...
Хотя подождите... Можно же так поломать:
final class MessedReflectionFunction extends ReflectionFunction
{
public function getParameters(): array
{
return array_reverse(parent::getParameters());
}
}
make(new MessedReflectionFunction(trim(...)));
Но это уже разговор про LSP и что наследники не должны нарушать инварианты родителей — тема для другого поста. 😊
Мораль такая: принимайте не просто минимум знаний, а минимум, гарантирующий необходимые инварианты. Это и есть концепция Whole Value.
⸻
Этот пост я разместил неделю назад в 🐘 PHPeople. | 2 975 |
| 3 | Немає тексту... | 5 170 |
| 4 | Горю с PHPStan
Все привыкли ограничивать дженерики типов сверху (upper bound): @template T of U. Но бывают ситуации, когда дженерик логично ограничить снизу (lower bound), в частности другим дженериком.
Пример. Представьте, что существует ссылка на какое-то значение и нужно заапкастить (преобразовать в супертип) тип значения в этой ссылке:
use Psr\Log\LoggerInterface as Logger;
use Monolog\Logger as Monolog;
use Typhoon\Type;
/**
* @template T
*/
interface Ref
{
/**
* @template S, где S — супертип для T
* @param Type<S> $super
* @return self<S>
*/
public function as(Type $super): self;
}
/**
* @param Ref<Monolog> $ref
* @return Ref<Logger>
*/
function upcastLogger(Ref $ref): Ref
{
return $ref->as(Type\objectT(Logger::class));
}
В Java wildcards это выражается так: ? super T. В Scala оператором: [S >: T].
В PHPStan, о чудо, тоже начали об этом думать аж в 2021 году: phpstan/phpstan/issues/5179.
Я был в курсе, и, не глядя в issue, решил попробовать. Пишу:
/**
* @template S super T
* @param Type<S> $super
* @return self<S>
*/
public function as(Type $super): self;
Анализатор говорит No issues!, я радостно продолжаю работать. А потом намеренно пробую вызвать $ref->as(Type\stringT) и всё равно вижу No issues!
Разбираюсь и понимаю, что PHPStan поддержал пару лет назад синтаксис super, но только в PHPDoc-парсере! Исходный тикет в анализаторе всё ещё не закрыт!
Представьте, что в PHP добавили property hooks только на уровне синтаксиса — по факту они вообще не работают. Как вам такая фича?
Между PHP-анализатором и PHPDoc-парсером есть фундаментальный каплинг (то есть, кохижен). Нельзя поправить одно и не учесть это в другом. Нормально разделять компоненты и делать один более универсальным, но тогда должны быть фича-флаги, при помощи которых второй компонент выключает (opt-out) или не включает (opt-in) неподдерживаемое поведение в первом.
⸻
Этот пост я разместил неделю назад в 🐘 PHPeople. | 6 508 |
| 5 | base64url
Хотел предложить base64url_encode(), base64url_decode() в Core — давно стандартизованная кодировка, используется в JWT, OAuth 2.0 и WebAuthn.
Но потом нашёл в почте прошлогодний тред с куда более фундаментальным RFC:
namespace Encoding;
enum Base64
{
case Standard;
case UrlSafe;
case Imap;
}
enum PaddingMode
{
case VariantControlled;
case StripPadding;
case PreservePadding;
}
enum DecodingMode
{
case Forgiving;
case Strict;
}
enum TimingMode
{
case Variable;
case Constant;
}
/**
* @throws UnableToEncodeException
*/
function base64_encode(
string $data,
Base64 $variant = Base64::Standard,
PaddingMode $paddingMode = PaddingMode::VariantControlled,
TimingMode $timingMode = TimingMode::Variable,
): string;
/**
* @throws UnableToDecodeException
*/
function base64_decode(
string $data,
Base64 $variant = Base64::Standard,
DecodingMode $decodingMode = DecodingMode::Strict,
TimingMode $timingMode = TimingMode::Variable,
): string;
Ну и аналогичные функции для base16, base32, base58 (Bitcoin) и base85 (PDF).
https://wiki.php.net/rfc/data_encoding_api
Спросил автора, не планирует ли он возобновить работу над RFC. Вот его ответ:
Hi Valentin,
We are still working on it with Tim Düsterhus doing the full implementation.
Best regards
Так что ждём!
⸻
Этот пост я разместил неделю назад в 🐘 PHPeople. | 6 373 |
| 6 | Используешь Dev Containers для локальной разработки? | 0 |
| 7 | Відеоповідомлення | 0 |
| 8 | Хроники пакета exceptionally
Вы наверняка знаете проект thecodingmachine/safe.
A set of core PHP functions rewritten to throw exceptions instead of returning false when an error is encountered.
// вместо
$contents = @file_get_contents($file);
if ($contents === false) {
throw new RuntimeException("File {$file} is not readable");
}
// пишем
$contents = Safe\file_get_contents($file);
Такой подход мне всегда казался максимально бредовым: скодогенерировать обёртки над всеми стандартными PHP-функциями и написать плагины под каждый статанализатор вместо того, чтобы воспользоваться композицией функций.
Поэтому ночью 3 августа 2019 года я написал библиотечку vudaltsov/exceptionally, которая решала проблему куда более элегантно:
$contents = exceptionallyCall('file_get_contents', $file);
Тогда ещё не было стрелочных функций и first class callable синтаксиса, поэтому краткая запись могла выглядеть только так.
Забавно, что утром в тот же день в паре кварталов от моей квартиры загорелся склад, подробнее в личном канале.
Через 2 дня я предложил RFC в Symfony, а ещё через неделю Yonel Ceruto добавил статический метод ErrorHandler::call(), он там есть и по сей день.
Но настали времена, когда я больше не пишу на Symfony, а функция всё ещё актуальна. Поэтому я решил перенести vudaltsov/exceptionally в thesis/exceptionally, упростить и приправить дженериками:
/**
* @template T
* @param callable(): (T|false) $function
* @return T
* @throws \ErrorException
*/
function exceptionally(
callable $function,
int $errorLevels = E_ALL & ~E_DEPRECATED & ~E_USER_DEPRECATED,
): mixed {}
// PHP < 8.6
$contents = exceptionally(static fn () => file_get_contents($file));
// PHP >= 8.6 с partial function application
$contents = exceptionally(file_get_contents($file, ...));
Исключение ErrorException, кстати, существует в ядре ровно для этой задачи, поэтому помимо стандартных параметров оно принимает файл и номер строки.
Пользуйтесь Thesis Exceptionally на здоровье!
composer require thesis/exceptionally
⸻
Этот пост я разместил неделю назад в 🐘 PHPeople. Кстати, общая группа там теперь бесплатная — подписывайся! | 0 |
| 9 | Прошло ровно полгода с Пых.конф’25 — что это значит?
Это значит, что записи докладов теперь доступны каждому!
Смотреть 28 крутых докладов на 📹 YouTube, 📹 VK Видео. | 0 |
Вже доступно! Дослідження Telegram за 2025 — головні інсайти року 
