<?php
/**
* @extends ArrayObject<string, mixed>
*/
final class TypedArrayObject extends ArrayObject
{
public function getString(string $name): string
{
$value = $this[$name] ?? null;
if (!is_string($value)) {
throw new ValueError('Value at "' . $name . '" is not a string.');
}
return $value;
}
public function getInteger(string $name): int
{
$value = $this[$name] ?? null;
if (!is_int($value)) {
throw new ValueError('Value at "' . $name . '" is not an integer.');
}
return $value;
}
}
$foo = new TypedArrayObject([
'a' => 'hello',
'b' => 5,
]);
$int = $foo->getInteger('b');
$string = $foo->getString('a');
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0