Solidity：兼顾命名返回、代码覆盖与私有变量正确性的方案问询

针对你遇到的三个核心冲突，这里给出直接可落地的解决方案，兼顾SolHint合规、代码正确性与LCOV覆盖统计：

核心思路 #

遵循Solidity命名惯例区分私有变量与命名返回值，同时通过显式return语句确保LCOV识别返回行的执行状态，从根源避免变量遮蔽和覆盖统计错误。

方案1：用命名惯例避免变量遮蔽 #

Solidity社区惯例中，私有/内部变量以下划线开头命名，而返回值、外部参数不用。利用这个惯例，直接给命名返回值使用无下划线的同名，既符合gas-named-return-values规则，又不会遮蔽私有变量：

// 私有变量以下划线开头，遵循社区惯例
uint256 private _privateBalance;

function getBalance() external view returns (uint256 privateBalance) {
    // 直接赋值命名返回值，无遮蔽风险
    privateBalance = _privateBalance;
    // 显式添加return语句，确保LCOV识别该行为已覆盖
    return;
}

方案2：分支场景下的覆盖与正确性保障 #

如果函数包含分支逻辑，需确保每个分支都对命名返回值完成赋值，最后统一添加return语句，避免LCOV误判返回行未覆盖：

uint256 private _lockedFunds;
bool private _isContractLocked;

function withdrawableFunds() external view returns (uint256 availableFunds) {
    if (_isContractLocked) {
        availableFunds = 0;
    } else {
        availableFunds = _lockedFunds;
    }
    // 显式return，让LCOV明确捕获到返回行的执行
    return;
}

为什么之前的方案失效？ #

1. 移除命名返回：直接违反gas-named-return-values规则，SolHint必然报错；
2. 同名命名返回：会遮蔽私有变量，导致函数内对返回值的赋值覆盖私有变量本身，破坏代码正确性；
3. 本地变量返回：LCOV对Solidity命名返回的检测逻辑会忽略这种场景，误判返回行未覆盖——因为它默认识别命名返回的赋值+显式return为完整的返回流程。

额外注意事项 #

• 严格遵守命名规范：私有变量下划线开头，从根源避免变量名冲突；
• 分支逻辑中务必覆盖所有路径的返回值赋值，既保证代码正确性，也满足分支覆盖要求；
• 不要省略return语句：即使命名返回已赋值，显式return是LCOV正确统计覆盖的关键。

内容的提问来源于stack exchange，提问作者a.t.