<?php
class Test {
public $a;
protected $have_been_set = array();
public function __set($name, $val) {
$this->have_been_set[$name] = TRUE;
$this->{$name} = $val;
}
public function __isset($name) {
print "checking for $name\n";
return array_key_exists($name, $this->have_been_set);
}
}
$t1 = new Test();
$t1->a = null;
$t2 = new Test();
var_dump( isSet($t1->a), isSet($t2->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
bool(false)
bool(false)