Solidity智能合约代币购买触发'Insufficient Reserve'错误排查

问题背景 #

我在BSC测试网部署了一套代币售卖系统，包含两个核心合约：

• TestUSDT：模拟USDT的ERC20代币合约
• APTToken：负责代币售卖的核心合约

调用buyTokens()函数时，交易因Insufficient Reserve回滚，但已满足以下前提条件：

• 合约所有者持有100M APT（已通过balanceOf(owner)验证）
• 代币售卖价格设置为1e18（即1 USDT兑换1 APT）
• 用户已完成TestUSDT对APTToken的授权操作，且USDT余额充足

复现步骤 #

1. 用户执行TestUSDT.approve(APTToken.address, 1e18)完成授权
2. 用户调用APTToken.buyTokens(1e18)，尝试用1 USDT购买1 APT

预期与实际结果 #

• 预期结果：购买成功，1 APT转入买家地址，1 USDT转入合约所有者地址
• 实际结果：交易触发Insufficient Reserve异常回滚

已完成的调试操作 #

• 确认合约所有者的APT余额远大于用户请求购买的数量
• 查看事件日志，确认tokensToBuy的计算结果正确
• 反复校验用户对TestUSDT的授权状态，确认授权金额足够

可能的原因分析 #

1. 内部储备跟踪逻辑错误 #

售卖合约可能未直接使用所有者的balanceOf作为可售卖储备，而是维护了一个独立的内部变量（比如availableReserve）来记录可售卖的代币总量。如果所有者未将APT转入合约，或者合约未正确更新该内部变量，即使所有者余额充足，合约也会判定储备不足。

2. 代币转移权限问题 #

如果合约在转移APT时使用transferFrom(owner, buyer, amount)，但未获得所有者对合约的APT授权，那么代币转移会失败。若合约此时错误地抛出Insufficient Reserve而非授权相关的异常，就会出现当前现象。需要检查合约是否要求所有者预先授权APTToken转移其代币。

3. 小数位数不匹配 #

需确认两个代币的小数位数是否一致：

• 若TestUSDT为6位小数，而APTToken为18位小数，那么用户传入的1e18 USDT实际对应1e12个USDT最小单位，计算出的APT购买量会远超预期，导致储备不足。
• 检查buyTokens()中tokensToBuy的计算逻辑，确认单位转换没有错误。

4. 错误提示不匹配 #

合约可能在其他操作失败（比如USDT转账失败）时，错误抛出了Insufficient Reserve异常。可以查看交易的详细错误栈，定位实际触发异常的代码行，确认真正的失败原因。

内容的提问来源于stack exchange，提问作者Karan Rawat