Solidity使用import能否节省部署费 0.8+无需导入SafeMath是否正确

• 首先明确核心结论：import本身不会直接降低部署费用，智能合约的部署费用和最终上链的字节码大小直接挂钩，import只是编译阶段的语法，作用是把外部代码引入当前编译上下文，不会直接减少最终要部署的字节码体积，具体要看你实际用到了导入内容的多少逻辑。
• 针对你举的两个导入示例分别说明：
  • 导入IERC20.sol这类接口合约：如果你仅用接口定义变量、调用外部ERC20合约的方法，接口本身没有实现逻辑，不会往你的字节码中加入额外代码，这种场景比你自己从零实现全套ERC20逻辑的字节码小很多，部署费更低；但如果你是导入了ERC20.sol的实现合约并继承使用，对应实现逻辑会完全编译进你的字节码，和你自己手写对应逻辑的字节码大小几乎没有差异，不会节省部署费。
  • 导入SafeMath.sol这类工具库：库的内部方法默认会被内联到你的业务代码中，最终编译出来的字节码和你手动把SafeMath逻辑复制到自己代码里使用的结果完全一致，不会节省部署费用。

• 这个说法是正确的。
• Solidity从0.8.0版本开始，默认对所有算术运算做溢出/下溢校验，一旦运算出现溢出/下溢会直接触发交易回滚，和旧版本用SafeMath库实现的安全校验效果完全一致，普通业务场景下不需要再额外导入SafeMath库。
• 仅当你使用unchecked代码块主动关掉内置溢出校验（一般用于优化高频运算的gas费），同时又需要做溢出安全校验的时候，才需要继续使用SafeMath库。

内容的提问来源于stack exchange，提问作者Der Fred