将 SafeMath 导入 .sol 文件

在 Solidity 中，整数溢出和下溢是常见的问题。为了避免这些问题，以及在数学运算中保持精度，可以使用 SafeMath 库。

SafeMath 库是由 OpenZeppelin 提供的，旨在提供安全的数学运算函数。它提供了加、减、乘、除和求模操作的安全实现。

以下是将 SafeMath 库导入您的 Solidity 文件的步骤：

1. 在 Solidity 文件的顶部导入 SafeMath 库

pragma solidity ^0.8.0;

import "@openzeppelin/contracts/utils/math/SafeMath.sol";

注意：需要使用 Solidity 0.8.0 或更高版本，以及 OpenZeppelin 4.0.0 或更高版本。

2. 使用 SafeMath 库中的函数

在您的合约中使用 SafeMath 库中的函数，而不是使用 Solidity 本身的整数操作符。

例如，将两个 uint256 变量相加，您可以使用 SafeMath 库中的 add 函数：

uint256 a = 10;
uint256 b = 20;
uint256 c = SafeMath.add(a, b);

如果 a 和 b 的和超出了 uint256 的范围，则 add 函数将引发异常，从而避免了整数溢出问题。

使用 SafeMath 库可以帮助您编写更安全的智能合约。