20.16 对于缺少（直接的）潜在类型机制的补偿