15.7.2 懒汉式