Ottieni un numero arbitrario di elementi casuali da un array php in una riga

Question

Volevo estrarre un numero arbitrario di elementi casuali da un array in php.Vedo che il array_rand() la funzione estrae un numero arbitrario di casuali chiavi da una matrice.Tutti gli esempi che ho trovato online mostravano quindi l'utilizzo di un riferimento chiave per ottenere i valori effettivi dall'array, ad es.

$random_elements = array();
$random_keys = array_rand($source_array);
foreach ( $random_keys as $random_key ) {
  $random_elements[] = $source_array[$random_key];
}

Mi sembrava complicato;Stavo pensando che potrei farlo in modo più conciso.Avrei bisogno di una funzione che restituisca semplicemente elementi casuali, invece di chiavi, o una che possa convertire le chiavi in ​​elementi, quindi potrei fare qualcosa del genere:

$random_elements = keys_to_elements(array_rand($source_array, $number, $source_array));

Ma non ho trovato nessuna funzione del genere nel manuale né cercando su Google.Sto trascurando l'ovvio?