请教为什么 C 语言里对函数的里面的局部变量越界写后会改变上层调用函数里面的变量呢

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

For Existing Member Sign In

This topic created in 3011 days ago, the information mentioned may be changed or developed.

代码大致这样的

#include <stdio.h>

void fun2()
{
	struct tt
	{
		int len;
		char buf[];
	};
	struct tt t1;
	strcpy(t1.buf, "123456...."); // 这里造成越界写
}

void fun1()
{
	int i = 1;
	fun2();
	printf("i = %d\n", i); // 在开优化开 lto 的时候 i 的值会被 fun2 改变
}

我个人觉得这种情况应该是, 越界写改变栈的另外一个方向的内存啊, 不应该去改变上一层函数的变量啊. 还有为什么 valgrind 对这种情况一点都不吱声呢, 有什么工具能检查这种情况么?

谢谢

fun2

越界

函数

变量

6 replies • 2018-01-27 22:17:59 +08:00