Определение того, является ли переменная PHP ссылкой / ссылкой

есть ли способ в PHP определить, является ли данная переменная ссылкой на другую переменную и / или ссылается на другую переменную? Я понимаю, что, возможно, невозможно отделить обнаружение "ссылки на" и "ссылки от", учитывая комментарий on php.net Эта настройка $a=& $b значит "$a и $b здесь полностью равны. $a не указывает на $B или наоборот. $a и $b указывают на одно и то же место."

Если это невозможно чтобы определить, является ли данная переменная ссылкой / ссылкой, существует ли обобщенный способ определения того, являются ли две переменные ссылками друг на друга? Опять а комментарий on php.net предоставляет функцию для такого сравнения - хотя это та, которая включает редактирование одной из переменных и просмотр, выполняется ли другая переменная аналогичным образом. Я бы предпочел избежать этого, если это возможно, так как некоторые из переменных, которые я рассматриваю, сильно используют magic getters / инкубационные шкафы.

фоном для запроса в этом экземпляре является запись функции отладки для подробного просмотра структур.

23
php php-internals

5 ответов

можно использовать debug_zval_dump:

function countRefs(&$var) {
    ob_start();
    debug_zval_dump(&$var);
    preg_match('~refcount\((\d+)\)~', ob_get_clean(), $matches);
    return $matches[1] - 4;
}

$var = 'A';
echo countRefs($var); // 0

$ref =& $var;
echo countRefs($var); // 1

это, хотя больше не будет работать с PHP 5.4, поскольку они удалили время вызова по ссылочной поддержке и могут бросить E_STRICT Ошибка уровня в более низких версиях.

Если вам интересно, где -4 в вышеуказанной функции приходят от: вы говорите мне... Я добился этого, попробовав. В моих глазах это должно быть только 3 (переменная, переменная в моей функции, переменная, переданная в zend_debug_zval), но я не слишком хорош в PHP internals и кажется, что он создает еще одну ссылку где-то на пути ;)

6

полный рабочий пример:

function EqualReferences(&$first, &$second){
    if($first !== $second){
        return false;
    } 
    $value_of_first = $first;
    $first = ($first === true) ? false : true; // modify $first
    $is_ref = ($first === $second); // after modifying $first, $second will not be equal to $first, unless $second and $first points to the same variable.
    $first = $value_of_first; // unmodify $first
    return $is_ref;
}

$a = array('foo');
$b = array('foo');
$c = &$a;
$d = $a;

var_dump(EqualReferences($a, $b)); // false
var_dump(EqualReferences($b, $c)); // false
var_dump(EqualReferences($a, $c)); // true
var_dump(EqualReferences($a, $d)); // false
var_dump($a); // unmodified
var_dump($b); // unmodified
5

возможно, xdebug_debug_zval () поможет вам. http://www.xdebug.org/docs/all_functions

3

Edit: Кажется, я ответил на вопрос "Можно ли проверить, ссылаются ли две переменные на одно и то же значение в памяти", а не на заданный вопрос. : P

что касается "простых" переменных, ответ "нет".

что касается объектов - возможно.

все объекты по умолчанию обрабатываются ссылки. Также каждый объект имеет серийный номер, который вы можете видеть, когда вы var_dump() его.

>> class a {};
>> $a = new a();
>> var_dump($a);

object(a)#12 (0) {
}

если бы вы могли получить каким-то образом к этому # вы можете эффективно сравнить его для двух переменных и посмотреть, указывают ли они на один и тот же объект. Вопрос в том, как получить этот номер. var_export() не возвращает его. Я не вижу с кем в Reflection классы, которые получили бы его либо.

одна вещь, которая приходит мне на ум, - это использование буферизации вывода + regex

1

возьмите пик на xdebug_debug_zval (). Прямо сейчас, это единственный способ действительно узнать, можете ли вы определить все о zval переменной.

Итак, вот несколько вспомогательных функций для определения некоторой полезной информации:

function isRef($var) {
    $info = getZvalRefCountInfo($var);
    return (boolean) $info['is_ref'];
}
function getRefCount($var) {
    $info = getZvalRefCountInfo($var);
    return $info['refcount'];
}
function canCopyOnWrite($var) {
    $info = getZvalRefCountInfo($var);
    return $info['is_ref'] == 0;
}
function canReferenceWithoutCopy($var) {
    $info = getZvalRefCountInfo($var);
    return $info['is_ref'] == 1 || $info['refcount'] == 1;
}

function getZvalRefCountInfo($var) {
    ob_start();
    xdebug_debug_zval($var);
    $info = ob_get_clean();
    preg_match('(: \(refcount=(\d+), is_ref=(\d+)\))', $info, $match);
    return array('refcount' => $match[1], 'is_ref' => $match[2]);
}

Итак, с некоторыми образцами переменных:

$a = 'test';
$b = $a;
$c = $b;
$d =& $c;
$e = 'foo';

мы можем проверить, является ли переменная ссылкой:

isRef('a'); // false
isRef('c'); // true
isRef('e'); // false

мы можем получить количество переменных, связанных с zval (не обязательно ссылка, можно для копирования-на-запись):

getRefCount('a'); // 2
getRefCount('c'); // 2
getRefCount('e'); // 1

мы можем проверить, можем ли мы копировать на запись (копировать без выполнения копии памяти):

canCopyOnWrite('a'); // true
canCopyOnWrite('c'); // false
canCopyOnWrite('e'); // true

и мы можем проверить, можем ли мы сделать ссылку без копирования zval:

canReferenceWithoutCopy('a'); // false
canReferenceWithoutCopy('c'); // true
canReferenceWithoutCopy('e'); // true

и теперь мы можем проверить, ссылается ли переменная на себя через некоторую черную магию:

function isReferenceOf(&$a, &$b) {
    if (!isRef('a') || getZvalRefCountInfo('a') != getZvalRefCountInfo('b')) {
        return false;
    }
    $tmp = $a;
    if (is_object($a) || is_array($a)) {
        $a = 'test';
        $ret = $b === 'test';
        $a = $tmp;
    } else {
        $a = array();
        $ret = $b === array();
        $a = $tmp;
    }
    return $tmp;
}

это немного хаки, так как мы не можем определить, какие другие символы ссылаются на тот же zval (только этот другой symbols reference). Так что это в основном проверяет, если $a является ссылкой, и если $a и $b оба имеют одинаковый набор флагов refcount и reference. Затем он изменяет один, чтобы проверить, изменяются ли другие (указывая, что они являются той же ссылкой).

1