MDK AC6 函数内 定义相同的变量 居然不报错！

casy99

如图：



仿真发现有3个一样的结构体变量，但是这样的函数肯定有问题的。。。

turnip

C语言的基础，变量的生命周期。这是符合语法的，不符合安全编码规范。

casy99

测试发现： 如果进第一个if语句，can报文发送异常；如果进第二个if语句，can报文发送又正常。如何解释？

zhao5352

C语言允许这样定义，但是不推荐。一对大括号称为作用域，在其中定义的变量只在该作用域内有效，且会覆盖作用域外的同名变量。

skyshine

当然不会报错，大部分编程语言都是这样的，符合语法，不在同一对花括号内重复定义就不会报错

skyshine

程序肯定是有问题，如果两个if都没进，就是野指针，这种代码过不了静态代码检查的

ghslfgkkl88

符合语法规范，但实际肯定要出问题。

skyshine

casy99 发表于 2024-8-23 15:49
测试发现： 如果进第一个if语句，can报文发送异常；如果进第二个if语句，can报文发送又正常。如何解释？

看不到完整代码，我猜可能和优化有关系

casy99

哈哈，没想到引来了这么多的关注！
总结一下：
这这是一个简单测试函数demo，如果逻辑复杂后，别人来看代码压根就不知道这3个相同的变量哪个是哪个了。肯定蒙圈了，只能说AC6 语法太灵活了，灵活到容易犯错，哈哈

最后，还是不推荐这样子写，不安全！

skyshine

我估计这个代码应该是靠bug跑起来的，正常情况下，不管进哪个if语句，这个指针一直都是野指针，没指向预期的位置，换个编译器或者换个优化等级肯定会出问题，可以找个在线编译器跑一下我这个代码

[C] 纯文本查看 复制代码

int main()
{
	int a;
	{int a=3;}
	{int a=4;}
   printf("%d",&a);
   return 0;
}

ghslfgkkl88

跟AC6有什么关系？这是C语言标准的作用范围问题。里面两个的作用范围仅限于他们自己的括号范围，括号范围外的是不能引用里面的。代码执行到括号后他们是失效了，他们占用的空间就被用来做其他的了，不出问题才怪。
你把最上面的定义删掉，肯定就报错了。

glory

大家对基础语法的话题，还是挺有热情的。

CoderXMan

C 语言基础，补一补。

casy99

CoderXMan 发表于 2024-8-23 20:08
C 语言基础，补一补。

这可不是C语言基础了，这是扩展的GUN语法

reidentify

[C] 纯文本查看 复制代码

int *p;
{
    int a = 3;
    p = &a;
}
// 此时，a 已经超出作用域，但指针 p 仍然指向它
printf("%d", *p); // 未定义行为，p 是野指针