12.5.2 逻辑类型的应用