يعد تبديل المتغيرات مهمة شائعة، يتم تدريسها وتنفيذها غالبًا باستخدام متغير مؤقت مثل هذا:

function swap(&$left, &$right): void
{
    $tmp = $left;
    $left = $right;
    $right = $tmp;
}

ولكن هناك طريقة أقصر باستخدام التدمير (منذ PHP 7.1!):

function swap(&$left, &$right): void
{
    [$left, $right] = [$right, $left];
}

ربما يبدو الكود غريبًا بعض الشيء ولم أقوم بتحليله بحثًا عن مشكلات في الأداء، ولكنه يساعد على فهم التدمير.

بالمناسبة، هذه ليست ميزة PHP فقط، فلا تتردد في اختبارها على سبيل المثال. في جافا سكريبت.