15.5 类型列表限制常量和实现