partendo da una stringa di questo tipo

Codice PHP:
$s "\t\tciao\t\t\t         \tcome     va\t\r\n"
secondo voi qual'è la funzione più semplice e/o veloce per scomporla in un vettore del tipo

Array(
0 => ciao
1 => come
2 => va
)

avevo pensato ad una cosa tipo

Codice PHP:
$s trim($s); // toglie \r \n \t in cima e in fondo

$s str_replace("\t"" "$s); // sostituisco spazi ai tab

$arr1 explode(" "$s);

$arr_finale = array();

foreach(
$arr1 as $val)
{
  if(
$val != '')
  {
   
$arr_finale[] = $val;
  }

e in $arr_finale ho solo "ciao", "come", "va"

ma mi sembra un pò pesantuccia ...