php / php/php-src

token_get_all(TOKEN_PARSE): class constant named with a reserved keyword is no longer retagged to T_STRING when the same keyword appears in its initializer (regression in 8.3)

未关闭
#23,552 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

@iliaal 已经在做这个了。

开始于 2026年9月8日。

  • #23618 来自 @iliaal —— 未关闭
Bug Extension: tokenizer Status: Verified
主要语言
C
星标
40.4k
派生
8.2k
平均合并
2 天 13 小时
30 天内合并 PR
96

描述

Description

Description

Since PHP 8.3, token_get_all($code, TOKEN_PARSE) fails to retag a reserved
keyword used as a class constant name to T_STRING when the same keyword
also appears as a class-constant fetch inside the initializer
of that constant.

The code itself parses, lints and runs fine — only the tokenizer output is wrong.

<?php
$code = '<?php class Foo { public const NEW = Bar::NEW; }';

foreach (token_get_all($code, TOKEN_PARSE) as $t) {
    if (is_array($t) && strcasecmp($t[1], 'new') === 0) {
        echo token_name($t[0]), ' [', $t[1], ']', PHP_EOL;
    }
}

Resulted in this output (PHP 8.3, 8.4, 8.5):

T_NEW [NEW]        <-- declaration: NOT retagged (bug)
T_STRING [NEW]     <-- usage after :: : retagged correctly

But I expected this output instead (and this is what PHP <= 8.2 produces):

T_STRING [NEW]
T_STRING [NEW]

https://3v4l.org/r4Yni — shows the regression starts exactly at 8.3.0 (all 8.2.x
produce the expected output; 8.3.0 through 8.5.10 produce the wrong one).

Trigger conditions

The retagging only fails when the same reserved word occurs both as the
declared constant name and as a :: constant fetch in the initializer:

Code Declared name token on 8.3+
class F { const NEW = 1; } T_STRING
class F { const NEW = Bar::BAZ; } T_STRING
class F { const FOO = Bar::NEW; } (usage) T_STRING
class F { const NEW = Bar::NEW; } T_NEW
class F { const NEW = [self::NEW]; } T_NEW

Reproduced with other semi-reserved keywords as well (the issue is not specific
to new).

Suspected cause

ext/tokenizer/tokenizer.c handles the parser feedback for
"keyword used as identifier" by searching the already-collected token list
backwards by token text and retagging the first match:

case ON_FEEDBACK: {
    HashTable *tokens_ht = ctx->tokens;
    zval *token_zv, *id_zv = NULL;
    ZEND_HASH_REVERSE_FOREACH_VAL(tokens_ht, token_zv) {
        id_zv = extract_token_id_to_replace(token_zv, text, length);
        if (id_zv) {
            break;
        }
    } ZEND_HASH_FOREACH_END();
    ...

Up to PHP 8.2 the class-constant name was reduced (and the feedback emitted)
before the initializer was scanned, so the reverse-by-text search found the
correct token. With typed class constants (PHP 8.3, #10444) the grammar has
to disambiguate the type from the constant name, the reduction of the name
happens later, and by the time the feedback fires the initializer tokens have
already been scanned — so the reverse search finds the initializer occurrence
of the same text instead of the declaration, leaving the declared name tagged
as a keyword.

PHP Version

  • PHP 8.2.33 — not affected (expected output)
  • PHP 8.3 (php:8.3-cli) — affected
  • PHP 8.4 (php:8.4-cli) — affected
  • PHP 8.5.10 (php:8.5-cli) — affected

Operating System

Reproduced on Debian-based official Docker images — the behaviour is platform
independent.

PHP Version
PHP 8.5.9 (cli) (built: Jul 28 2026 13:06:52) (NTS)
Copyright (c) The PHP Group
Built by Homebrew
Zend Engine v4.5.9, Copyright (c) Zend Technologies
    with Zend OPcache v8.5.9, Copyright (c), by Zend Technologies
Operating System

No response

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

调研方向

从 ext/tokenizer/tokenizer.c 开始,重点查看 ON_FEEDBACK 的处理以及 extract_token_id_to_replace() 路径,然后重现 issue 中的 token_get_all($code, TOKEN_PARSE) 示例。比较 PHP 8.2 与 PHP 8.3+ 中 class Foo { public const NEW = Bar::NEW; } 的 token 序列。完成标准是声明和初始化器中的两处出现都产生 T_STRING,同时不使其他触发器案例发生回归。

由索引模型根据 Issue 内容生成。

评估

技术栈
c, php
领域
compilers
Issue 类型
缺陷
难度
4/5
预计耗时
3-5 天
活跃度
活跃
描述清晰度
描述清楚
新手友好度
55/100

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。