假设我们有一个具有以下定义函数的合约:
function send(address receiver, uint amount) public {
if (balances[msg.sender] < amount) return;
balances[msg.sender] -= amount;
balances[receiver] += amount;
emit Sent(msg.sender, receiver, amount);
}
并假设发件人在以下行之后用完了gas:
balances[msg.sender] -= amount;
状态变量发生了什么?区块中是否包含不完整的交易?