c语言判断指针所指数组长度,C语言安全之数组长度与指针实例解析

1.C语言编码需要保证变长数组的长度参数位于合法范围之内

例如以下代码：

void func(size_t s) {

int vla[s];

/*...*/

}

/*...*/

func(size);

/*...*/

解决方案如下：

enum {MAX_ARRAY = 1024};

void func(size_t s) {

if(s < MAX_ARRAY && s != 0) {

int vla[s];

/*...*/

} else {

//错误处理

}

}

/*...*/

func(size);

/*...*/

2.需要保证复制的目标具有足够的存储空间

参考代码如下所示：

enum {WORKSPACE_SIZE = 256};

void func(const int src[], size_t len) {

int dest[WORKSPACE_SIZE];

if(len > WORKSPACE_SIZE) {

//错误处理

}

memcpy(dest, src, sizeof(int) * len);

/*...*/

}

3.不要把一个指向非数组对象的指针加上或减去一个整数

错误代码如下所示：

struct numbers {

shor