虚函数不能使用数组类型作为默认参数，因为c++标准禁止所有函数将数组类型（如int[5]）作为默认参数，根本原因在于默认参数必须是静态可确定的常量表达式，而数组类型无法满足该要求。
虚函数的默认参数不能是数组类型
不能。C++标准禁止将数组类型（如 int[5]、char[]）作为函数参数的默认值，虚函数也不例外。根本原因不是“虚函数特殊”，而是**所有函数都不支持数组类型作默认参数**——编译器在解析默认参数时只接受可求值的表达式，而数组类型无法作为常量表达式直接初始化，更无法隐式转换为指针后安全绑定到默认值。
为什么 void f(int arr[10] = nullptr) 会编译失败
这种写法看似想用指针模拟“默认空数组”，但实际有两层错误：
-
int arr[10]在形参位置等价于int* arr，类型声明本身不保留长度信息，所以= nullptr是给指针赋值，语法上合法；但问题在于：你写的是int arr[10]，却试图用nullptr初始化——这触发了类型不匹配（int*可转nullptr，但编译器仍会报错，因数组声明语法与默认参数机制冲突） - 更关键的是，C++ 要求默认参数必须是**静态可确定的常量表达式**，而数组名、
new int[5]、甚至std::array对象都不能作为默认值——它们不是字面量或全局常量地址
可行的替代方案：用指针 + 长度，默认为 nullptr 和 0
如果你希望虚函数调用时能“省略数组参数”，实际做法是拆解为两个独立参数，并赋予安全默认值：
class Base {
public:
virtual void process(const int* data = nullptr, size_t size = 0) = 0;
};
<p>class Derived : public Base {
public:
void process(const int* data, size_t size) override {
if (!data || size == 0) {
// 处理无数据情况
return;
}
// 正常处理 data[0..size-1]
}
};</p>
这样调用 obj->process() 就等价于传入空指针和零长度，语义清晰且完全符合虚函数机制。注意：const int* 比裸 int* 更安全，避免意外修改原始数据。
容易被忽略的点：默认参数的静态绑定特性
虚函数的默认参数值是在**编译时根据指针/引用的静态类型决定的**，而非动态类型。例如：
<pre class="brush:php;toolbar:false;">Base* p = new Derived(); p->process(); // 使用 Base::process 的默认参数（nullptr, 0），不是 Derived 的！
即使 Derived
process，它也不能改变调用时使用的默认值——那个值早在 p 的类型为 Base* 时就定死了。这是最容易踩坑的地方：你以为传了默认值，其实用的是基类声明里的值，和派生类无关。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
