Является ли $ оператором в php?

Question

[knekrasov]

Я занимаюсь разработкой парсера PHP и столкнулся с таким вот неоднозначным вопросом.


Как известно, официальной спецификации языка просто не существует. На оф. сайте в таблице приоритета операций значок $ отсутствует.


Тем не менее в языке валидны выражения вида

<?php
function testMe($a) {
  //do something
}

$func = 'testMe';

$func(21);

Более того, в следующем примере будет напечатано 15 (php 5.3.8)

<?php

$myVar = 14;
$t = 'myVar';
$$t += 1;
echo $myVar;

Каково ваше мнение, можно ли $ считать оператором?

Comments

[knekrasov]

UPD: Посмотрел по исходникам php 5.3.8. Из грамматик yacc/bison я понял не все, но есть следующие результаты:

#1 $ не оператор. Символ работает только на уровне лексем; парсер про него уже «не знает». В частности, поэтому $$a валидно, а $($a) — уже нет.

#2 Строки с одинарными кавычками действительно обрабатываются быстрее, чем в двойных кавычках
или в heredoc.

#3 Странное дело: строка не является самостоятельной лексемой. То есть сканер делает дополнительные «приседания», чтобы распарсить внутреннее содержимое строки (и не упасть при этом :)) Отсюда кстати и зоопарк в списке лексем

#4 На уровне кода юникодность очевидно не поддерживается: символом в лексере является обычный char:

#define YYCTYPE   unsigned char

[ngreduce]

Ну так вроде полную поддержку юникода обещали только в 6-ке.

Answer 1

[gaelpa]

Не пробовали смотреть в сурцах зендовского парсера пхп?
Может там найдется более точный ответ.

Comments

[knekrasov]

На выходных скорее всего посмотрю. О результатах тогда отпишусь.

[knekrasov]

UPD добавил краткий обзор результатов в конец вопроса.

Answer 2

[edogs]

Не оператор.
По поводу синтаксиса любопытно иногда заглядывать в ru2.php.net/manual/en/tokens.php

Comments

[knekrasov]

Спасибо, интересно. Хотя конструкции местами ужасны.

Answer 3

[Bodigrim]

Похоже, что валидны не только конструкции типа $$var, но и более сложные. Например, следующий код выводит 1111.

<?php

$a=1;
echo $a;

$b="a";
echo $$b;

$c="b";
echo $$$c;

$d="c";
echo $$$$d;

?>

Comments

[Bodigrim]

Если учесть, что echo a, хотя и выкинет warning, но выведет «a», то да, $ ведет себя практически как оператор.

[ngreduce]

Так это оговорено в приведенных выше страницах.

Answer 4

[rPman]

нет, потому как тогда будут валидны следующие конструкции:
$($a)

Comments

[sdevalex]

А такое валидно…
${$a->name}

[sdevalex]

Хотя это скорей просто сахар.

[knekrasov]

Сомнительный сахар, откровенно говоря.

[sdevalex]

Пример сильно упрощен и обобщен.

class SomeClass
{
     public function getProperty($name)
     {
           return $this->{"get" . $name}();
     }
}

[knekrasov]

Спасибо!

Answer 5

[MT]

ru.php.net/manual/ru/language.variables.basics.php
ru.php.net/manual/ru/language.variables.variable.php

Answer 6

[Анатолий]

Это не оператор, это «начало» переменной, и так же конструкции типа $$ означают (грубо говоря) переменная в имени переменной и предусмотрены создателяпи языка изначально, так же как и {} — банально выделяет переменную из строки, хотя и без строк работает.

Answer 7

[Владимир Чернышев]

Хотя по функциям он близок к оператору разыменования указателя, считать его оператором нельзя. Просто элемент синтаксиса имени переменной.

Answer 8

[ngreduce]

Оператор что-либо делает.
Например echo выводит, require включает.

$ и $$ просто показывают интерпретатору как надо обращать с той или иной переменной.

НО
www.php.net/manual/en/language.operators.php

The variable symbol '$' should be considered as the highest-precedence operator, so that the variable variables such as $$a[0] won't confuse the parser.

Comments

[shagguboy]

Например echo выводит
вы таки будете смеяться но эхо — это НЕ оператор

Answer 9

[Сергей Береснев]

Можно считать как оператор с высшим приоритетом.

Comments

[knekrasov]

Друзья, спасибо за комментарии.

Кому интересно — я добавил в текст вопроса update с кратким результатом осмотра исходников родного парсера PHP 5.3.8.