将C++视为由以下4个次语言组成的联邦而非单一语言。
每个次语言都有自己的高效编程规则; 在某个次语言内部,各种高效编程规则都倾向简单、固定; 当从某个次语言切换到另一个时,高效编程规则可能会发生改变。