阻止单位不同的物理量互操作并不难——我们可以简单地用类来表现单位，并且只允许相同的类（单位）互操作。但是问题并不止是这么简单，不同的单位可以通过乘或除结合起来，从而产生一个复杂的新单位，由于可以不断乘除，所以产生的新单位其复杂度几乎是任意的。看来问题变得更有趣了！例如，牛顿定律（它将力，质量，加速度三者联系起来）:
f=ma
由于质量和加速度有着不同的单位，所以力的单位必须是两者的结合。事实上，加速度的单位就已经是个“混合物”了——单位时间内速度的改变：
dv/dt
又因为速度即“单位时间内经过的距离”，所以加速度的基本单位是：
(l/t)/t=l/t2
并且，加速度通常以“米每平方秒”来衡量。所以，力的单位为：
ml/t2
也就说，力通常以kg(m/s2)或“千克米每平方秒”来衡量。当我们将质量和加速度相乘时，我们除了将数量相乘之外还必须将单位相乘，这可以帮我们确信结果是有意义的。这种（对单位的）簿记的正式名称为单位分析，而我们的下一个任务就是在c++类型系统中实现它。john barton和lee nackman在它们的著作《scientific and engineering c++》中第一次展示了如何实现它。我们将沿袭他们的思路，只不过重新以元编程的方式来实现。
