Skip to main content

C1504

如果函数形参被声明为数组类型,那么对应的实参必须具有恰当数量的元素

Category: Advisory

Decidability: Undecidable

Scope: System

说明

如果函数形参被声明为一个指定大小的数组,那么每次函数调用时,对应的实参都应指向一个至少与该数组元素数量相同的对象。

登录查看完整文章