11.5.1 保证对象的存在