if one is uncertain whether an array index exists, he normally does something like
if (isset($array[$key]))
$val = $array[$key];
for large arrays, is it faster to not do this look up two times?
If yes, how would one go about doing this in one look up?
$val = $array[$key] ?? null;?