V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX 提问指南
Luckyray
V2EX  ›  问与答

C 语言的++操作见鬼了,两台电脑上结果不一样是什么原因?

  •  
  •   Luckyray · 2017-11-11 11:42:37 +08:00 · 3696 次点击
    这是一个创建于 2571 天前的主题,其中的信息可能已经有所发展或是发生改变。

    昨天跟朋友讨论一个考研题目,关键点是这样:
    int a=1 ;
    a*++a 等于多少?
    我说 1*2 嘛,他非说是 2*2,然后各自试了试... 11
    这是我的

    22
    这是他的

    真奇怪....哪位大佬知道原因是啥? c 语言和 c++对++操作有不同的定义?还是因为 c 语言不同年份的标准不一样?

    25 条回复    2017-11-12 00:07:52 +08:00
    geelaw
        2
    geelaw  
       2017-11-11 11:49:43 +08:00 via iPhone   ❤️ 1
    因为标准规定这样做的结果没有定义
    dndx
        3
    dndx  
       2017-11-11 11:52:09 +08:00   ❤️ 2
    undefined behavior,理论上输出任何结果都是对的。

    一看是考研题目也是深深的无奈。
    sosilver
        4
    sosilver  
       2017-11-11 11:52:55 +08:00 via Android
    求值顺序不同,和编译器的实现有关
    Luckyray
        5
    Luckyray  
    OP
       2017-11-11 11:53:51 +08:00
    @dangge 能不能说详细点...不太熟悉 c,你是说 clion 选择 MinGW 或是 Cygwin 对结果有影响吗?
    Luckyray
        6
    Luckyray  
    OP
       2017-11-11 11:54:11 +08:00
    @geelaw 我也很蛋疼啊,可是考试要考
    Luckyray
        7
    Luckyray  
    OP
       2017-11-11 11:54:32 +08:00
    @dndx 哦哦,原来没有标准答案,谢谢
    halfer53
        8
    halfer53  
       2017-11-11 12:01:06 +08:00 via Android
    c 的优先级里面++最优先,然后就是 a*a 了,说实话,这种题目完全没有任何意义
    Ehend
        9
    Ehend  
       2017-11-11 12:03:23 +08:00 via Android   ❤️ 1
    按考研出题人意思应该是考运算符优先级,认为 c 里++优先级大于*,所以认为++先运算,所以认为结果是 4,但是实际中还是看情况,考研终究是考研。。。
    Shura
        10
    Shura  
       2017-11-11 12:19:54 +08:00
    因为标准中对这种情况未定义,所以编译器输出什么都是正常的。如果是考研的情况,你可以用 VC6.0 测试,这种题目你背下来就行了,没有办法。
    dangge
        11
    dangge  
       2017-11-11 12:20:35 +08:00
    @Luckyray
    图一看起来是 Mac,那么默认使用的编译器应该是 LLVM。
    图二是 windows,根据官方所说,默认是 MinGW and Cygwin。
    不同编译器,对这种未定义行为的处理自然不同。
    xml123
        12
    xml123  
       2017-11-11 12:37:41 +08:00
    现在还在考这种题目?
    feather12315
        13
    feather12315  
       2017-11-11 13:13:04 +08:00 via Android
    @dndx 为什么是没定义呢?我的理解是规定了优先级与结合性必然有一个确切的结果。

    从编译原理中语法分析的角度看,LR 技术构造的未经优化的编译器,结果就是 2*2。LL 技术细节我给忘了…
    feather12315
        14
    feather12315  
       2017-11-11 13:22:47 +08:00 via Android
    #13 反汇编了结果,clang 把 `a*++a` 中的俩 `a` 认为是俩不同的变量,才输出 `2` 。所以这要对应编译器 /C 怎么定义 `++a` 的行为了吧,
    我的认知倾向于 4 这个结果,即 `++a` 后的结果存放于原地址。
    没读过相关的规定,楼下能否给出点文档说说 C 怎么定义`++a`的行为的?
    bumz
        15
    bumz  
       2017-11-11 13:49:56 +08:00   ❤️ 1
    @feather12315 #13 优先级与结合性不保证副作用的顺序。这叫 unsequenced modification and access
    ipwx
        16
    ipwx  
       2017-11-11 14:10:09 +08:00   ❤️ 1
    @feather12315 因为 C++ 很底层,标准留给了各个编译器很大的自由空间,可以优化目标代码。

    比方说,这个 a 变量,经过层层优化,很可能从来不在内存里面出现,只在寄存器里面使用。甚至直接优化掉了,成为常量。为了让这种深度优化成为可能,C++ 标准有大量的未定义行为。
    GjriFeu
        17
    GjriFeu  
       2017-11-11 14:18:57 +08:00
    你朋友没有对齐
    Luckyray
        18
    Luckyray  
    OP
       2017-11-11 14:28:24 +08:00
    @GjriFeu 好眼力,我去砍死他
    gnaggnoyil
        19
    gnaggnoyil  
       2017-11-11 18:17:52 +08:00
    @feather12315 然而两个具有副作用的表达式没有相互的 sequenced before/after 关系就会导致 UB,而 sequenced before/after 关系和什么结合性没有必然的联系……
    owt5008137
        20
    owt5008137  
       2017-11-11 18:33:15 +08:00 via Android
    c++17 以前是 UB
    monkeymonkey
        21
    monkeymonkey  
       2017-11-11 22:10:42 +08:00   ❤️ 1
    我曾经问过 Stanley B. Lippman 对这种事情的看法,他说他不会在意这种细节,标准没规定,然后他送了我一本他的签名书。我现在有点后悔没有问他点更有深层意义的问题(摊手
    WhoMercy
        22
    WhoMercy  
       2017-11-11 22:24:15 +08:00 via Android
    @monkeymonkey
    羡慕,流口水🤤
    ech0x
        23
    ech0x  
       2017-11-11 22:27:09 +08:00
    @monkeymonkey 厉害!羡慕。。。
    malusama
        24
    malusama  
       2017-11-12 00:00:54 +08:00 via Android
    最左推导和最右推导?
    anmaz
        25
    anmaz  
       2017-11-12 00:07:52 +08:00 via Android
    详见 c99 规范,搜索 c 语言副作用
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5662 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 27ms · UTC 09:10 · PVG 17:10 · LAX 01:10 · JFK 04:10
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.