如何正确理解C++中的隐式声明函数？以std::array为例

一、什么是隐式声明函数 #

• 隐式声明函数是编译器自动为类生成的特殊成员函数，不需要开发者手动编写声明或定义。当你没有显式声明某个特殊成员函数（比如默认构造函数、拷贝构造函数、拷贝赋值运算符、析构函数等）时，编译器会按照C++标准的规则自动为类补充该函数的声明，这就是隐式声明。
• 举个简单例子：定义空类class Empty {};时，编译器会隐式声明默认构造、拷贝构造、拷贝赋值、析构这四个特殊成员函数，等价于你手动写了这些函数的声明（但没写定义，编译器会按需生成默认定义）。
• 关键区别：隐式声明函数不属于「用户提供函数」——用户提供函数指的是开发者手动编写了声明或定义的函数，不管是写在类内部还是外部。

二、为什么std::array是聚合类 #

C++标准对聚合类的核心要求是：不能拥有用户提供的、继承的、显式声明的构造函数，而隐式声明的构造函数完全符合这个要求：

• std::array的底层是一个包裹原生数组的简单类，它没有显式声明任何构造函数，所有特殊成员函数都是编译器隐式生成的。
• 正因为它是聚合类，我们才能使用聚合初始化语法创建对象，比如std::array<int, 3> arr = {1, 2, 3};，这是聚合类特有的初始化方式。

内容的提问来源于stack exchange，提问作者John