C 语言一些小问题

一、数组越界访问后果

#include<stdio.h>
int main()
{
	int i = 0;
	int arr[10] = {0,1,2,3,4,5,6,7,8,9};
	
	for(i=0;i <= 12;i++)
	{
		arr[i] = 0;
		printf("hello\n");
	}
	
	return 0;
}

对于上面的代码，我们可以发现，在代码的执行过程中数组是会发生越界访问的。而且代码会进入死循环（如图），但这是为什么呢？

在解决这个问题之前，我们先要了解一下内存的知识。

对刚才的代码调试后我们发现：

代码是会越界将arr[10]、arr[11]、arr[12] 的值赋为 0 的，而且由于arr[12] 的地址 和 i 的地址相同，i 也会变为 0.

这个过程在内存中的变化为：

由与栈区先用高地址，再用低地址，变量 i 先于数组创建，占据高地址，而数组之后在低地址内存中只开辟了 10 个空间，与变量 i 所在空间距离较近，在之后的越界访问中动用了 i 的空间，造成代码的死循环。

值得一提的是，如果将变量 i 和数组的定义交换顺序，代码将不会死循环，但是代码的症结依然是数组越界访问。

二、strcpy( ) 函数的模拟实现

strcpy() 是C语言的一个库函数。

// 作用是将字符串 str2 的值复制给 str1 .
strcpy(str1,str2);

模拟实现

//void my_strcpy(char* a,char*src)
//{
//	while(*src)
//	{	
//		*a++ = *src++;	//	将 arr1 对应位置上的值复制给 arr2 .
//	}
//	*a = *src;
//}

//优化：
//	1. void 改为 char* ，返回 arr2 的起始地址，方便实现函数的链式访问。
char* my_strcpy(char* a, const char* src)	// 2. const 是为了修饰 *src 防止原字符串的值被改变
{
	assert(a && src); 	// 3. assert 断言函数，用于判断两个指针的有效性，若值为 1 ，代码正常进行，若 a 和 src 中有野指针会报错。
	char* dest = a;
	while (*a++ = *src++)	// *a++ == *(a++)
	{
		;					//	4. 简化代码。
	}
	return dest;			// 	5. 返回地址。
}

int main()
{
	char arr1[] = "hello world!";
	char arr2[20] = { 0 };

	my_strcpy(arr2, arr1);

	printf("%s\n", arr2);
	return 0;
}

三、Const 的用法

Const 定义一个常变量，常变量的值不能被改变。

const int a;	// 定义整形常变量

// 与指针结合
const char* str = &a;
char const* str = &a;	// 前两种 const 修饰 *str ，*str 的值不能改变，但是可以改变指针 str 指向的位置。
str = &b;

char* const str = &c;	//const 修饰 str ,str 指向位置不能改变，但是 *str 的值可变。

char const* const str = &b;
//	即修饰 *str ，也修饰 str