اختبار عقود PHP بأدلة معزولة

<?php
declare(strict_types=1);
function same(mixed $actual, mixed $expected): void {
    if ($actual !== $expected) { throw new RuntimeException("assertion failed"); }
}
function total(int $price, int $count): int { return $price * $count; }
same(total(125, 4), 500);
same(total(0, 4), 0);
echo "2 checks passed", PHP_EOL;

2 checks passed

تشتق الثوابت مستقلاً ويفشل النوع أو العدد الخاطئ.

<?php
declare(strict_types=1);
$state = ["reserved" => 0];
function reserve(array &$state, int $count): void {
    if ($count < 1) { throw new InvalidArgumentException("positive count required"); }
    $state["reserved"] += $count;
}
$rejected = false;
try { reserve($state, 0); } catch (InvalidArgumentException $error) { $rejected = true; }
if (!$rejected || $state["reserved"] !== 0) { throw new RuntimeException("rejection contract failed"); }
echo "rejected; reserved=", $state["reserved"], PHP_EOL;

rejected; reserved=0

لا تزيد الكمية المرفوضة العداد، ويفشل عيب آخر بدلاً من قبوله.