c++ - 模板类初始化的问题

#include 

template 
struct block
{
    typedef T value_type;
    typedef value_type* pointer;
    typedef value_type& reference;
    typedef const value_type& const_reference;
    typedef ptrdiff_t diffrence_type;
    typedef size_t size_type;
    typedef pointer iterator;
    typedef const pointer const_iterator;
    iterator begin() { return data;}
    iterator end() { return data + N;}
    const_iterator begin() const { return data;}
    const_iterator end() const { return data + N;}
    reference operator[](size_t n) { return data[n];}
    const_reference operator[](size_type n) const { return data[n];}
    size_type size() const { return N;}
    T data[N];
};

int main()
{
    block A = {1, 4, 2, 8, 5, 7};
    return 0;
}

在main函数里，对这个变量进行了初始化。书上说，以这种方式初始化，必须符合某种限制：struct 不能拥有使用者声明的任何constructo，也不能拥有任何private或protected member。block是满足这些限制的，那么为什么满足了这些限制后，就可以以这种方式去初始化结构体里面的数组？