通过指定函数/方法形参类型提高PHP代码可靠性

指定形参类型是PHP 5就支持的一项特性。形参支持array - 数组、 object - 对象两种类型。

class User{
    public $name;
    public $password;
    function __construct($name,$password){
        $this->name=$name;
        $this->password=$password;
    }
}

//参数可以指定对象类型

function f1(User $user){
    echo $user->name,”,”,$user->password;
}

//参数可以指定数组类型

function f2(array $arr){}

//参数不可以指定基本类型,下面一句会出错

function f3(string $s){}

那对于我们最常见的需求，如强制参数类型是字符串或整型，怎么办呢？

在不考虑转换到Facebook的HHVM运行环境下的前提下，就用不了Hack语言。在没有Hack语言的情况下，就得自行定义一些基本类型类来完成相应的功能。

以下代码纯属思考，未经项目实证，对于相应性能或灵活性的影响需要在项目中实战评估。

class CString {
    private $_val = '';
    
    public function __construct($str = '') {
        if (!is_string($str)) {
            throw new Exception('Illegal data type');
        }
        $this->_val = $str;
    }
    
    public function __toString() {
        return $this->_val;
    }
}

class CInteger {
    private $_val = 0;
    
    public function __construct($str = 0) {
        if (!is_int($str)) {
            throw new Exception('Illegal data type');
        }
        $this->_val = $str;
    }
    
    public function __toString() {
        return (string) $this->_val;
    }
}

实际调用函数

function findUserByName(CString $name) {
     $sql = '....' . $name;
    //code
}

function findUserById(CInteger $id) {
     $sql = '.... AND uid=' . $id;
    //code
}

再往前走，对于集合型的数据呢？ Yii框架中定义过一些相关的集合类，基本可以解决此类问题。

如CTypedList：

class CTypedList extends CList
{
    private $_type;

    /**
     * Constructor.
     * @param string $type class type
     */
    public function __construct($type)
    {
        $this->_type=$type;
    }

    /**
     * Inserts an item at the specified position.
     * This method overrides the parent implementation by
     * checking the item to be inserted is of certain type.
     * @param integer $index the specified position.
     * @param mixed $item new item
     * @throws CException If the index specified exceeds the bound,
     * the list is read-only or the element is not of the expected type.
     */
    public function insertAt($index,$item)
    {
        if($item instanceof $this->_type)
            parent::insertAt($index,$item);
        else
            throw new CException(Yii::t('yii','CTypedList<{type}> can only hold objects of {type} class.',
                array('{type}'=>$this->_type)));
    }
}

而对于单纯的数组，能怎么办呢？