Proposed resolution:

This wording is relative to N4582.

1. Edit [array.overview] as indicated

   […]

   -3- An array […]

   namespace std {
     template <class T, size_t N>
     struct array {
       […]
       T elems[N]; // exposition only
       […]
     };
   }
   

   -4- [Note: The member variable elems is shown for exposition only, to emphasize that array is a class aggregate. The name elems is not part of array's interface. — end note]

2. Edit [array.data] as follows:

   constexpr T* data() noexcept;
   constexpr const T* data() const noexcept;
   

   -1- Returns: elemsA pointer such that [data(), data() + size()) is a valid range, and data() == addressof(front()).

[ 2016-03 Jacksonville ]

[ 2016-02-04, Tim Song improves the P/R ]

Instead of the build-in address-operator, std::addressof should be used.

[ 2015-11-14, Geoffrey Romer provides wording ]

[ Kona 2015-10: Link to 2516 ]

[ Urbana 2014-11-07: Move to Open ]

[array.overview] shows std::array with an "exposition only" data member, elems.

The wording in [objects.within.classes] that defines how "exposition only" is used says it applies to private members, but std::array::elems (or its equivalent) must be public in order for std::array to be an aggregate.

If the intention is that std::array::elems places requirements on the implementation to provide "equivalent external behavior" to a public array member, then [objects.within.classes] needs to cover public members too, or some other form should be used in [array.overview].