JVM仕様：一般的な署名のための文法は、一般的な署名のための仕様では先読み

Question

を必要とする、ClassSignatureフォーム

ClassSignature: 
    [TypeParameters] SuperclassSignature {SuperinterfaceSignature} 
TypeParameters: 
    < TypeParameter {TypeParameter} > 
TypeParameter: 
    Identifier ClassBound {InterfaceBound} 
ClassBound: 
    : [ReferenceTypeSignature] 
InterfaceBound: 
    : ReferenceTypeSignature 

そこでタイプパラメータの結合スーパークラス（一部examples here）を省略することができました。

クラスの宣言がpublic class A<T, LFooBar>の場合、Javaコンパイラは<T:Ljava/lang/Object;LFooBar:Ljava/lang/Object;>Ljava/lang/Object;の署名を生成します。

IUCでは、クラスバインディングを省略することができます。この場合、署名は<T:LFooBar:>Ljava/lang/Object;になります。短い署名がT:LFooBar:は、2つの型パラメータであることを知っている、とFooBarバインドされたクラスでない1型パラメータTするために、第2 :を見据え必要であることを解析

。

実際には、クラスバインドを離れることは、インターフェイスがバインドされている場合にのみ行われますか？ public class A<T extends Comparable<? super T>>の場合、javacは署名<T::Ljava/lang/Comparable<-TT;>;>Ljava/lang/Object;を生成します。しかし、私はこの仮定に頼ることができないと思う。

私は何かを誤解しましたか？

Answer 1

あなたがよく見ると、ReferenceTypeSignatureの後に続く数字はIdentifierまたは>です。 ReferenceTypeSignatureは[で始まるか、;で終了し、識別子にはこれらの文字を含めることができません。識別子の後にはタイプシグニチャが表示されない:が続く必要があります。これらのオプションの間に曖昧さはありません。

識別子は>で始めることができるので、末尾にあるかどうかをコロンで調べる必要があります。TypeParametersしかしそれは別の問題です。

私はJVMがそれをどのように実装するかをわからないんだけど、一つの可能​​なアプローチはこれです：

• は、最初の文字を調べます。それが[の場合、型署名があります。 >の場合は、先頭の[、;、または：]をスキャンします。最初に表示されたものが：であれば、それはあなたが識別子を持っていることを意味します。そうでなければ、型パラメータの終わりを持っています。
• それ以外の場合は、最初にスキャンしてください。または：。それが：の場合、識別子があります。それ以外の場合は、クラスがバインドされています。

編集：署名の識別子には>を含めることはできません。したがって、そのビットは無視してください。 （また、:、別の潜在的な曖昧さの原因を含めることはできません）