Framework DSW项目周记1
本周实现了一个基于PHP的动态泛型方案。现在PHP可以按照下面的例子来使用泛型了：
<?php
require_once 'FrameworkDSW/System.php';
/**
* @param <T, P> <--这里是推荐的phpDoc定义方式
*/
class TChild extends TObject {
/**
* @param T $p
*/
public function Func($p) {
try {
TType::Type($p, $this->GenericArg('T'));
}
catch (EInvalidTypeCasting $e) {
echo get_class($e) . ' ($p is <div style="border: 1px solid"> ' . var_export($p, true) . '</div>)<br/>';
}
}
/**
* @param T $t
* @param P $p
*/
public function FuncTwo($t, $p) {
try {
TType::Type($t, $this->GenericArg('T'));
}
catch (EInvalidTypeCasting $e) {
echo get_class($e) . ' ($t is <div style="border: 1px solid"> ' . var_export($t, true) . '</div>)<br/>';
}
try {
TType::Type($p, $this->GenericArg('P'));
}
catch (EInvalidTypeCasting $e) {
echo get_class($e) . ' ($p is <div style="border: 1px solid"> ' . var_export($p, true) . '</div>)<br/>';
}
}
}
echo '<p>TEST 1</p>';
TChild::PrepareGeneric(array ('T' => 'integer')); //相当于TChild<T: integer>
$obj = new TChild();
$obj->Func(0);
$obj->Func(new TObject()); //此处出错！不是integer
$obj->Func(true); //不出错，因为true是可以转换成1的，根据PHP的==号规则
$obj->Func('string'); //不出错，因为可以转换成0，根据PHP的==号规则
echo '<p>TEST 2</p>';
TChild::PrepareGeneric(array ('T' => 'integer', 'P' => 'TObject'));
$obj = new TChild();
$obj->FuncTwo(0, new TObject());
$obj->FuncTwo(new TObject(), 0); //出错，TObject不是integer，0不是TObject
class TComplex extends TObject {
/**
*
* @param T $t
*/
public function Func($t) {
TType::Type($t, $this->GenericArg('T'));
}
}
echo '<p>TEST 3</p>';
TChild::PrepareGeneric(array ('T' => 'integer', 'P' => 'boolean'));
$c = new TChild();
TComplex::PrepareGeneric(array ('T' => array ('TChild' => array ('T' => 'integer', 'P' => 'boolean'))));
$obj = new TComplex();
$obj->Func($c);
$obj->Func(true);//出错：true不是TChild<T: integer, P: boolean>
注意我们的框架中的泛型是动态泛型。所谓的动态泛型就是在新建对象或者调用静态方法时，可以动态的指定泛型参数，而定义类或者静态方法时不需要指定所需要的泛型参数定义（虽然这个不是好习惯对于我来说，但是保证了PHP的灵活性），也就是说，在Java中需要这样定义和使用：
class Sample<T, P> {
public static <Q> void Foo(Q param) { /*...*/ }
public static void main(String[] args) {
Sample<String, Integer> s = new Sample<String, Integer>(); //类的泛型
Sample.<Integer>Foo(100); //泛型方法
}
}
而现在在PHP里面可以这样使用：
/**
* @param <T, P>
*/
class TSample extends TObject {
/**
* @param Q $param
*/
public static function Foo($param) { /*...*/ }
}
TSample::PrepareGeneric(array ('T' => 'string', 'P' => 'integer'));
$s = new TSample();
TSample::PrepareGeneric(array ('X' => 'string', 'Y' => array( 'TSample' => array ('Z' => 'string'))));
$s2 = new TSample();
//动态就在这里体现出来了，现在$s2拥有的泛型参数和$s是完全不同的。
//$s的是<T: string, P: integer>
//$s2的是<X: string, Y: TSample<Z: string>>
TSample::PrepareGeneric(array ('Q' => 'integer'));
TSample::Foo(100);
TSample::PrepareGeneric(array ('P' => 'string'));
TSample::Foo(100);
//这个是方法泛型的动态。
最后，附上相关的API：
void TObject::PrepareGeneric(array $Args) //为下次创建对象或调用静态方法准备泛型的参数，如果需要的话。 mixed TObject::GenericArgs() //返回当前对象所有泛型参数的值。 mixed TObject::GenericArg(string $ArgName) //返回当前对象特定泛型参数名称的泛型参数值。 mixed TObject::StaticGenericArgs() //返回当前类的泛型参数值，泛型静态方法用。 mixed TObject::StaticGenericArgs(string $ArgName) //返回当前类的某一泛型参数的值，泛型静态方法用。 boolean TObject::IsInstanceOf(mixed $Type) //判断当前对象是不是$Type描述的类型。 mixed TObject::ObjectType() //返回当前对象的类型信息。 void TType::Type(mixed &$Var, mixed $Type) //确保$Var是$Type类型的变量。 void TType::Obejct(object &$Var, mixed $Type) //确保$Var是$Type类型的对象。
接下来将要实现的是统一数据库访问接口和对容器框架的泛型化……