החלפה בין שני משתנים ב - PHP

לעיתים יש לנו שני ערכים בשני משתנים שונים שאנחנו רוצים להחליף ביניהם.

$a = 5;
$b = 7;

כמובן שאפשר להחליף ערכים באמצעות משתנה שלישי:

$x = $a;
$a = $b;
$b = $x;

אבל זו לא חוכמה כל כך גדולה ...
אפשר גם להחליף ערכים בצורה כזו, קצת יותר מתחוכמת ועושה שימוש בפונקציה list:

list($a, $b) = array($b, $a);

אבל זה לא יעבוד עם מערכים, ולכן מצאתי שיטה נוספת להחלפת משתנים

$x ^= $y ^= $x ^= $y;

חמוד לא?