相反数

有符号的solidity整数类型如果有N位。那么其值的范围是-2^(N-1) to 2^(N-1)-1。 这意味着该类型负数的最大值取相反数之后不能够被接收。

相反数陷阱

如下的Negation合约说明了负数在面临取相反数操作时可能遇到的问题。由于对于负数取相反数。实则是取负数的补码操作。因此、当某int类型最大的负数取相反数的时候,会是其本身。如当int8的最大值-128传递到negate8执行取反操作的时候,会返回128。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

contract Negation {

function negate8(int8 _i) public pure returns(int8) {
return -_i;
}

function negate16(int16 _i) public pure returns(int16) {
return -_i;
}

int8 public d = negate8(127); // -127
int8 public a = negate8(-128); // -128
int16 public b = negate16(-128); // 128
int16 public c = negate16(-32768); // -32768
}
解决办法

1、使用更大的类型来接收可以避免出现问题。
2、检查是否达到了该类型的最大负数。

本文链接:https://dreamerjonson.com/2018/11/25/solidity-54-negation/

版权声明:本博客所有文章除特别声明外,均采用CC BY 4.0 CN协议许可协议。转载请注明出处!