ThinkPHP6 核心分析之Http 类跟Request类的实例化

以下源码分析，我们可以从 App，Http 类的实例化过程，了解类是如何实现自动实例化的，依赖注入是怎么实现的。

从入口文件出发

当访问一个 ThinkPHP 搭建的站点，框架最先是从入口文件开始的，然后才是应用初始化、路由解析、控制器调用和响应输出等操作。

 

入口文件主要代码如下：

 

App 实例化

执行 new App() 实例化时，首先会调用它的构造函数。

 

 

构造函数实现了项目各种基础路径的初始化，并读取了 provider.php 文件，将其类的绑定并入 $bind 成员变量，provider.php 文件默认内容如下：

 

 

合并后，$bind 成员变量的值如下：

 

 

$bind 的值是一组类的标识到类的映射。从这个实现也可以看出，我们不仅可以在 provider.php 文件中添加标识到类的映射，而且可以覆盖其原有的映射，也就是将某些核心类替换成自己定义的类。

 

static::setInstance($this) 实现的作用，如图：

 

 

think\App 类的 $instance 成员变量指向 think\App 类的一个实例，也就是类自己保存自己的一个实例。

instance() 方法的实现：

 

 

其中的getAlias方法：

 

 

执行结果大概是这样的：

 

Http 类的实例化以及依赖注入原理

这里，$http = (new App())->http，前半部分好理解，后半部分乍一看有点让人摸不着头脑，App 类并不存在 http 成员变量，这里何以大胆调用了一个不存在的东东呢？

 

原来，App 类继承自 Container 类，而 Container 类实现了__get() 魔术方法，在 PHP 中，当访问到的变量不存在，就会触发__get() 魔术方法。该方法的实现如下：

 

 

实际上是调用get()方法：

 

 

然而，实际上，主要是make()方法：

 

 

然而，make()方法主要靠invokeClass()来实现类的实例化。该方法具体分析：

 

 

以上代码可看出，在一个类中，添加__make()方法，在类实例化时，会最先被调用。以上最值得一提的是bindParams()方法：

 

 

而这之中，又最值得一提的是getObjectParam()方法：

 

 

getObjectParam() 方法再一次光荣地调用 make() 方法，实例化一个类，而这个类，正是从 Http 的构造函数提取的参数，而这个参数又恰恰是一个类的实例 ——App 类的实例。到这里，程序不仅通过 PHP 的反射类实例化了 Http 类，而且实例化了 Http 类的依赖 App 类。假如 App 类又依赖 C 类，C 类又依赖 D类…… 不管多少层，整个依赖链条依赖的类都可以实现实例化。

 

总的来说，整个过程大概是这样的：需要实例化 Http 类 ==> 提取构造函数发现其依赖 App 类 ==> 开始实例化 App 类（如果发现还有依赖，则一直提取下去，直到天荒地老）==> 将实例化好的依赖（App 类的实例）传入 Http 类来实例化 Http 类。

 

这个过程，起个装逼的名字就叫做「依赖注入」，起个摸不着头脑的名字，就叫做「控制反转」。

 

这个过程，如果退回远古时代，要实例化 Http 类，大概是这样实现的（假如有很多层依赖）：

 

 

这得有多累人。而现代 PHP，交给「容器」就好了。

 

另外，需要提的一点是 make 方法的 $vars 参数，它的形式可以是普通数组、关联数组，而且数组中元素的值可以是一个类的实例。$vars 参数的值最终将传递给要实例化的类的构造函数或者__make 方法中对应的参数。

 

Request 类的实例化

接上一面，得到Http类的一个实例后，程序接下来执行$response = $http->run();。其中run()方法代码如下：

 

 

从「request」标识找到要实例化的类

run() 方法的第一行通过容器类实例 app 调用 make() 方法并传入 Request 类的标识来实例化 Request 类。具体过程如下分析。

 

通过 make() 方法首先解析得到 request 标识对应的标识 think\Request, 进一步递归解析，又得到 app\Request 类 —— 这个才是最终要实例化的类。

 

app\Request 类对应的文件位于 app 目录下，代码如下：

 

 

实际上它啥事也没干，直接继承系统的 \think\Request。当然我们也可以在这里对系统的 Request 类进行改写重构。

调用 invokeClass () 方法

从类的标识解析得到最终需要实例化的类（单例模式下，且该类还不存在实例）之后，程序调用 invokeClass () 方法，通过 PHP 的反射类实现类的实例化。由于 \think\Request 类存在__make() 方法，所以实例化之前首先调用该方法。__make() 方法代码如下：

 

 

__make()方法首先实例化think\Request类自身。think\Request类构造函数如下：

 

 

构造函数读取了 php://input 保存起来。接着，__make() 方法保存了一些请求相关的数据，最后返回一个 Request 类实例。最后的最后， make() 方法也成功得到该实例，整个过程跟 Http 类的实例化类似。该 Request 类实例部分成员变量如图：

 

保存「Request」类的实例到「$instances」数组

得到 Request 类的实例后，run() 方法接着将该实例保存到「$instance」数组，以便后面单例模式要用到时可以直接获取。$instances 数组的值如图，Request 类的实例已保存在里面：