class Foo {}
我有一个接受该类类型作为参数的函数：
function getFoo(Foo $f) {}
当我传入由“Foo”组成的数组时，会出现错误，错误信息如下：
Catchable fatal error: Argument 1 passed to getFoo() must be an instance of Foo, array given
有没有办法解决这个问题？也许可以尝试以下方法：
function getFoo(Foo $f[]) {}
如果您想确保正在使用“Foo数组”，并且想确保方法接收“Foo数组”，则可以：
class ArrayOfFoo extends \ArrayObject {
public function offsetSet($key, $val) {
if ($val instanceof Foo) {
return parent::offsetSet($key, $val);
}
throw new \InvalidArgumentException('Value must be a Foo');
}
}
那么：
function workWithFoo(ArrayOfFoo $foos) {
foreach ($foos as $foo) {
// etc.
}
}
$foos = new ArrayOfFoos();
$foos[] = new Foo();
workWithFoo($foos);
秘密武器在于你定义了一个新的"foo数组类型"，然后使用类型提示保护传递该"类型"。
如果你不想自己制作，Haldayne库会处理成员资格要求检查的样板文件：
class ArrayOfFoo extends \Haldayne\Boost\MapOfObjects {
protected function allowed($value) { return $value instanceof Foo; }
}
(披露全文，我是Haldayne的作者。)
历史注释：2014年，Array Of RFC提出了这个特性。RFC以4票支持和16反对被拒绝。最近这个概念在内部列表上重新出现，但投诉与最初的RFC相同：添加此检查将显着影响性能。
虽然这是一个旧的帖子，但可变函数和数组展开可以（在一定程度上）用于实现类型化数组提示，至少在PHP7中可以实现（我没有测试早期版本）。
示例：
class Foo {
public function test(){
echo "foo";
}
};
class Bar extends Foo {
//override parent method
public function test(){
echo "bar";
}
}
function test(Foo ...$params){
foreach($params as $param){
$param->test();
}
}
$f = new Foo();
$b = new Bar();
$arrayOfFoo = [$f,$b];
test(...$arrayOfFoo);
//will output "foobar"
局限性：
从技术上讲，这不是一个解决方案，因为你实际上没有传递一个类型化数组。相反，你使用数组展开运算符1（在函数调用中的“...”）将数组转换为参数列表，每个参数都必须是变参声明2中指定的类型（它还使用省略号）。
函数调用中的“...”是绝对必要的（鉴于上述情况，这并不令人惊讶）。试图调用
test($arrayOfFoo)
function test(Foo ...$foos, Bar ...$bars){
//...
}
function test(Foo ...$foos, Bar $bar){
//...
}
仅稍微好于逐个检查元素的替代方案：
以下步骤实际上比仅检查每个元素类型要好，因为它保证了函数体中使用的参数具有正确的类型，而不会使函数充满类型检查，并且它会抛出通常的类型异常。
考虑：
function alt(Array $foos){
return (function(Foo ...$fooParams){
//treat as regular function body
foreach($fooParams as $foo){
$foo->test();
}
})(...$foos);
}
这个想法是定义并返回一个立即调用的闭包，该闭包会为您处理所有可变参数和解包操作。（可以进一步扩展原则，定义一个生成此结构函数的高阶函数，以减少样板代码）。在上面的示例中：
alt($arrayOfFoo) // also outputs "foobar"
这种方法存在以下问题：
(1) 对于经验不足的开发人员，可能不太清楚。
(2) 它可能会产生一些性能开销。
(3) 与仅内部检查数组元素类似，它把类型检查视为实现细节，因此必须检查函数声明（或享受类型异常）才能意识到只有特定类型的数组才是有效的参数。在接口或抽象函数中，无法编码完整的类型提示；所有人能做的就是注释说期望上述类型的实现（或类似的实现）。
注释
[1]. 简而言之：数组解包渲染等效
example_function($a,$b,$c);
和
example_function(...[$a,$b,$c]);
[2]. 简而言之：形如
function example_function(Foo ...$bar){
//...
}
可以通过以下任何一种方式有效地调用：
example_function();
example_function(new Foo());
example_function(new Foo(), new Foo());
example_function(new Foo(), new Foo(), new Foo());
//and so on
function bar(Foo[] $myFoos)
class Foo {
/**
* @param Foo[] $f
*/
function getFoo($f) {
}
}
@param Foo[] ... 不是 JS 的标准。然而，它非常有用；像 phpstorm 这样的 IDE 使用它来改善它们的智能感知。 - ToolmakerStevefunction getFoo()
Foo。function addFoo( Foo $f )
class FooBar
{
/**
* @return array
*/
private $foo;
public function getFoo()
{
return $foo;
}
public function setFoo( array $f )
{
$this->foo = $f;
return $this;
}
public function addFoo( Foo $f )
{
$this->foo[] = $f;
return $this;
}
}
通常来说，你可能不需要setter方法，因为你已经有了add方法来确保$foo是一个由Foo组成的数组，但它有助于说明类中正在发生的事情。
@var，如下所示：<?php
class ClassA {
private $message;
function __construct($message) {
$this->message = $message;
}
function getMessage() {
return "Hello {$this->message}!";
}
}
class ClassB {
/**
* @var ClassA[]
*/
private $classAList;
function __construct() {
$this->classAList = [];
}
function attach(ClassA $classA) {
array_push($this->classAList, $classA);
}
function showMessages() {
foreach($this->classAList as $classA) {
// the intellisense will be capable to autocomplete this code.
echo "{$classA->getMessage()}\n";
}
}
}
$classB = new ClassB();
$classB->attach(new ClassA("Person 1"));
$classB->attach(new ClassA("Person 2"));
$classB->showMessages();
function getFoo($f) { ... }即可。因此，如果您想要一个专门处理数组的函数，只需创建一个新函数function getFooArray($f) { ... }即可。 - sjagrfunction getFoos(Array $f)，它解析数组并将每个$f[$i]传递给function getFoo(Foo $g)。 - Frank Conryfunction foo(Abc ...$args) { } foo(...$arr);，具体内容请参考此处。 - Shahid