在C++ 11草案的14.8.2.4p10中,写了
如果对于每种类型被认为是给定的模板至少对所有类型都是专用的,并且对于某些类型更专用,而另一个模板对于任何类型都不是更专用的,或者至少不是对任何类型的专用,那么给定的模板比其他模板更专业.
为什么"或者至少不是任何类型的专业"？据我所知,如果我们有一个类型列表
T1, T2, T3
U1, U2, U3
如果所有Ts至少都是专业的,有些则更专业.并且没有一个人更专业,那么在我看来,从逻辑上讲,整个T的集合比U集合更专业.为什么当时没有一个人至少比相应的Ts更专业？