C++中数组形参必然退化为指针，无法约束长度；唯一能编译期校验长度的是数组引用语法int (&results)[2]，它将长度纳入类型系统，确保传入的必须是含2个int的原生数组。
纯虚函数里不能直接用 int arr[2] 传数组
因为 C++ 中数组形参会自动退化为指针，int arr[2] 和 int* arr 在函数签名里完全等价，编译器根本不检查长度。如果接口设计成这样：virtual void calculate(int a, int b, int results[2]) = 0;，调用方传个长度为 1 的数组也不会报错，运行时越界风险极高。
真正能表达“必须是长度为 2 的数组”的，只有数组引用语法：int (&results)[2]。它把数组长度作为类型的一部分，编译期就能强制校验——传 int[3] 或 std::vector<int></int> 直接编译失败。
- ✅ 正确写法：
virtual int calculate(int a, int b, int (&results)[2]) = 0; - ❌ 错误写法：
virtual int calculate(int a, int b, int results[2]) = 0;（等价于指针，无长度约束） - ❌ 错误写法：
virtual int calculate(int a, int b, int* results) = 0;（完全失去长度信息）
int (&results)[2] 是唯一能保长度的引用形式
这个语法读作“对一个含 2 个 int 的数组的引用”。它不拷贝数据，不退化，且绑定到栈上固定大小数组时零开销。但要注意：它只接受编译期可知长度的原生数组，比如 int buf[2]; calculate(1, 2, buf);。
如果你需要支持堆内存或 std::vector，纯虚函数本身无法统一处理——得另加重载或改用其他机制（如 std::span，C++20 起），但那就不是“纯虚函数接口中的数组传输规范”了。
立即学习“C++免费学习笔记（深入）”；
- ✅ 可行：
int data[2] = {}; calc->calculate(3, 4, data); - ❌ 不可行：
auto ptr = new int[2]; calc->calculate(3, 4, *ptr);（*ptr是int，不是数组引用） - ⚠️ 注意：
std::array<int></int>也不能直接传入，除非你把接口改成模板或重载为std::array&
派生类实现时必须严格匹配引用长度
一旦基类声明了 int (&results)[2]，所有派生类的 override 函数签名必须一模一样。哪怕你只想用第一个元素，也得接收整个引用——这是接口契约的一部分。
常见错误是派生类写成指针版本，比如：int calculate(int a, int b, int* results) override。这根本不是重写，而是定义了一个新重载函数，导致多态失效，调用时仍会报错“未实现纯虚函数”或链接失败。
- ✅ 正确重写：
int calculate(int a, int b, int (&results)[2]) override { results[0] = a + b; results[1] = a - b; return 0; } - ❌ 错误重写：
int calculate(int a, int b, int* results) override（签名不匹配，不构成重写） - ⚠️ 注意：
override关键字此时非常关键——没加它，编译器可能静默接受错误签名，埋下运行时隐患
抽象类里数组引用参数的典型陷阱
最易被忽略的是生命周期问题：纯虚函数通过引用接收数组，意味着调用方必须保证该数组在函数返回前有效。如果派生类内部把 results 引用保存下来（比如存为成员变量），而调用方传的是栈上临时数组，后续访问就是悬垂引用。
另一个隐形限制是：这种接口天然排斥动态大小需求。若业务将来要支持长度可变的结果（比如返回 3 个值或 5 个值），当前接口就必须破坏性修改——要么加新函数，要么弃用数组引用，改用 std::vector 或 std::span。
- ⚠️ 高危操作：
this->cached_results = &results;（results是函数参数引用，退出即失效） - ⚠️ 兼容性风险：接口定死长度为 2 后，扩展成支持任意 N 就得新增虚函数或重构整个继承体系
- ? 替代思路：若真需灵活性，不如在抽象类中定义
virtual int calculate(int a, int b, std::span<int> results) = 0;</int>（C++20），但需确认所有派生类环境支持
