12.4 隐式引入