On Page 68, the text goes into great detail, describing arrays, and specifically in C/C++. However, you don't mention the fact that there are actually variables with a type that has a specific number of elements in an array.

For instance:

In this example, a has the type "an array of one thousand integers," and the compiler actually knows that. This is useful quite often in template code, where the size of the array can be deduced as a template parameter, along with the type of the elements.

Just thought it might be worth referencing. It complicates the discussion of arrays a bit, but it's an important distinction.

Regards,
Matt