Блог

У меня есть смарт-контракт солидности, подобный этому pragma solidity gt;=0.7.0 lt;0.9.0; , могу ли я по-прежнему импортировать SafeMath, даже если он не нужен для 0.8 ? Поскольку SafeMath работает с 0.7, но в моем контракте указано, что он принимает значение 0.7.0 до значения ниже 0.9.0, что будет делать SafeMath в этом случае.

Библиотека SafeMath проверяет, приведет ли арифметическая операция к переполнению/неполному потоку целых чисел. Если это так, библиотека создает исключение, эффективно возвращая транзакцию.

Начиная с солидности 0.8, проверка переполнения/недостаточного потока реализована на уровне языка — она добавляет проверку в байт-код во время компиляции.

Вам не нужна библиотека SafeMath для солидности 0.8 . Вы все еще можете свободно использовать его в этой версии, он просто выполнит одну и ту же проверку дважды (один на уровне языка и один в библиотеке).

И настоятельно рекомендуется использовать его в версии 0.7, так как проверка в этой версии еще не выполняется на уровне языка.

Поэтому, если вы разрешаете компилировать свой контракт в обеих версиях, вам следует включить библиотеку.

 pragma solidity gt;=0.7.0 lt;0.9.0;  library SafeMath {  function add(uint256 a, uint256 b) internal pure returns (uint256 c) {  c = a   b;  assert(c gt;= a);  return c;  } }  contract MyContract {  using SafeMath for uint256;    function foo() external pure {  uint256 number = 1;  number.add(1);  } }