谈谈php里的IOC控制反转,DI依赖注入-程序员宅基地

技术标签: php  

理论

发现问题

在深入细节之前,需要确保我们理解"IOC控制反转"和"DI依赖注入"是什么,能够解决什么问题,这些在维基百科中有非常清晰的说明。

  • 控制反转(Inversion of Control,缩写为IoC):是面向对象编程中的一种设计原则,可以用来减低计算机代码之间的耦合度。
  • 依赖注入(Dependency Injection,简称DI):DI是IOC的一种实现,表现为:在类A的实例创建过程中即创建了依赖的B对象,通过类型名称来判断将不同的对象注入到不同的属性中。
  • 依赖查找(Dependency Lookup,简称DL):DL是IOC的另外一种实现,在需要的时候通过调用框架提供的方法来获取对象,获取时需要提供相关的配置文件路径、key等信息来确定获取对象

依赖注入与依赖查找是控制反转的2种实现方式,后者很少见,我们主要研究依赖注入。

如果此前没有接触过这些概念,可能还是过于抽象不容易理解,但是下面这个场景你应该是见过的:

因为大多数应用程序都是由两个或是更多的类通过彼此的合作来实现业务逻辑,这使得每个对象都需要获取与其合作的对象(也就是它所依赖的对象)的引用。如果这个获取过程要靠自身实现,那么这将导致代码高度耦合并且难以维护和调试。

也就是说:"Class A中用到了Class B的对象b,一般情况下,需要在A的代码中显式的new一个B的对象",这就导致如果A想将B替换为一个更优的实现版本B+时,需要修改代码显式的new一个B+对象。

解决这个问题的传统做法一般是为B和B+提取一个InterfaceOfB接口,然后让class A只依赖InterfaceOfB,最终由A类的调用方决定传入B还是B+对象,修改调用方代码和修改类A代码对我们来说并没有本质的改变,那是否有更好的方式呢?

解决思路

终于,懒惰的程序员对这种代码开发方式感到厌烦:因为我们在代码里控制了B类对象的生成,从而导致代码耦合,即便A类依赖InterfaceOfB,还是要在程序某处写死new B()或者new B+()这样的代码,怎么破解?

答案是:将B类对象的生成交给一个独立的对象生成器来负责,那么A类只需要依赖这个对象生成器,而至于到底是生成B还是B+对象,则是对象生成器内部的行为,这样就将A和B解耦开了,这就是所谓的"控制反转",即将控制权交给了对象生成器。

这么简单的将问题抛给对象生成器可不行,因为对象生成器还要面临new B还是new B+的硬编码问题,因此必须赋予对象生成器一个超能力:

  • 在对象生成器的配置文件中进行这样的描述:{"InterfaceOfB" : "Class B+"},表示InterfaceOfB接口应该实例化B+对象。
  • A类构造函数有一个InterfaceOfB的入参,例如:function __construct(InterfaceOfB obj)。
  • 调用对象生成器(DI)获取A类对象,DI->get("class A")。对象生成器会利用反射分析class A的构造函数,发现InterfaceOfB参数后根据此前配置文件描述,new B+()对象传入到A的构造函数,从而生成A对象。

总结上述流程就是:对象生成器通过反射机制分析A类的构造函数依赖,并根据配置中的关系生成依赖的对象实例传入给构造函数,最终完成A类对象的创建。

上面的过程就是"依赖注入"主要实现方式了,对象生成器我们通常成为"DI Container",也就是"依赖注入容器"。

需要注意的是:B或者B+的构造函数可以会依赖InterfaceOfC,因此整个依赖关系的分析是递归的。

实践

上面在谈'DI依赖注入"的时候,我们非常清楚的了解到 DI会根据构造函数进行依赖分析,但是很容易忽视{"InterfaceOfB" : "Class B+"}这个信息的来源。如果DI不知道这个信息,那么在分析构造函数时是不可能知道接口InterfaceOfB应该对应什么对象的,这个信息在DI实现中一般是通过set方法主动设置到DI容器的依赖关系中的,当然这个信息的存储介质可以是配置文件或者硬编码传入。

下面拿PHP的Yii2.0框架为例,看看它实现DI时的核心思路是什么,不会讲的太细,但上面提到的思路和概念都会有所体现。

set设置类定义

public function set($class, $definition = [], array $params = [])
{
    $this->_definitions[$class] = $this->normalizeDefinition($class, $definition);
    $this->_params[$class] = $params;
    unset($this->_singletons[$class]);
    return $this;
}

这就是上面提到{"InterfaceOfB" : "Class B+"}的设置接口,比如这样用:

$container->set('yii\mail\MailInterface', 'yii\swiftmailer\Mailer');

意思就是如果遇到依赖MailInterface的,那么构造一个Mailer对象给它,params是用于传给Mailer::__construct的构造参数,之前提过依赖分析是递归的,Mailter对象的构造也是DI负责的(不是简单的new出来),一旦你传了构造参数给Mailer,那么DI就不用反射分析Mailter的依赖了,直接传入params既可new一个Mailer出来。

get生成类对象

public function get($class, $params = [], $config = [])
    {
        if (isset($this->_singletons[$class])) {
            // singleton
            // 此前已经get过并且设置为单例,那么返回单例对象既可
            return $this->_singletons[$class];
        } elseif (!isset($this->_definitions[$class])) {
            // 非单例需要生成新对象,但是此前没有set过类定义,
            // 因此只能直接反射分析构造函数的依赖
            return $this->build($class, $params, $config);
        }

        // 此前设置过的类定义,对类进行了更具体的定义,帮助我们更快的构造出对象
        $definition = $this->_definitions[$class];

        // 类定义可以是一个函数,用于直接为DI生成对象
        if (is_callable($definition, true)) {
            // 将set设置的构造参数和本次传入的构造参数merge到一起
            // 然后分析这些传入的构造参数是否为实参(比如:int,string),这是因为yii允许
            // params是Instance对象,它代表了另外一个类定义(它内部指向了DI容器中某个definition)
            // 为了这种构造参数能够传入到当前的构造函数,需要递归调用di->get将其创建为实参。
            $params = $this->resolveDependencies($this->mergeParams($class, $params));
            // 这个就是函数式的分配对象,前提是构造参数需要确保都是实参
            $object = call_user_func($definition, $this, $params, $config);
        } elseif (is_array($definition)) { // 普通的类定义
            $concrete = $definition['class'];
            unset($definition['class']);

            // 把set设置的config和这次传入的config合并一下
            $config = array_merge($definition, $config);
            // 把set设置的params构造参数和这次传入的构造参数合并一下
            $params = $this->mergeParams($class, $params);

            // 这里: $class代表的就是MailInterface,而$concrete代表的是Mailer
            if ($concrete === $class) {
                // 这里是递归出口,生成目标class对象既可,没有什么可研究的
                $object = $this->build($class, $params, $config);
            } else {
                // 显然,这里要构造MailInterface是等同于去构造Mailer对象
                $object = $this->get($concrete, $params, $config);
            }
        } elseif (is_object($definition)) {
            return $this->_singletons[$class] = $definition;
        } else {
            throw new InvalidConfigException("Unexpected object definition type: " . gettype($definition));
        }

        if (array_key_exists($class, $this->_singletons)) {
            // singleton
            $this->_singletons[$class] = $object;
        }

        return $object;
    }

实现思路在此前的分析里都说的很明白了,并不是很难理解。这个函数通过class指定要分配的类,params指定了构造参数,和之前的set原理一样:如果构造参数齐全是不需要分析依赖的。(最后的config是要注入到对象的额外属性,属于yii2特性,不是重点)。

至于build构造对象时,又需要做什么呢?就是基于反射机制获取构造函数依赖了哪些类,然后如果params传入了构造参数那么直接使用params参数,如果没有指定则需要递归的DI->get()去生成实参,最终通过构造函数生成对象。

 protected function build($class, $params, $config)
    {
        /* @var $reflection ReflectionClass */
        // 利用反射,分析类构造函数的参数,
        // 其中,返回值reflection是class的反射对象,
        // dependencies就是构造函数的所有参数了,有几种情况:
        // 1,参数有默认值,直接用
        // 2, 没有默认值,并且不是int这种非class,那么返回Instance指向对应的class,等待下面的递归get
        list ($reflection, $dependencies) = $this->getDependencies($class);

        // 传入的构造函数参数优先级最高,直接覆盖前面反射分析的构造参数
        foreach ($params as $index => $param) {
            $dependencies[$index] = $param;
        }

        // 完整的检查一次参数,如果依赖是指向class的Instance,那么递归DI->get获取实例
        // 如果是指定int,string这种的Instance,那么说明调用者并没有params传入值,构造函数默认参数也没有值,
        // 必须抛异常
        // 如果不是Instance,说明是params用户传入的实参可以直接用
        $dependencies = $this->resolveDependencies($dependencies, $reflection);
        if (empty($config)) {
            return $reflection->newInstanceArgs($dependencies);
        }
        // 最后通过反射对象,传入所有构造实参,完成对象创建
        if (!empty($dependencies) && $reflection->implementsInterface('yii\base\Configurable')) {
            // set $config as the last parameter (existing one will be overwritten)
            $dependencies[count($dependencies) - 1] = $config;
            return $reflection->newInstanceArgs($dependencies);
        } else {
            $object = $reflection->newInstanceArgs($dependencies);
            foreach ($config as $name => $value) {
                $object->$name = $value;
            }
            return $object;
        }
    }

如果你感兴趣可以看看getDependencies和resolveDependencies实现,前者缓存了每个类的反射信息(反射很耗费性能),后者体现了Instance的用法:代表尚未实例化的class类对象,需要DI->get获取。

  protected function getDependencies($class)
    {
        if (isset($this->_reflections[$class])) {
            return [$this->_reflections[$class], $this->_dependencies[$class]];
        }

        $dependencies = [];
        $reflection = new ReflectionClass($class);

        $constructor = $reflection->getConstructor();
        if ($constructor !== null) {
            foreach ($constructor->getParameters() as $param) {
                if ($param->isDefaultValueAvailable()) {
                    $dependencies[] = $param->getDefaultValue();
                } else {
                    $c = $param->getClass();
                    $dependencies[] = Instance::of($c === null   null : $c->getName());
                }
            }
        }

        $this->_reflections[$class] = $reflection;
        $this->_dependencies[$class] = $dependencies;

        return [$reflection, $dependencies];
    }
   protected function resolveDependencies($dependencies, $reflection = null)
    {
        foreach ($dependencies as $index => $dependency) {
            if ($dependency instanceof Instance) {
                if ($dependency->id !== null) {
                    $dependencies[$index] = $this->get($dependency->id);
                } elseif ($reflection !== null) {
                    $name = $reflection->getConstructor()->getParameters()[$index]->getName();
                    $class = $reflection->getName();
                    throw new InvalidConfigException("Missing required parameter \"$name\" when instantiating \"$class\".");
                }
            }
        }
        return $dependencies;
    }

最后

最后还想简单说一下yii2的ServiceLoader,它基于DI Container封装了一层,将组件component单例维护在ServiceLoader内,而component的生成则通过DI Container实现。

不过有意思的是,ServiceLoader这样的实现并没能充分的使用DI Container的构造依赖注入能力,仅仅是传入component的class完成对象创建,最后注入了几个config指定的属性而已,并没有控制params的能力,这个可以看ServiceLoader中的set和get方法,然而这个设计基本要求了component的构造函数参数都应该能独立构造而不需要外部干预(干预是指DI->set进行类定义)。

除去ServiceLoader不谈,整个yii2.0框架也没找到可以通过配置文件自动化调用DI->set进行类定义的能力,硬编码属于走倒退的路,这基本上导致yii2.0对DI的应用能力停留在ServiceLoader层面,在递归解析依赖时也基本只能走无构造参数或者默认参数构造的路子。

正是在这种背景下,yii2.0的"依赖注入"也基本蜕化为ServiceLoader的get嵌套get,也就是类似"依赖查找"概念:在配置中分别写好A和B的component配置,并且配置A compoenent依赖B component,然后通过ServiceLoader得到A component,A类内部从配置中取出依赖的component(也就是B),最后通过ServiceLoader得到B component。

 

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/ccc82284/article/details/54142442

智能推荐

9.任务段(TSS)_tss段-程序员宅基地

文章浏览阅读1k次。在调用门、中断门与陷阱门中,一旦出现权限切换,那么就会有堆栈的 ,切换。而且,由于CS的CPL发生改变,也导致了SS也必须要切换。切换时,会有新的ESP和SS(CS是由中断门或者调用门指定)这2个值从哪里来的呢?答案: TSS (Task-state segment ),任务状态段TSS就是一块内存,大小104个节不要把TSS与任务切换联系到一起TSS的意义就在于可以同时换掉一堆寄存器..._tss段

学习使用简单的php-程序员宅基地

文章浏览阅读47次。配置文件在:/etc/php5/$中,不同的模式含有自己的php.ini配置文件。php可以运行于多种模式:cgi、fastcgi、cli、web模块模式等4种;我现在使用的模式是cli模式,这里进行一次测试。在ubuntu下需要安装sudo apt-get install php5-devphp应该是php5的链接。修改config.m4文件:..._php 简单项目 为学习用

解决ios,iphone的safari浏览器h5自动放大,input获得焦点页面被放大_ios浏览器小于15像素的时候会进行放大-程序员宅基地

文章浏览阅读1.2k次。得到焦点之前设置font-size:16像素。_ios浏览器小于15像素的时候会进行放大

SpringBootAdmin 服务搭建记录_spring boot admin client与spring boot admin server都-程序员宅基地

文章浏览阅读520次。搭建过程网上很多, 主要是各个依赖的版本, 导致的各种 jar 包问题, 此处记录下我的 pom 和 yml 文件目录SpringAdmin server pom文件1. SpringAdmin server 配置(1) pom文件<parent> <groupId>org.springframework.boot</groupId> <artifactId>spring-boot-starter-p..._spring boot admin client与spring boot admin server都配置spring-boot-starter-

python3中图像识别的应用open-CV库_python open-cv 小图搜大图-程序员宅基地

文章浏览阅读1.4k次。python3中图像识别的应用open-CV库什么是open-CV?OpenCV是一个基于BSD许可(开源)发行的跨平台计算机视觉库,可以运行在Linux、Windows、Android和Mac OS操作系统上。它轻量级而且高效——由一系列 C 函数和少量 C++ 类构成,同时提供了Python、Ruby、MATLAB等语言的接口,实现了图像处理和计算机视觉方面的很多通用算法(百度百科)。代码:定义图像识别的类import cv2import osfrom PIL import ImageGr_python open-cv 小图搜大图

Linux下安装anaconda3_anaconda do you wish to process the-程序员宅基地

文章浏览阅读1w次,点赞2次,收藏19次。1.下载anaconda清华大学开源软件镜像站anaconda下载地址:https://mirrors.tuna.tsinghua.edu.cn/anaconda/archive/2.安装Anaconda$ sudo sh Anaconda3-5.3.0-Linux-x86_64.sh [sudo] andrew 的密码: Welcome to Anaconda3 5.3.0In o..._anaconda do you wish to process the

随便推点

k8s 安装 kubernetes-dashboard-2.X_kubernetes 2.x-程序员宅基地

文章浏览阅读10w+次。安装使用 k8s 原生的 web图形化界面_kubernetes 2.x

saltstack自动化运维管理——saltstack之salt远程执行_salt 远程执行命令-程序员宅基地

文章浏览阅读287次。目录一、Salt命令的构成1、target2、funcation3、arguments二、编写远程执行模块1、编写模块2、了解YAML语法3、SLS4、配置管理(1)方法一(2)方法二(3)方法三(4)一些例子一、Salt命令的构成Salt命令由三个主要部分构成:salt '<target>' <function> [arguments]1、targettarget: 指定哪些minion, 默认的规则是使用glob匹配minion id。salt '*' test._salt 远程执行命令

关于协方差,协方差矩阵的个人理解_协方差矩阵的ρ-程序员宅基地

文章浏览阅读1.9k次,点赞3次,收藏10次。文章目录协方差协方差定义举例说明方差相关系数协方差矩阵(covariance matrix)举例说明数学符号表示协方差矩阵的应用马氏距离数学符号定义PCA降维使用sklearn中的np.cov遇到的坑协方差协方差定义协方差(Covariance)在概率论和统计学中用于衡量两个变量的总体误差。设有随机变量XXX和随机变量YYY,则协方差定义为:Cov(X,Y)=E((X−E[x])(Y−E[Y]))=E((Y−E[Y])(X−E[X]))Cov(X,Y)=E((X-E[x])(Y-E[Y]))_协方差矩阵的ρ

【LaTeX】LaTeX/Algorithms 伪代码_latex algorithm return-程序员宅基地

文章浏览阅读1.5k次,点赞2次,收藏4次。algorithmic和algorithmicx介绍下algorithmic和algorithmicx,这两个包很像,很多命令都是一样的,只是algorithmic的命令都是大写,algorithmicx的命令都是首字母大写,其他小写(EndFor两个大写)。下面是algorithmic的基本命令。\STATE <text>\IF{<condition>} \STATE{<text>} \ENDIF\FOR{<condition>} \STATE{_latex algorithm return

Linux和Windows操作系统,MySQL数据库备份(导出)和恢复(导入)_.nb3文件如何打开-程序员宅基地

文章浏览阅读1.3k次。方式一:通过终端执行命令(适用于Linux操作系统)备份:将DATABASENAME数据库备份到/opt目录生成DATABASENAME.db备份文件mysqldump -uUSERNAME-pPASSWORD--routines --databases DATABASENAME> /opt/DATABASENAME.db登录MySQL:mysql -uUSERNAME -pPASSWORD删除数据库:drop database DATABASENAME;创建数据库:crea..._.nb3文件如何打开