如何修复Solidity中函数状态可变性可限制为view的警告

这个警告是因为balanceOf函数只读取合约的balances状态变量，完全没有修改任何链上状态，Solidity编译器建议你明确标注它的状态可变性为view——这么做不仅能消除警告，还能让其他开发者一眼就知道这个函数不会改变合约状态。

修复步骤 #

把原来的balanceOf函数：

function balanceOf(address owner) public returns(uint) {
    return balances[owner];
}

修改为：

function balanceOf(address owner) public view returns(uint) {
    return balances[owner];
}

补充说明状态可变性修饰符 #

Solidity的状态可变性修饰符用来明确函数对合约状态的操作权限：

• view：仅读取状态变量，不做任何修改
• pure：既不读取也不修改状态变量，只处理输入参数或内部计算
• 不添加修饰符：默认允许读取和修改状态变量
• payable：允许接收ETH，同时具备读写状态的权限

你的其他函数（transfer、transferFrom、approve）都需要修改合约状态（更新balances/allowance、触发事件），所以不需要添加view或pure，保持当前写法即可。

修复后的完整代码片段 #

function balanceOf(address owner) public view returns(uint) {
    return balances[owner];
}

function transfer(address to, uint value) public returns(bool) {
    require(balanceOf(msg.sender) >= value, 'balance too low');
    balances[to] += value;
    balances[msg.sender] -= value;
    emit Transfer(msg.sender, to, value);
    return true;
}

function transferFrom(address from, address to, uint value) public returns(bool) {
    require(balanceOf(from) >= value, 'balance too low');
    require(allowance[from][msg.sender] >= value, 'allowance too low');
    balances[to] += value;
    balances[from] -= value;
    emit Transfer(from, to, value);
    return true;   
}

function approve(address spender, uint value) public returns (bool) {
    allowance[msg.sender][spender] = value;
    emit Approval(msg.sender, spender, value);
    return true;   
}

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