Some关键词

不使用some

iShot20220407 下午10.01.19.png

使用some

iShot20220408 下午8.14.58.png

Where关键词

条件约束

iShot20220408 下午8.26.45.png

异常捕捉(属于条件约束)

iShot20220408 下午8.36.59.png

iShot20220408 下午8.37.35.png

类型约束

iShot20220408 下午8.51.24.png

Q.E.D.