类型:确定地可能