12.1.4 算例类型