removing null elements from an array

["Poor Yorick" <org.gnu.lists.bug-bash@xxxxxxxxxxxxxx>]

To get rid of null elements in an array, I currently do something like this: 

    bash-3.2$ var1=("with spaces" "more spaces" '' "the end")
    bash-3.2$ for v in "${var1[@]}"; do if test "$v"; then var2+=("$v"); fi; 
done
    bash-3.2$ echo ${#var2[@]}
    3
    bash-3.2$ printf '%s\n' "${var2[@]}"
    with spaces
    more spaces
    the end

Is there any other more concise way?  It would be nice to avoid the second
variable by doing something like this:

    bash-3.2$ var1=("${var1[@]:-}")

Is it a feasible syntax for future releases?

-- 
Yorick