“使用SafeMath for uint256；”的意思

Question

嗨，我刚开始学习稳固。你能告诉我什么是using SafeMath for uint256;吗？

https://github.com/decentraland/mana/blob/master/contracts/ContinuousSale.sol#L10

Answer 1

SafeMath是一个特别为支持安全的数学操作而设计的可靠的数学库:安全意味着它在使用uint时防止溢出。你可以在齐柏林飞艇-坚固SafeMath找到它。

来自正式文件：

指令using A for B;可用于将库函数(从库A)附加到任何类型(B)。这些函数将接收作为第一个参数调用的对象(如Python中的self变量)。使用A for *;的效果是，库A中的函数被附加到任何类型。

希望能帮上忙~

Answer 2

using ... for ...在Solidity的文档这里中得到了解释，它是将库函数附加到给定类型的一种方法。

所以在你的情况下：

using SafeMath for uint256;

...means：SafeMath.sol库中包含的函数可以直接用于uint256类型的对象。

从该契约中提取一个示例，这里我们可以看到weiAmount被声明为一个uint256，然后我们可以直接调用附加的.mul()函数，而不是将变量作为函数参数传递。

uint256 weiAmount = msg.value;

// calculate token amount to be created
uint256 tokens = weiAmount.mul(rate);