我可以假设 std::initializer_list 是作为数组实现的吗

Question

In order words, can one assume:

for (const auto &r : someInitializerList)
     assert(&r == &someInitializerList.begin()[&r - &*someInitializerList.begin()]);

Answer 1

From the documentation :

The underlying array is a temporary array of type const T[N], in which each element is copy-initialized (except that narrowing conversions are invalid) from the corresponding element of the original initializer list.
The lifetime of the underlying array is the same as any other temporary object, except that initializing an initializer_list object from the array extends the lifetime of the array exactly like binding a reference to a temporary (with the same exceptions, such as for initializing a non-static class member). The underlying array may be allocated in read-only memory.