对有符号整数进行位操作的结果定义了吗?

I know that the behavior of >> on signed integer can be implementation dependent (specifically, when the left operand is negative). on signed intege