valarray vs. vector: Why was valarray introduced?

Question

Yes, this has been asked before, and the answer has been:

valarrays (value arrays) are intended to bring some of the speed of Fortran to C++. You wouldn't make a valarray of pointers so the compiler can make assumptions about the code and optimise it better. (The main reason that Fortran is so fast is that there is no pointer type so there can be no pointer aliasing.)

or:

valarray is also supposed to eliminate any possibility of aliasing [...]

But these answers make no sense to me.

valarray and vector are class templates, and as such, they don't even exist until instantiated.
And of course, a vector<int> doesn't cause aliasing issues any more than valarray<int> does.

Given this, what was the purpose of valarray, and why did they not simply put the same functionality into vector instead?

Answer 1

• valarray has the slice mechanism

• valarray is expected to be implemented using expression template for its numerical operators

Answer 2

Separation of concern? A vector and a valarray solve different problems. Quoting from the standard, a vector is a (§23.3.6.1 [vector.overview] p1)

... sequence container that supports random access iterators. In addition, it supports (amortized) constant time insert and erase operations at the end; insert and erase in the middle take linear time. Storage management is handled automatically, though hints can be given to improve efficiency.

while a valarray is a (§26.6.2.1 [template.valarray.overview] p1)

... one-dimensional smart array, with elements numbered sequentially from zero. It is a representation of the mathematical concept of an ordered set of values. The illusion of higher dimensionality may be produced by the familiar idiom of computed indices, together with the powerful subsetting capabilities provided by the generalized subscript operators.

As you can see, they serve different purposes. A vector is a generalized dynamic array, while a valarray represents a set of values. It's also not resizeable and only assignable.