Better PHP

Синтаксис создания первоклассных callable-значений

Синтаксис преобразования callable-выражений в объекты первого класса, которые возможно передавать как аргумент, возвращать из функций или присваивать переменным, представили в PHP 8.1.0 как способ, который создаёт анонимные функции из callable-выражений. Новый синтаксис вытесняет предыдущий callable-синтаксис со строками и массивами. Преимущество нового синтаксиса состоит в доступности для статического анализа и наследовании новым синтаксисом области видимости переменных в точке получения callable-выражения.

Синтаксис CallableExpr(...) создаёт объект Closure из выражения, доступного для вызова, где CallableExpr — элемент синтаксиса, который принимает выражение, доступное для прямого вызова в терминах PHP-грамматики:

Пример #1 Пример создания первоклассных вызываемых значений синтаксисом с многоточием

<?php
class Foo
{
   public function method() {}
   public static function staticmethod() {}
   public function __invoke() {}
}

$obj = new Foo();
$classStr = 'Foo';
$methodStr = 'method';
$staticmethodStr = 'staticmethod';

$f1 = strlen(...);
$f2 = $obj(...);  // Вызов объекта как функции
$f3 = $obj->method(...);
$f4 = $obj->$methodStr(...);
$f5 = Foo::staticmethod(...);
$f6 = $classStr::$staticmethodStr(...);

// Традиционный синтаксис callable-выражений со строками и массивами
$f7 = 'strlen'(...);
$f8 = [$obj, 'method'](...);
$f9 = [Foo::class, 'staticmethod'](...);

Замечание:
Оператор ... — часть синтаксиса, а не пропуск.

Выражение CallableExpr(...) и метод Closure::fromCallable() семантически идентичны. Поэтому в отличие от callable-синтаксиса со строками и массивами, синтаксис CallableExpr(...) учитывает область видимости контекста, в котором создаёт замыкание:

Пример #2 Сравнение области видимости синтаксиса CallableExpr(...) и традиционного callable-синтаксиса

<?php
class Foo
{
    public function getPrivateMethod()
    {
        return [$this, 'privateMethod'];
    }

    private function privateMethod()
    {
        echo __METHOD__, "\n";
    }
}

$foo = new Foo();
$privateMethod = $foo->getPrivateMethod();
$privateMethod();
// Fatal error: Call to private method Foo::privateMethod() from global scope
// Причина фатальной ошибки состоит в вызове замыкания вне класса Foo,
// при том что видимость метода проверяется в контексте вызова, а не определения

<?php
class Foo1
{
    public function getPrivateMethod()
    {
        // Callable-выражение унаследует область видимости переменных,
        // в которой выражение получат
        return $this->privateMethod(...); // Значение возврата идентично
                                          // значению вызова Closure::fromCallable([$this, 'privateMethod']);
    }

    private function privateMethod()
    {
        echo __METHOD__, "\n";
    }
}

$foo1 = new Foo1;
$privateMethod = $foo1->getPrivateMethod();
$privateMethod();  // Foo1::privateMethod

Замечание:
Синтаксисом наподобие new Foo(...) нельзя создать объект, поскольку синтаксис new Foo() не относится к вызовам.

Замечание:
Синтаксис, который создаёт объекты первого класса из callable-выражений, нельзя комбинировать с null-безопасным оператором. Каждая из следующих строк вызывает ошибку времени компиляции:

<?php $obj?->method(...); $obj?->prop->method(...);

Нашли ошибку?

Инструкция • Исправление • Сообщение об ошибке

＋Добавить

Примечания пользователей 2 notes

down

bienvenunet at yahoo dot com ¶

3 years ago

There's a major gotcha with this syntax that may not be apparent until you use this syntax and find you're getting "Cannot rebind scope of closure created from method" exceptions in some random library code.

As the documentation indicates, the first-class callable uses the scope at the point where the callable is acquired. This is fine as long as nothing in your code will attempt to bind the callable with the \Closure::bindTo method.  

I found this the hard way by changing callables going to Laravel's Macroable functionality from the array style to the first-class callable style. The Macroable functionality \Closure::bindTo calls on the callable. 

AFAIK, the only workaround is to use the uglier array syntax.

down

dan dot feder at civicactions dot com ¶

1 year ago

Also note that closures are not serializable. So if you are storing a reference to a callback in a variable that will be serialized for caching or any other purpose, do not switch to this syntax or your serialization will break.

＋Добавить