PHP中的类型约束介绍
PHP的类方法和函数中可实现类型约束，但参数只能指定类、数组、接口、callable 四种类型，参数可默认为NULL，PHP并不能约束标量类型或其它类型。
如下示例：
<?php
class Test
{
public function test_array(array $arr)
{
print_r($arr);
}
public function test_class(Test1 $test1 = null)
{
print_r($test1);
}
public function test_callable(callable $callback, $data)
{
call_user_func($callback, $data);
}
public function test_interface(Traversable $iterator)
{
print_r(get_class($iterator));
}
public function test_class_with_null(Test1 $test1 = NULL)
{
}
}
class Test1{}
$test = new Test();
//函数调用的参数与定义的参数类型不一致时，会抛出一个可捕获的致命错误。
$test->test_array(array(1));
$test->test_class(new Test1());
$test->test_callable('print_r', 1);
$test->test_interface(new ArrayObject(array()));
$test->test_class_with_null();
那么对于标量类型如何约束呢？
PECL扩展库中提供了SPL Types扩展实现interger、float、bool、enum、string类型约束。
$int = new SplInt ( 94 );
try {
$int = 'Try to cast a string value for fun' ;
} catch ( UnexpectedValueException $uve ) {
echo $uve -> getMessage () . PHP_EOL ;
}
echo $int . PHP_EOL ;
/*
运行结果：
Value not an integer
94
*/
SPL Types会降低一定的灵活性和性能，实际项目中三思而行。
-
泛型的类型约束 swapTwoValues(_:_:)函数和Stack类型可以用于任意类型. 但是, 有时在用于泛型函数的类型和泛型类型上, 强制其遵循特定的类型约束很有用. 类型约束指出一个类型形式参数必须继承自特定类, 或者遵循一个特定的协议、组合协议. 例如, Swift的Dictionary类型在可以用于字典中键的类型上设置了一个限制. 如字典中描述的一样,字典键的类型必须是可哈希的. 也
-
本文向大家介绍PHP类型约束用法示例，包括了PHP类型约束用法示例的使用技巧和注意事项，需要的朋友参考一下 本文实例讲述了PHP类型约束用法。分享给大家供大家参考，具体如下： 在强类型语言中，类型约束是语法上的要求，即定义一个变量的时候，必须指定类型，并以后也只能存储该类型数据； php是弱类型，其特点是无需为变量指定类型，而且在其后也可以存储任何类型，不过在php的新语法中，在某些特定场合，针对
-
销关节 cpPinJoint *cpPinJointAlloc(void) cpPinJoint *cpPinJointInit(cpPinJoint *joint, cpBody *a, cpBody *b, cpVect anchr1, cpVect anchr2) cpConstraint *cpPinJointNew(cpBody *a, cpBody *b, cpVect anchr1,
-
我有一系列复杂的类型级别函数，它们的计算结果如下： 显然，在这种情况下，这个表达式是一个。更一般地说，我们可以说： 有没有办法教GHC推断这一点？ 编辑：@chi指出，在某些情况下，GADT可以解决这一问题，但我的特殊情况是： 然后 不能被访问，但是也许GHC应该能够推断出
-
这将使约束在范围内，为提供额外的参数。这里我的意图是包含一些（隐藏的）具体类型，它应该用作多态函数GHC compulins的具体类型： 我的用例的假设是1。同时计算和2。隐藏类型的值涉及（至少部分）第一个元组元素的计算。这意味着我不想在中调用两次（一次是获取，一次是使用该类型绑定第一个元组元素）。在存在约束的情况下，是否有某种方法使的定义成为可能？
-
我试着用拉库OOP写杨彦湛的拉库谜语比赛答案。Raku类系统非常直观，在我遇到递归函数之前，一切都很有魅力。这是类和函数的代码版本： 对于$tigers=4，函数给出： 另一方面，类总是陷入无限循环。我相信函数和类之间的区别在于这行代码： 我不清楚这是因为格式错误的递归语法还是函数和类之间类型约束的差异。