为什么这个 Solidity 函数在断言后返回 0？

Question

我写了这个函数：

// Function to get an owned token's id by referencing the index of the user's owned tokens.
// ex: user has 5 tokens, tokenOfOwnerByIndex(owner,3) will give the id of the 4th token.
function tokenOfOwnerByIndex(address _owner, uint256 _index) public view returns (uint _tokenId) {
    // TODO: Make sure this works. Does not appear to throw when _index<balanceOf(_owner), which violates
    //       ERC721 compatibility.
    assert(_index<balanceOf(_owner)); // throw if outside range
    return ownedTokenIds[_owner][_index];
}

当 _index 为 2 且 _owner 使 balanceOf(_owner) 为 0 时，该函数在 Remix IDE 中返回 0。我的假设是它不会返回任何东西。我的问题是：

A) 为什么断言失败后返回 0？

B) 当我使用上述参数运行它时，如何让它不返回 0？

谢谢， 沃恩

Answer 1

删除我的另一个答案，因为它不正确。

view 函数中的错误处理条件不会冒泡到客户端。它们仅用于恢复区块链上的状态更改交易。对于 view 函数，处理将停止并返回指定返回类型的初始 0 值（uint 为 0，bool 为 false 等）。

因此，view 函数的错误处理必须在客户端进行。如果您需要能够区分有效的 0 返回值和错误，您可以执行以下操作：

function tokenOfOwnerByIndex(address _owner, uint256 _index) public view returns (uint, bool) {
    bool success = _index < balanceOf(_owner);
    return (ownedTokenIds[_owner][_index], success);
}