添加非0断言