Скажем, например, у меня есть ...

$var1 = "ABC"
$var2 = 123

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

$var1 = 123
$var2 = "ABC"

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

$var3 = $var1
$var1 = $var2
$var2 = $var3

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

Обновление. Лучше всего использовать третью переменную или поместить ее в функцию. Это чисто и просто. Я задал вопрос больше из любопытства, и выбранный ответ был своего рода «следующей лучшей альтернативой». Просто используйте третью переменную.