Solidity声明为view的函数修改状态报错，如何在同函数返回错误提示

你声明withdraw函数时加了view修饰符，而view修饰符要求函数只能读取合约状态、不能修改任何状态变量。你的提现逻辑中当余额充足时需要扣除balance的值，属于修改状态的操作，和view的规则冲突，因此编译失败。

完全可以在同一个withdraw函数中实现余额不足返回错误提示的需求，以下是两种常用实现方式：

方式1：使用Solidity内置错误校验（最推荐） #

用require关键字做前置校验，余额不足时直接抛出错误提示，同时自动回滚所有状态变更，无需手动处理返回逻辑：

pragma solidity >=0.4.16 <0.9.0;

contract Wallet {
    uint private balance = 0;
    
    function deposit(uint dep_amt) public {
        balance += dep_amt;
    }

    function withdraw(uint wdraw_amt) public {
        // 校验不通过时自动抛出错误并回滚状态
        require(wdraw_amt <= balance, "Insufficient Balance");
        balance -= wdraw_amt;
    }

    // 修正原函数拼写错误Balnce -> Balance
    function getBalance() public view returns (uint) {
        return balance;
    }
}

这种方式符合Solidity开发规范，失败时不会消耗多余的gas，错误信息会直接返回给调用方。

方式2：返回多参数标识执行结果+错误信息 #

如果你需要函数不抛出异常、而是主动返回成功状态和错误信息，可以去掉view修饰符，返回两个参数：第一个为布尔值表示提现是否成功，第二个为错误提示：

pragma solidity >=0.4.16 <0.9.0;

contract Wallet {
    uint private balance = 0;
    
    function deposit(uint dep_amt) public {
        balance += dep_amt;
    }

    function withdraw(uint wdraw_amt) public returns (bool success, string memory errorMsg) {
        if(wdraw_amt <= balance) {
            balance -= wdraw_amt;
            return (true, "");
        } else {
            return (false, "Insufficient Balance");
        }
    }

    function getBalance() public view returns (uint) {
        return balance;
    }
}

调用方可以根据返回的第一个布尔值判断提现是否成功，第二个参数读取错误信息。

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