18.4 检查型变注解