if i != 0
这个部分：
if i != 0
会被 compiler 自动解析为 PF 的 isDefinedAt() 函数，这个函数返回 boolean，用来确定 PF 的定义域。
1 Matching Annotations
- Mar 2018
-
alvinalexander.com alvinalexander.com
-
if i != 0
这个部分：
if i != 0
会被 compiler 自动解析为 PF 的 isDefinedAt() 函数，这个函数返回 boolean，用来确定 PF 的定义域。