vs2010/ gcc 针对 return 语句的编译优化、警告方式

2013-06-07 02:24:19 286 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

VS2010 C++项目JSON处理实战：JsonCpp选型、集成与避坑指南 JSON作为一种轻量级的数据交换格式，凭借其易于阅读和编写的文本结构，已成为Web API、配置文件等领域的事实标准。其核心原理是基于键值对的集合与数组嵌套，实现结构化数据的序列化与反序列化。在C++工程实践中，高效解析与生成JSON是连接不同系统模块、处理外部数据的关键技术。对于仍在使用Visual Studio 2010等较老编译环境的项目，由于其对现代C++标准支持有限，直接引入主流JSON库常会遇到兼容性问题。本文聚焦于这一特定场景，深入探讨如何在VS2010环境下，选用兼容性优秀的JsonCpp库阅读详情

如有一函数：
int GetThreeSeven()
{
return 333 ; + 444;
}

能够编译通过，不报错不警告，估计是被编译优化了 return 语句后面的 + 444 ; 部分；
但从函数名知道我需要的预期结果是返回 777；虽然这是我作为程序员自己的问题，但vs2010 编译器会 gcc 有没有什么编译选项可以“禁止return 完整语句后面多余操作”的设置，
例如 #pragram (error : xxx)

我手头资料上找不到相关解决方案。

...全文

oscp备考，oscp系列——Djinn3靶场：ssti漏洞，pkexec提权 oscp备考，oscp系列——Djinn3靶场：ssti漏洞，pkexec提权难度简单偏上对于低权限shell获取涉及：ssti漏洞对于提权：pkexec提权。阅读详情

Lakesy

C++ 语言 65,214 成员 250,514 内容

+ 关注 + 加入社区

切换为时间正序

always_learn 2013-06-07

打赏
举报

gcc --help=warnings打印看看有没有 -Wunreachable-code 听说较老版本的gcc有这个东西，由于不稳定在后来的版本就取消了

Lakesy 2013-06-07

打赏
举报

引用 9 楼 lin5161678 的回复:

做不到的因为有时候你会写这样的代码
if(GetError())
        return Error;
//TODO:
        /*
                各种其他代码
        */
就是说你的return 语句后面有其他语句的情况是完全正常的逻辑编译器怎么可以随便给警告

确实如此呀。

lin5161678 2013-06-07

打赏
举报

做不到的因为有时候你会写这样的代码

if(GetError())
        return Error;
//TODO:
        /*
                各种其他代码
        */

就是说你的return 语句后面有其他语句的情况是完全正常的逻辑编译器怎么可以随便给警告

luciferisnotsatan 2013-06-07

打赏
举报

c/c++里可以嵌汇编，还有goto。谁能保证不会有人故意跳到return后面

Lakesy 2013-06-07

打赏
举报

引用 6 楼 zhao4zhong1 的回复:

提醒：运行结果 333

我和一位同事也汇编看过，确实没有去掉 + 444 部分；那难道只能在编码的时候极度小心才能避免这种错误码？

赵4老师 2013-06-07

打赏
举报

提醒：运行结果 333

赵4老师 2013-06-07

打赏
举报

跟优化没有关系。

1:    #include <stdio.h>
2:    int GetThreeSeven()
3:    {
00401000 55                   push        ebp
00401001 8B EC                mov         ebp,esp
00401003 83 EC 40             sub         esp,40h
00401006 53                   push        ebx
00401007 56                   push        esi
00401008 57                   push        edi
4:          return 333 ; + 444;
00401009 B8 4D 01 00 00       mov         eax,14Dh
5:    }
0040100E 5F                   pop         edi
0040100F 5E                   pop         esi
00401010 5B                   pop         ebx
00401011 8B E5                mov         esp,ebp
00401013 5D                   pop         ebp
00401014 C3                   ret
6:    int main() {
00401020 55                   push        ebp
00401021 8B EC                mov         ebp,esp
00401023 83 EC 40             sub         esp,40h
00401026 53                   push        ebx
00401027 56                   push        esi
00401028 57                   push        edi
7:        printf("%d\n",GetThreeSeven());
00401029 E8 D2 FF FF FF       call        GetThreeSeven (00401000)
0040102E 50                   push        eax
0040102F 68 A4 20 40 00       push        offset string "%d\n" (004020a4)
00401034 FF 15 00 20 40 00    call        dword ptr [__imp__printf (00402000)]
0040103A 83 C4 08             add         esp,8
8:        return 0;
0040103D 33 C0                xor         eax,eax
9:    }
0040103F 5F                   pop         edi
00401040 5E                   pop         esi
00401041 5B                   pop         ebx
00401042 8B E5                mov         esp,ebp
00401044 5D                   pop         ebp
00401045 C3                   ret

1:    #include <stdio.h>
2:    int GetThreeSeven()
3:    {
00401000 55                   push        ebp
00401001 8B EC                mov         ebp,esp
00401003 83 EC 40             sub         esp,40h
00401006 53                   push        ebx
00401007 56                   push        esi
00401008 57                   push        edi
4:          return 333 ; + 444;
00401009 B8 4D 01 00 00       mov         eax,14Dh
5:    }
0040100E 5F                   pop         edi
0040100F 5E                   pop         esi
00401010 5B                   pop         ebx
00401011 8B E5                mov         esp,ebp
00401013 5D                   pop         ebp
00401014 C3                   ret
6:    int main() {
00401020 55                   push        ebp
00401021 8B EC                mov         ebp,esp
00401023 83 EC 40             sub         esp,40h
00401026 53                   push        ebx
00401027 56                   push        esi
00401028 57                   push        edi
7:        printf("%d\n",GetThreeSeven());
00401029 E8 D2 FF FF FF       call        GetThreeSeven (00401000)
0040102E 50                   push        eax
0040102F 68 A4 20 40 00       push        offset string "%d\n" (004020a4)
00401034 FF 15 00 20 40 00    call        dword ptr [__imp__printf (00402000)]
0040103A 83 C4 08             add         esp,8
8:        return 0;
0040103D 33 C0                xor         eax,eax
9:    }
0040103F 5F                   pop         edi
00401040 5E                   pop         esi
00401041 5B                   pop         ebx
00401042 8B E5                mov         esp,ebp
00401044 5D                   pop         ebp
00401045 C3                   ret

图灵狗 2013-06-07

打赏
举报

这类问题应该是属于lint检测的范畴，而不是编译器。

引用 2 楼 Lakesy 的回复:

我也明白这是合法的语句；但就是我的这种“错误的编码方式”使代码出bug了；我主要是想让编译器能否再“智能”些，例如有warning 可以提示 “并不是所有分支都有返回值”等。以下两方面是我想提出这个问题的考虑出发点： 1.编码规范；想ThreeSeven() 函数就这么间断的语句，但 return 内包含有操作，而非仅仅是返回所要值；或许effective c++ 上有什么“箴言”可以指导指导，能够在“心法”上尽量杜绝这种问题。 2.编译器级别防止低级错误，好像 return 语句完毕后，还有其他操作例如 +444；虽然这语句合法，但编译器并没有能够 “防止”我继续编写 “合法的”没有代码吧假如， return 333 ; + 444 + 555 + iOthers + ... 很明显，我的意图并不是仅仅是一个 333 作为结果。

疯狂的红豆 2013-06-07

打赏
举报

你这算是为难编译器呢吧，，，

Lakesy 2013-06-07

打赏
举报

我也明白这是合法的语句；但就是我的这种“错误的编码方式”使代码出bug了；我主要是想让编译器能否再“智能”些，例如有warning 可以提示 “并不是所有分支都有返回值”等。以下两方面是我想提出这个问题的考虑出发点： 1.编码规范；想ThreeSeven() 函数就这么间断的语句，但 return 内包含有操作，而非仅仅是返回所要值；或许effective c++ 上有什么“箴言”可以指导指导，能够在“心法”上尽量杜绝这种问题。 2.编译器级别防止低级错误，好像 return 语句完毕后，还有其他操作例如 +444；虽然这语句合法，但编译器并没有能够 “防止”我继续编写 “合法的”没有代码吧假如， return 333 ; + 444 + 555 + iOthers + ... 很明显，我的意图并不是仅仅是一个 333 作为结果。

图灵狗 2013-06-07

打赏
举报

这应该算是符合语法的，分号是语句的分隔符 return 333 ; + 444; 都算是合法的语句。

vs2010/ gcc 针对 return 语句的编译优化、警告方式

相关推荐