Java中不合格标识符的正式定义是什么？

Question

在 Java 中，“不合格标识符”的正式定义是什么？

Java 语言规范在第 4.4 节中定义类型变量时提到了非限定标识符：

类型变量是在 class、接口、方法和构造函数主体中用作类型的非限定标识符。

但是，我在规范中找不到任何不合格（或合格）标识符的正式定义。

这在文档的其他地方可用吗？ 或者它是否被认为太微不足道而无法保证正式的定义？

注意：规范确实在第 7.7.2 节中定义了另一个不合格的实体 - unqualified 指令：

如果 export 或 opens 指令有 to 子句，则该指令是合格的； 否则为不合格。

Answer 1

我们可以用另一种方式 go 。 引用的句子只是总结了类型变量是什么。 该语法具有类型变量的正式定义，从中我们可以推断出“不合格”标识符基本上是……标识符。

（来自 JLS 17）：

TypeVariable
    {Annotation} TypeIdentifier

TypeIdentifier:
    Identifier but not permits, record, sealed, var, or yield

Identifier:
    IdentifierChars but not a Keyword or BooleanLiteral or NullLiteral