windfly's sky

the sky I can fly like the wind

日志

关于我

windfly

文章分类

C++下标越界后

2017-05-18 10:06:44| 分类： program | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

最近遇到一个很奇怪的问题，在arm-linux下发现一个bug，用windows版验证也有这个问题，后来查到原因是下标错了，多加了1，后来修复了这个bug。可是测试人员在验证新版本时告诉我，原版本没有这个问题。后来了解到，该测试人员测试的额x86-linux版本。确实没有出现这个bug。这就奇怪了，肯定是用错了，肯定是下标加了个1。怎么会没问题呢。
遇到的bug抽象出来的示例代码如下：
#include <stdio.h>
bool aa[5]={false,false,true,false,true};
bool bb[5]={true,true,true,true,true};
int main()
{
    if(aa[5])
        printf("true\n");
    else
        printf("false\n");
    getchar();
    return 0;
}
这段代码运行后结果是什么呢？
这里的错误在于aa变量下标越界了，运行后的结果却有点出人意料。
在windows下编译后运行，结果为false
在arm-linux下编译运行，结果为false
这两个就是我的程序出现bug的现象，本来想用aa[4],结果用成了aa[5],所以结果不是true。
但是，在x86-linux下编译运行，结果是true。这也就是测试人员为什么告诉我原版本没有问题的原因。结果是true啊。
冷静下来分析了一下。用了下面的测试代码运行后就一目了然了。
#include <stdio.h>
bool aa[5]={false,false,true,false,true};
bool bb[5]={true,true,true,true,true};
int main()
{
    for(int i=0;i<20;i++)
        printf("aa[%d]=%d\n",i,aa[i]);
    getchar();
    return 0;
}
下面是windows下和arm-linux下运行的结果
aa[0]=0
aa[1]=0
aa[2]=1
aa[3]=0
aa[4]=1
aa[5]=0
aa[6]=0
aa[7]=0
aa[8]=1
aa[9]=1
aa[10]=1
aa[11]=1
aa[12]=1
aa[13]=0
aa[14]=0
aa[15]=0
aa[16]=0
aa[17]=0
aa[18]=0
aa[19]=0
而在x86-linux下的运行结果如下：
aa[0]=0
aa[1]=0
aa[2]=1
aa[3]=0
aa[4]=1
aa[5]=1
aa[6]=1
aa[7]=1
aa[8]=1
aa[9]=1
aa[10]=0
aa[11]=0
aa[12]=0
aa[13]=0
aa[14]=0
aa[15]=0
aa[16]=0
aa[17]=0
aa[18]=0
aa[19]=0
不同的编译器对于全局变量的存储方式是不同的，windows各个数组是字节对齐的，而x86-linux却是紧密排列的，所以第一个数组越界的指针指向了第二个数组。
ps，各个平台下编译器版本：
windows下vs2010
编译arm-linux的编译器版本arm-linux-gnueabi-g++ (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3
编译x86-linux的编译器版本g++ (GCC) 4.4.7 20120313 (Red Hat 4.4.7-17)

评论这张

转发至微博

阅读(215)| 评论(0)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_087074084082088071081081085070072080084068082084084069',
              blogTitle:'C++下标越界后',
              blogAbstract:'最近遇到一个很奇怪的问题，在arm-linux下发现一个bug，用windows版验证也有这个问题，后来查到原因是下标错了，多加了1，后来修复了这个bug。可是测试人员在验证新版本时告诉我，原版本没有这个问题。后来了解到，该测试人员测试的额x86-linux版本。确实没有出现这个bug。这就奇怪了，肯定是用错了，肯定是下标加了个1。怎么会没问题呢。<br\>遇到的bug抽象出来的示例代码如下：<br\>#include <stdio.h><br\>bool aa[5]={false,false,true,false,true};<br\>bool bb[5]={true,true,true,true,true};<br\>int main()<br\>{<br\>    if(aa[5])<br\>        printf(\"true\\n\");',
              blogTag:'',
              blogUrl:'blog/static/6576226201741893139437',
              isPublished:1,
              istop:false,
              type:0,
              modifyTime:1495073204955,
              publishTime:1495073204938,
              permalink:'blog/static/6576226201741893139437',
              commentCount:0,
              mainCommentCount:0,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'',
              hmcon:'1',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/6576226201741893139437">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 手机博客 - 下载LOFTER APP - 订阅此博客

windfly's sky

导航

日志

C++下标越界后

历史上的今天

最近读者

热度

评论

页脚