الأنواع المتقدمة ونماذج المجال الصريحة

<?php
declare(strict_types=1);
enum EnrollmentState: string { case Pending = "pending"; case Confirmed = "confirmed"; }
$state = EnrollmentState::tryFrom("confirmed");
echo $state?->name ?? "unknown", PHP_EOL;
echo EnrollmentState::tryFrom("other") === null ? "rejected
" : "accepted
";

Confirmed
rejected

يتحول المعروف لحالة ويبقى المجهول خاطئاً، وإذن الانتقال قاعدة منفصلة.

<?php
declare(strict_types=1);
final class Titles implements Countable, IteratorAggregate {
    public function __construct(private array $items) {}
    public function count(): int { return count($this->items); }
    public function getIterator(): Traversable { return new ArrayIterator($this->items); }
}
function describe(Countable&IteratorAggregate $items): string {
    return count($items) . ":" . implode(",", iterator_to_array($items));
}
echo describe(new Titles(["PHP", "PDO"])), PHP_EOL;

2:PHP,PDO

يتطلب المعامل الواجهتين وتبقى افتراضات العناصر صريحة لا أنواعاً عامة أصلية.