Solidity变量继承机制解惑：private变量访问冲突问题

核心原因：合约上下文与private变量的可见性规则 #

你遇到的现象本质是Solidity中合约上下文和private变量可见性共同作用的结果，并非继承是“复制代码”的误解：

1. 调用父合约函数时的上下文
   当你部署FireGolem后调用attackBasic，这个函数本质是父合约Golem定义的函数，它的执行逻辑始终运行在Golem的合约上下文里。由于attackMod是Golem自己定义的private变量，在自身的函数中自然可以正常访问，所以能返回20*2=40的结果。子合约只是继承了该函数的调用权限，并没有将函数代码复制到子合约中以子合约的上下文执行。

2. 子合约函数直接访问的限制
   当你在FireGolem中新增test函数并尝试直接引用attackMod时，这个函数属于FireGolem的合约上下文。根据Solidity的可见性规则：

• private修饰的变量/函数，仅能在定义它的合约内部访问，子合约哪怕继承了父合约，也无法直接引用父合约的private成员。
  所以编译器会报错“Undeclared identifier”，因为在FireGolem的上下文里，attackMod是未声明的标识符。

Solidity继承的实际工作机制 #

Solidity的继承并非简单的“代码复制”，而是通过继承链实现逻辑复用：

• 子合约会继承父合约的public/internal成员的访问权限，以及public/external函数的调用权限
• 所有合约的状态变量（包括父合约的）最终都会存储在子合约的存储槽中，但访问权限由可见性修饰符严格控制
• 父合约的private成员仅对父合约自身可见，子合约无法直接访问，只能通过父合约提供的public/internal函数间接操作（比如这里的attackBasic）

验证示例 #

如果在父合约中新增一个internal函数来返回attackMod，子合约就能通过这个函数间接访问：

contract Golem {
    // ... 原有代码
    function getAttackMod() internal view returns(int) {
        return attackMod;
    }
}

contract FireGolem is Golem {
    function test() public view returns(int){
        return attack * getAttackMod(); // 此时可以正常编译运行
    }
}

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