PHPで、[1,2] に 3 を追加したい

Question

ご質問

PHPの単純な配列追加ですが、どういう方法がいいのでしょうか？

実現したいこと

以下$arrと$valが与えられ、$resultを得たいのです。

$arr = [1,2];
$val = 3;
$result = [1,2,3];

試したこと

次のように単純に+してもできませんし、

$arr = [1,2];
$val = 3;
$result = $arr += $val;  // できない

異なる変数名を得たいし $arr は残したいので、次のようにarray_pushも使いたくないですし、

$arr = [1,2];
$val = 3;
array_push( $arr, $val ); // $result でなく $arr が更新されてしまう

もう次のようにarray_margeを使うしかないのでしょうか？

$arr = [1,2];
$val = 3;
$result = array_merge( $arr, [$val] ); // できるが、わざわざ $val を [$val] にしないといけない点が気持ち悪い