C++ 默认赋值运算符

int a[10];
int b[10];
a = b;

//

struct test {
    int a[10];
};

test a,b;
a = b;

第一个代码无法编译，因为我们无法分配数组，但第二个代码可以。类的默认赋值运算符不是简单地为每个数据成员调用赋值吗？为什么第二个代码可以编译？

来自 C++11 草案第 12.8 节：

非联合类 X 的隐式定义复制/移动赋值运算符对其子对象执行成员复制/移动赋值。首先按照在基说明符列表中声明的顺序分配 X 的直接基类，然后按照在类定义中声明的顺序分配 X 的直接非静态数据成员。令 x 为函数的参数，或者对于移动运算符，为引用该参数的 x 值。每个子对象都以适合其类型的方式分配：

— 如果子对象是类类型，就好像通过调用operator=，将子对象作为对象表达式，并将 x 的相应子对象作为单个函数参数（就像通过显式限定；即忽略任何可能的虚拟重写）更多派生类中的函数）；

— 如果子对象是数组，则以适合元素类型的方式分配每个元素；

— 如果子对象是标量类型，则使用内置赋值运算符。

这里重要的部分是：if the subobject is an array, each element is assigned, in the manner appropriate to the element type;