大家肯定听说过程序要具有金字塔结构，也听说过IOC。问问大家，“解耦”这个词，更能让你联想到IOC，还是程序的金字塔。我觉得大多数人的答案应该是IOC，为什么IOC这个词和解耦的相关性更高呢？我猜测是大家在阅读文章的时候，特别是讲语言，讲编程思想的文章时，你大概率都会听到多态，面向接口编程，设计模式这些概念，以及它们在解耦方面的建树，而IOC使用到了开发语言的多态特性，也是面向接口编程的绝好案例。但是，大家思考过“为什么IOC能解耦”这个问题吗？在思考这个问题前，要先思考“什么是耦合”。耦合原本是机械和电学领域的概念，用以形容多个组件或元件相互影响，相互配合，相互制约。存在相关性的对象之间，就存在耦合。耦合并不是一个或有或无的指标，它是一个存在强弱之分的指标。编程领域所说的解耦，其实并不是说解除两个组件之间的相关性，而是降低两个组件之间的相关性。为什么IOC能解耦这个问题就可以换句话说，为什么IOC能降低两个组件的相关性？

当对象A在它的内部new了对象B时，A与B的相关性是编码时就确定下来的，如果A使用了IOC呢，A通过构造函数或set函数接收了B的实例，那么A与B的相关性是在A被创建的时候才确定下来的。IOC降低了A和B的相关性了吗？降低了，因为第一种情况下，如果你要通过调整B去调整A，那么你需要修改A，而第二种情况下，同样要通过调整B去调整A，你却不需要对A进行修改。这个解耦是通过什么实现的，是通过推迟对象A和对象B确定相关性的时间来实现的。当A已经开始运转的时候，不论B是A自己new的，还是IOC注入的，A和B此时的相关性都是相同的，但在A的生命周期内，B介入的越晚，AB的相关性越弱。举个不很恰当的例子，汽车的变速箱有5套齿轮，变速箱的任何一套齿轮和传动轴的齿轮啮合的时候，它们和传动轴的相关性都是一样的（或者说和汽车运动的相关性是一样的），每套齿轮都能严丝合缝的和传动轴咬合在一起，但是5档的齿轮和1档的齿轮和汽车运动的相关性却不是一样的，5档的齿轮可以坏，无非你只在1234档开车，但是1档的齿轮坏了，你却连起步都做不到。在汽车行驶的生命周期内，1档是靠前的，5档是靠后的，1档和5档与汽车运动的相关性不一样，但这个不一样，并不是说它们咬合时候的相关性有区别，而是它们介入汽车运动的生命周期时点不一样，介入的越晚，相关性越弱。

我一直想不明白，程序的金字塔结构，是不是一种解耦。你细品，你能在脑海里找到一个概念，紧密的把它们两联系起来吗？直到我发现解耦并不是降低两个组件的相关性，而是推迟了两个组件发生相关的时间，这是一个时间维度上的控制，很自然的我们能想到另一个维度，那就是空间维度！这不就是金字塔吗！？在程序底部的系统要尽可能抽象，尽可能少的夹杂业务逻辑，越往上，业务内容越多，程序越接近产品形态。这是一个空间上的递进具化规则，底部是抽象的，顶部是具象的。我们为什么要让数据库表A和表B在DAO层才发生相关，因为它们相关的点越上层，它们的耦合就越松。

我将这两个维度上的解耦措施统称为：递进具化，或者叫推迟具象。意思是逐渐的去具象化你的依赖方，不要一开始就是一个特别具体的对象，你把它在你的生命周期里往后推，你先依赖一个抽象的东西，等不得不的时候，必要的时候，你再让那个东西具体起来。当你尽量的去推迟具化时，你就是在做解耦这件事，因为你在让B尽可能晚地介入进A的生命周期中去。你无法降低A和B协同工作时的相关性，但是你可以尽量让B晚一些和A发生相关性。

我认为递进具化是软件结构所遵循的一般规则，如果我们在开发的过程中顺应这个规则，我们产出的代码就会是自然的，和谐的，融洽的。