为何Solidity的tokenOfOwnerByIndex函数执行assert后返回0？

嘿，咱们来把这个问题掰明白——你遇到的返回0的情况，其实和assert的错误触发逻辑关系不大，核心问题出在函数的返回值处理上：

先理清两个关键知识点 #

• assert的实际行为：在Solidity中，如果assert的条件不满足（比如_index >= balanceOf(_owner)），会直接触发panic错误（0.8.0之前是invalid opcode），此时整个交易会被回滚，函数根本不会返回任何值——用户端只会收到交易失败的通知，而不是得到一个返回值。
• 未初始化变量的默认值：你的函数声明了要返回uint _tokenId，但在assert通过后，完全没有给这个变量赋值。Solidity里值类型的变量如果没显式初始化，默认值就是0，所以当assert条件成立（也就是索引合法）时，函数会直接返回这个默认的零值。

你可能混淆了两种场景 #

1. 索引越界时：assert触发，交易回滚，没有返回值。
2. 索引合法时：assert通过，但函数没有执行任何获取对应tokenId的逻辑，所以返回默认的0。

举个例子看你的代码，问题一目了然：

function tokenOfOwnerByIndex(address _owner, uint256 _index) public view returns (uint _tokenId) {
    assert(_index < balanceOf(_owner)); // 超出范围时抛出...
    // 这里完全没有根据_owner和_index获取tokenId的逻辑！
}

顺便说下ERC721兼容性的正确做法 #

要满足ERC721标准，你需要维护一个存储用户持有的tokenId列表的映射，比如：

mapping(address => uint256[]) private _ownedTokens;

然后在tokenOfOwnerByIndex函数里，assert通过后返回_ownedTokens[_owner][_index]，这样才能正确返回用户指定索引的tokenId，同时在越界时触发错误回滚，符合标准要求。

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