PHP - 有效的变量名

Question

在PHP manual关于变量，我们可以阅读:

Variable names follow the same rules as other labels in PHP. A valid variable name starts with a letter or underscore, followed by any number of letters, numbers, or underscores. As a regular expression, it would be expressed thus: '[a-zA-Z_\x7f-\xff][a-zA-Z0-9_\x7f-\xff]*'

很明显，当我们尝试运行时:

$0-a = 5;
echo $0-a;

我们会得到解析错误。这是很明显的。

然而，在尝试一些事情时，我发现在使用这种语法时，实际上变量可以包含任何字符(或者至少以数字开头并包含连字符):

${'0-a'} = 5;
echo ${'0-a'};

它没有任何问题。

也像这样使用可变变量:

$variable = '0-a';
$$variable = 5;
echo $$variable;

工作没有任何问题。

所以问题是 - 我在手册中引用的那句话是不正确的，或者我显示的这不是真正的变量，或者它可能在 PHP 手册的其他地方有记录？

我已经验证过它 - 它似乎在 PHP 5.6 和 7.1 中都有效

另外一个问题是 - 使用这样的结构安全吗？根据手册，似乎根本不可能。

Answer 1

您可以从字面上为变量选择任何 名称。 "i" 和 "foo" 是显而易见的选择，但是 ""、"\n" 和 "foo.bar" 也有效。原因？ PHP 符号表只是一个字典:零字节或更多字节 的字符串键映射到结构化值(称为 zval )。有趣的是，有两种方式访问这个符号表:词法变量和动态变量。

词法变量是您在 "variables" 中读到的内容文档。词法变量定义编译期间的符号表键(即，当引擎对代码进行词法分析和解析时)。为了保持这个词法分析器的简单，词法变量以 $ 符号开头，并且必须匹配正则表达式 [a-zA-Z_\x7f-\xff][a-zA-Z0-9_\x7f -\xff]*。以这种方式保持简单意味着解析器不必弄清楚，例如，$foo.bar 是一个由 "foo.bar" 键控的变量还是一个变量 "foo" 字符串与常量 bar 连接。

现在动态变量变得有趣了。动态变量让您可以访问那些不常用的变量名。 PHP 调用这些 variable variables . (我不喜欢这个名字，因为它们的对立面在逻辑上是“常量变量”，这令人困惑。但我会在这里称它们为可变变量。)基本用法如下:

$a = 'b';
$b = 'SURPRISE!';
var_dump($$a, ${$a}); // both emit a surprise

可变变量的解析方式与词法变量不同。不是在词法分析时定义符号表键，而是在运行时 评估符号表键。逻辑是这样的:PHP 词法分析器看到变量语法($$a 或更一般的 ${expression})，PHP 解析器推迟表达式的计算直到在运行时，然后在运行时引擎使用表达式的结果 键入符号表。它比词法变量多一点工​​作，但功能更强大。

在 ${} 内部，您可以有一个计算结果为任何字节序列的表达式。空字符串，空字节，所有这些。什么都行。这很方便，例如，在 heredocs 中.将远程变量作为 PHP 变量进行访问也很方便。例如，JSON allows any character在键名中，您可能希望将它们作为直接变量(而不是数组元素)访问:

$decoded = json_decode('{ "foo.bar" : 1 }');
foreach ($decoded as $key => $value) {
    ${$key} = $value;
}
var_dump(${'foo.bar'});

以这种方式使用可变变量类似于将数组用作“符号表”，如$array['foo.bar']，但可变变量的方法是完全可以接受的，并且稍微更快。

---

附录

我们所说的“稍快”指的是小数点右边很远，以至于它们几乎无法区分。在我的测试中，直到访问 10^8 个符号时，差异才超过 1 秒。

Set array key: 0.000000119529
Set var-var:   0.000000101196
Increment array key: 0.000000159856
Increment var-var:   0.000000136778

失去清晰度和惯例可能是不值得的。

$N = 100000000;

$elapsed = -microtime(true);
$syms = [];
for ($i = 0; $i < $N; $i++) { $syms['foo.bar'] = 1; }
printf("Set array key: %.12f\n", ($elapsed + microtime(true)) / $N);

$elapsed = -microtime(true);
for ($i = 0; $i < $N; $i++) { ${'foo.bar'} = 1; }
printf("Set var-var:   %.12f\n", ($elapsed + microtime(true)) / $N);

$elapsed = -microtime(true);
$syms['foo.bar'] = 1;
for ($i = 0; $i < $N; $i++) { $syms['foo.bar']++; }
printf("Increment array key: %.12f\n", ($elapsed + microtime(true)) / $N);

$elapsed = -microtime(true);
${'foo.bar'} = 1;
for ($i = 0; $i < $N; $i++) { ${'foo.bar'}++; }
printf("Increment var-var:   %.12f\n", ($elapsed + microtime(true)) / $N);