[L数组符号 - 它来自哪里？

Question

我经常看到使用[L然后使用类型来表示数组的消息，例如：

[Ljava.lang.Object; cannot be cast to [Ljava.lang.String;

（以上是我刚拔出的任意例子。）我知道这表示一个数组，但语法来自何处？为什么开始[但没有结束方括号？为什么L？这纯粹是武断的还是背后有其他一些历史/技术原因？

Answer 1

[代表数组，Lsome.type.Here代表数组。这类似于在§4.3 of the Java Virtual Machine Specification中看到的字节码内部的类型描述符 - 被选为尽可能简短。唯一的区别在于真实的描述符使用/而不是.来表示包。

例如，对于基元，对于int数组，值为[I，二维数组为：[[I。

由于类可能有任何名称，因此更难识别它是什么类，因此L，类名称以;

结尾

描述符也用于表示字段和方法的类型。

例如：

(IDLjava/lang/Thread;)Ljava/lang/Object;

...对应于参数为int，double和Thread且返回类型为Object

的方法

修改

您还可以使用java dissambler

在.class文件中看到此内容

C:>more > S.java
class S {
  Object  hello(int i, double d, long j, Thread t ) {
   return new Object();
  }
}
^C
C:>javac S.java

C:>javap -verbose S
class S extends java.lang.Object
  SourceFile: "S.java"
  minor version: 0
  major version: 50
  Constant pool:
const #1 = Method       #2.#12; //  java/lang/Object."<init>":()V
const #2 = class        #13;    //  java/lang/Object
const #3 = class        #14;    //  S
const #4 = Asciz        <init>;
const #5 = Asciz        ()V;
const #6 = Asciz        Code;
const #7 = Asciz        LineNumberTable;
const #8 = Asciz        hello;
const #9 = Asciz        (IDJLjava/lang/Thread;)Ljava/lang/Object;;
const #10 = Asciz       SourceFile;
const #11 = Asciz       S.java;
const #12 = NameAndType #4:#5;//  "<init>":()V
const #13 = Asciz       java/lang/Object;
const #14 = Asciz       S;

{
S();
  Code:
   Stack=1, Locals=1, Args_size=1
   0:   aload_0
   1:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   4:   return
  LineNumberTable:
   line 1: 0


java.lang.Object hello(int, double, long, java.lang.Thread);
  Code:
   Stack=2, Locals=7, Args_size=5
   0:   new     #2; //class java/lang/Object
   3:   dup
   4:   invokespecial   #1; //Method java/lang/Object."<init>":()V
   7:   areturn
  LineNumberTable:
   line 3: 0


}

在原始类文件中（见第5行）：

参考：Field description on the JVM specification

Answer 2

JVM数组描述符。

[Z = boolean
[B = byte
[S = short
[I = int
[J = long
[F = float
[D = double
[C = char
[L = any non-primitives(Object)

要获取主数据类型，您需要：

[Object].getClass().getComponentType();

如果“object”不是数组，它将返回null。 要确定它是否是一个数组，只需调用：

[Any Object].getClass().isArray()

或

Class.class.isArray();

Answer 3

这在JNI（以及一般内部的JVM）中用于指示类型。基元用单个字母表示（Z表示布尔值，I表示int，等等），[表示数组，L用于表（由;终止）。

见这里：JNI Types

编辑：详细说明没有终止]的原因 - 此代码允许JNI / JVM快速识别方法及其签名。它旨在尽可能紧凑，以便快速解析（=尽可能少的字符），因此[用于一个非常简单的数组（使用什么更好的符号？）。 int I同样显而易见。

Answer 4

  

[L数组符号 - 它来自哪里？

来自JVM规范。这是在classFile格式和其他位置指定的类型名称的表示形式。

• '['表示一个数组。实际上，数组类型名称是[<typename>，其中<typename>是数组基本类型的名称。
• 'L'实际上是基本类型名称的一部分;例如字符串是"Ljava.lang.String;"。请注意尾随';'!!

是的，这个符号也记录在其他地方。

  

为什么？

毫无疑问，选择内部类型名称表示是因为它是：

• 紧凑，
• 自我分隔（这对于方法签名的表示很重要，这就是'L'和尾随';'在那里的原因）和
• 使用可打印字符（如果不可读，则为易读性）。

但不清楚为什么他们决定通过Class.getName()方法公开数组类型的内部类型名称。我认为他们可以将内部名称映射到更“人性化”的东西。我最好的猜测是，这只是他们没有解决的事情之一，直到为时已晚。 （没有人是完美的......甚至不是假设的“智能设计师”。）

Answer 5

我认为这是因为C是由char取的，所以课堂上的下一个字母是L.

Answer 6

另一个来源是Class.getName()的文档。当然，所有这些规格都是一致的，因为它们是相互适应的。