STM32芯片导致的还是C语言导致的这个灵异事件，求大神解释！

只看该作者 · 2016-12-8 15:36

请教大家一个语法方面的问题

u16 result, counter;
u8 str[5] = {0x00, 0x11, 0x22, 0x33, 0x44};

counter = 1;
result = ((u16)str[counter ++] << 8) | str[counter ++];

计算完成以后result的值是多少呢？

按道理来说是0x1122，但是在stm32上仿真出来后，结果是0x2211，高低字节调了个个儿！
但是如果用
result=(u16)str[1]<<8|str[2]；
或者用
result = (u16)str[counter ++] << 8;
result |= str[counter ++];
分步计算，得到的值是0x1122。求大神指点迷津orz！！

1万 · 2016-12-8 15:43

result = ((u16)str[counter ++] << 8) | str[counter ++];
感觉这一句是从右往左算的。

只看该作者 · 2016-12-8 15:44

JY-DX-JY 发表于 2016-12-8 15:43
result = ((u16)str[counter ++]

为啥呢

1万 · 2016-12-8 15:51

工行ATM 发表于 2016-12-8 15:44
为啥呢

可能跟C语言计算的优先级有关。

只看该作者 · 2016-12-8 15:56

JY-DX-JY 发表于 2016-12-8 15:51
可能跟C语言计算的优先级有关。

可能真的和优先级有关，在[] | ()比较的时候，[]优先级高，先算的后面的。。。

只看该作者 · 2016-12-8 16:01

JY-DX-JY 发表于 2016-12-8 15:51
可能跟C语言计算的优先级有关。

那如何实现想要的功能呢？！求大神解答！！

只看该作者 · 2016-12-8 16:10

我听闻发表于 2016-12-8 15:51
你确定仿真的结果不是 0x1111

仿真结果不是0x1111，刚才把计算式改了，
result = ((u16)str[counter ++] << 8) | (str[counter ++]);
结果还是0x2211，感觉还有其他的问题。

只看该作者 · 2016-12-8 16:19

C 语言标准：
Except where noted, the order of evaluation of operands of individual operators and sub-expressions of individual expressions, and the order in which side effects take place, is unspecified.
除非另有说明，各个的操作符的操作数和各个表达式的子表达式求值的顺序和副作用发生的顺序是未指定的。

具体到你的表达式：((u16)str[counter ++] << 8) | str[counter ++];
你不能假设 | 两边的子表达式哪个先哪个后计算。

只看该作者 · 2016-12-8 16:26

john_lee 发表于 2016-12-8 16:19
C 语言标准：
Except where noted, the order of evaluation of operands of individual operators and su ...

但是我刚才将表达式改为
result = (str[counter ++]) | (str[counter ++] << 8);
出来的结果还是0x2211，是不是有其他的原因。

1万 · 2016-12-8 16:34

谭浩强：不要写那种自己不知道计算机会如何执行的代码。

拆成几行写，不代表写得笨。

只看该作者 · 2016-12-8 16:40

NE5532 发表于 2016-12-8 16:34
谭浩强：不要写那种自己不知道计算机会如何执行的代码。

拆成几行写，不代表写得笨。 ...

但是。。。拆开看起来不爽。。。

3万 · 2016-12-8 16:42

result = ((u16)str[counter +1] << 8) | (str[counter +2]);
这样试下

只看该作者 · 2016-12-8 16:42

8楼和10楼两位版主说的在理

1万 · 2016-12-8 16:44

工行ATM 发表于 2016-12-8 16:01
那如何实现想要的功能呢？！求大神解答！！

你为什么非要用++呢？直接给出下标不行吗？

只看该作者 · 2016-12-8 16:46

本帖最后由工行ATM 于 2016-12-8 16:56 编辑

mmuuss586 发表于 2016-12-8 16:42
result = ((u16)str[counter +1]

还是0x2211

//上面结果写错了，不是0x2211

是0x2233，不好意思哈。。

只看该作者 · 2016-12-8 16:49

JY-DX-JY 发表于 2016-12-8 16:44
你为什么非要用++呢？直接给出下标不行吗？

原型是modbus通讯里面的一个操作，得到数组以后从里面取值呢，直接写下标要写很多。。

1万 · 2016-12-8 16:52

工行ATM 发表于 2016-12-8 16:49
原型是modbus通讯里面的一个操作，得到数组以后从里面取值呢，直接写下标要写很多。。 ...

你还是分开写吧，如果存储空间够的话，没有必要那么纠结。

只看该作者 · 2016-12-8 17:01

JY-DX-JY 发表于 2016-12-8 16:52
你还是分开写吧，如果存储空间够的话，没有必要那么纠结。

不要。。。

只看该作者 · 2016-12-8 17:16

再贴一段keil5的汇编代码，请能看懂的大神解释一下orz！
333:                                        ConfigDeviceRAM.Sort.limit_OA_VA = (usart_receive_temp[modbus_rx_num ++] << 8) | (usart_receive_temp[modbus_rx_num ++]);
334:                               }
0x080014C8 48C2    LDR    r0,[pc,#776]  ; @0x080017D4
0x080014CA 7801    LDRB    r1,[r0,#0x00]
0x080014CC 7800    LDRB    r0,[r0,#0x00]
0x080014CE 1C40    ADDS    r0,r0,#1
0x080014D0 4AC0    LDR    r2,[pc,#768]  ; @0x080017D4
0x080014D2 7010    STRB    r0,[r2,#0x00]
0x080014D4 48C0    LDR    r0,[pc,#768]  ; @0x080017D8
0x080014D6 5C41    LDRB    r1,[r0,r1]
0x080014D8 4610    MOV    r0,r2
0x080014DA 7802    LDRB    r2,[r0,#0x00]
0x080014DC 7800    LDRB    r0,[r0,#0x00]
0x080014DE 1C40    ADDS    r0,r0,#1
0x080014E0 4BBC    LDR    r3,[pc,#752]  ; @0x080017D4
0x080014E2 7018    STRB    r0,[r3,#0x00]
0x080014E4 48BC    LDR    r0,[pc,#752]  ; @0x080017D8
0x080014E6 5C80    LDRB    r0,[r0,r2]
0x080014E8 EA412000  ORR    r0,r1,r0,LSL #8
0x080014EC 49BB    LDR    r1,[pc,#748]  ; @0x080017DC
0x080014EE 8308    STRH    r0,[r1,#0x18]
0x080014F0 E000    B       0x080014F4