遇到一个很诡异的问题，求真相

恒宇来啦

有这样一段代码：
typedef struct _T
{
     int a[4];
}T;

T ga;
T gb;

T A()
{
    return ga;
}
T B()
{
     return gb;
}
有这样一个判断
if((B().a[2] & 1) || (A().a[2] & 1))
两个全局变量的内存我都读出来过，都是0，按道理说这个if分支根本进不去的，但是在一个环境上会有低概率出现进入这个if分支的情况
特别诡异，如果把这两个函数直接替换成全局变量就永远不会进if分支，分析这个问题还是跟上面两个以结构体为返回值的函数有关系。
求大神帮忙分析一下究竟为什么会出现这种情况？？？？函数返回的结构体是放到哪里的？会不会去读取数组的第三个值的时候出现访问到未知内容的情况？？

windoze

全局变量放在BSS段，这个段里面的内容会全部初始化为0，其他地方没有初始化，所以内存里的内容不确定。

cobras

真象在汇编代码中……

恒宇来啦

有可能是什么原因呢？回复 3# cobras


   

恒宇来啦

不会越界啊回复 2# windoze


   

linux_c_py_php

略怪。。。

windoze

回复 4# 恒宇来啦

谁说越界了？问题在于内存没有初始化成0，里面原有什么内容是不确定。

anqiu1987

也有可能是返回值是结构体，在复制结构体内容的时候，没有复制。

socay2

全局变量在 BBS 段，初始化为什么值是未定义的，
static 全局变量才会真正初始化为0

weishuo1999

这个return的是个临时变量吧? 而且struct没有复制构造函数, 所以返回的内容并不是严格一致的(浅拷贝), 你可以改成T& A(). T& B()改成引用的函数