Dato che i valarray a livello interno sono implementati con dei normali array allocati dinamicamente non credo che si possa essere molto più efficienti rispetto ad allocare un nuovo valarray grande a sufficienza e copiarci dentro gli elementi che ci devi copiare...![]()