c++ - 在相反方向上具有相同常数的C++移位，在较小的代码更改下结果不同

Question

This question already has answers here:

Why does it make a difference if left and right shift are used together in one expression or not?

(3个答案)


在6个月前关闭。




我有模板功能

template< uint8_t HOW_FAR_CONSTANT, uint8_t START_CONSTANT, uint8_t ORIGINAL_CONSTANT>
uint8_t Foo();

在 Foo中，我这样做

const uint8_t OFFSET_CONSTANT = ( START_CONSTANT + HOW_FAR_CONSTANT );
const uint8_t RESULT_CONSTANT = ( ( ORIGINAL_CONSTANT << OFFSET_CONSTANT ) >> OFFSET_CONSTANT );

而且它不会截断位，结果是:

ORIGINAL: 10101010
RESULT: 10101010

但是，如果我稍加修改

const uint8_t OFFSET_CONSTANT = ( START_CONSTANT + HOW_FAR_CONSTANT );
const uint8_t RESULT_0_CONSTANT = ( ORIGINAL_CONSTANT << OFFSET_CONSTANT );
const uint8_t RESULT_CONSTANT = ( RESULT_0_CONSTANT >> OFFSET_CONSTANT );

我懂了

ORIGINAL: 10101010
RESULT 0 (lets say OFFSET_CONSTANT is 2): 10101000
RESULT: 00101010

我想知道这是否是不好的编译器优化。谁能解释一下？

更新:

在编译器资源管理器上对其进行了尝试，它绝对是标准行为，并且没有糟糕的编译器优化。

最佳答案

没有优化。由于将移位操作的结果存储在uint8_t类型的对象中而导致截断。

const uint8_t RESULT_0_CONSTANT = ( ORIGINAL_CONSTANT << OFFSET_CONSTANT );

当执行移位操作时，积分提升将应用于操作数。

所以在这个表达

const uint8_t RESULT_CONSTANT = ( ( ORIGINAL_CONSTANT << OFFSET_CONSTANT ) >> OFFSET_CONSTANT );
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

子表达式 ( ORIGINAL_CONSTANT << OFFSET_CONSTANT )的类型为 int而不是 uint8_t。

从C++标准(5.8移位运算符)开始

1. 1 The shift operators << and >> group left-to-right. The operands shall be of integral or unscoped enumeration type and integral promotions are performed.

关于c++ - 在相反方向上具有相同常数的C++移位，在较小的代码更改下结果不同，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61995908/

上一篇：c++ - 无法在HEVC解码器IMFTransform上设置输出类型

下一篇：python - 从C++函数与Python函数返回的值不一致，导致偏正态分布

Answer 1

没有优化。由于将移位操作的结果存储在uint8_t类型的对象中而导致截断。

const uint8_t RESULT_0_CONSTANT = ( ORIGINAL_CONSTANT << OFFSET_CONSTANT );

当执行移位操作时，积分提升将应用于操作数。

所以在这个表达

const uint8_t RESULT_CONSTANT = ( ( ORIGINAL_CONSTANT << OFFSET_CONSTANT ) >> OFFSET_CONSTANT );
                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

子表达式 ( ORIGINAL_CONSTANT << OFFSET_CONSTANT )的类型为 int而不是 uint8_t。

从C++标准(5.8移位运算符)开始

1. 1 The shift operators << and >> group left-to-right. The operands shall be of integral or unscoped enumeration type and integral promotions are performed.