TypePHP 编译器
https://swoole.com/aot/
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
42 lines
1.9 KiB
42 lines
1.9 KiB
# `#[ArrayDef]` compile-time array contracts
|
|
|
|
`#[ArrayDef]` attaches key/value type information to a property declared
|
|
exactly as `array`. It supports both Zend classes and `#[Native]` classes and
|
|
has no runtime metadata or per-read overhead.
|
|
|
|
```php
|
|
class Index
|
|
{
|
|
#[ArrayDef(Type::String)]
|
|
public array $names = []; // list<string>
|
|
|
|
#[ArrayDef(Type::Int, Type::String)]
|
|
public array $labels = []; // map<int, string>
|
|
}
|
|
```
|
|
|
|
One argument defines a list value type. Two arguments define a map key type
|
|
and value type. Map keys are restricted to `Type::Int` or `Type::String`.
|
|
`ClassName::class` is therefore valid only as a list element type or as the
|
|
second (value) argument of a map.
|
|
|
|
For direct writes whose expression types are known, the compiler either emits
|
|
the normal write unchanged or reports a fatal type error. An `any` key/value is
|
|
checked with PHPX exact-type helpers at runtime. No coercive `intval()` or
|
|
string conversion is performed.
|
|
|
|
List writes support `[]` and non-negative integer indexes up to PHP's current
|
|
append position. Indexed writes uniformly emit `php::safeArrayIndex(index,
|
|
array)`. The helper uses `zend_hash_next_free_element()` and follows the
|
|
initial-index rule of `zend_hash_next_index_insert()`, which remains correct
|
|
when `unset()` has created holes or removed the highest numeric key. An index
|
|
equal to that value behaves like the next `$array[]` append; earlier indexes
|
|
may update or refill an element. Negative indexes and indexes beyond the append
|
|
position fail at runtime. There is no AST special case for
|
|
`property[count(property)]`. Maps do not support `[]` append writes.
|
|
|
|
The contract intentionally applies only to direct element assignment lowered
|
|
by TypePHP. Reads and in-place operators are unchanged. Values passed through
|
|
dynamic functions, callbacks, Reflection, `eval()`, or other ZendVM escape
|
|
paths are outside the contract and have undefined behavior from ArrayDef's
|
|
perspective.
|
|
|