为何同一合约中Getter函数无法访问Setter函数内变量？Lottery合约问题

原代码核心错误 #

• 变量作用域问题：winner是selectWinner()的局部变量，showWinner()无法访问该变量，编译直接报错。
• view函数违规操作：showWinner()标记为view（只读函数），但transfer()会修改合约余额（属于写操作），Solidity禁止只读函数执行状态修改。
• 返回值类型不匹配：transfer()无返回值，而showWinner()声明返回address，类型完全不兼容。
• 权限校验冲突：getMoney()要求调用者是manager，非管理员调用showWinner()会触发校验失败。

修正方案：分离选奖与展示逻辑（推荐） #

将中奖者地址存储为合约全局变量，selectWinner()负责选奖并转账，showWinner()仅返回中奖者地址：

contract Lottery{
    address public manager;
    address payable[] public participants;
    address payable public lastWinner; // 新增全局变量存储最后中奖者

    constructor(){
        manager = msg.sender;   
    }

    receive() external payable{       
        require(msg.value == 1 ether);
        participants.push(payable(msg.sender));
    } 

    function getMoney() public view returns(uint){
        require(msg.sender == manager);
        return address(this).balance;
    }

    function random() public view returns(uint){
        return uint(keccak256(abi.encodePacked(block.difficulty,block.timestamp,participants.length)));
    }

    function selectWinner() public{
        require(msg.sender == manager);
        require(participants.length >= 3);
        uint r = random();
        uint index = r % participants.length;   
        lastWinner = participants[index];
        lastWinner.transfer(getMoney());   
        // 可选：清空参与者列表，准备下一轮抽奖
        participants = new address payable[](0);
    }

    function showWinner() public view returns(address){
         return lastWinner; // 返回存储的中奖者地址
    }
}

替代方案：在showWinner中执行转账（不推荐，仅满足需求） #

若需将转账逻辑移至showWinner()，需修改函数属性为非只读，同时处理权限与状态：

contract Lottery{
    address public manager;
    address payable[] public participants;
    address payable public currentWinner; // 存储待转账的中奖者

    constructor(){
        manager = msg.sender;   
    }

    receive() external payable{       
        require(msg.value == 1 ether);
        participants.push(payable(msg.sender));
    } 

    function getMoney() public view returns(uint){
        require(msg.sender == manager);
        return address(this).balance;
    }

    function random() public view returns(uint){
        return uint(keccak256(abi.encodePacked(block.difficulty,block.timestamp,participants.length)));
    }

    function selectWinner() public{
        require(msg.sender == manager);
        require(participants.length >= 3);
        uint r = random();
        uint index = r % participants.length;   
        currentWinner = participants[index]; // 先选出中奖者
    }

    function showWinner() public returns(address){
         require(msg.sender == manager);
         require(currentWinner != address(0), "No winner selected yet");
         currentWinner.transfer(getMoney());
         // 重置状态准备下一轮
         participants = new address payable[](0);
         address payable winnerToReturn = currentWinner;
         currentWinner = payable(address(0));
         return winnerToReturn;
    }
}

关键注意事项 #

1. 变量作用域：跨函数访问的变量必须声明为合约级全局变量，局部变量仅能在定义它的函数内使用。
2. 函数属性规则：view函数只能读取状态，不能修改；只有非view/pure函数才能执行transfer这类写操作。
3. 安全补充：原随机数生成方式存在可预测性风险，生产环境建议使用Chainlink VRF等可信链上随机数服务。

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