Particularités peu connues des tableaux Java

Un tableau est un type de données qui existe essentiellement dans toutes les langues. Il représente un ensemble de données du même type, a une longueur fixe et occupe un espace continu en mémoire. Dans des langages tels que C et C++, la définition des tableaux est concise et claire, mais en Java il existe effectivement des fonctionnalités déroutantes. Cet article tentera d'analyser ces fonctionnalités

Les tableaux sont-ils dans des objets Java ?

Java et C++ sont tous deux des langages orientés objet. Lors de l'utilisation de ces langages, nous pouvons utiliser directement la bibliothèque de classes standard, ou nous pouvons utiliser des fonctionnalités orientées objet telles que la composition et l'héritage pour créer nos propres classes, et créer nos propres classes en fonction d'eux Créer un objet. Alors, devrions-nous nous poser cette question : dans les langages orientés objet, les tableaux sont-ils des objets ?

Pour déterminer si un tableau est un objet, clarifiez d'abord ce qu'est un objet, qui est la définition d'un objet. À un niveau élevé, un objet est une instance créée à partir d’une classe et représente un individu spécifique dans une classe d’objets. Les objets ont diverses propriétés et ont des comportements spécifiques. À un niveau inférieur, du point de vue d'un ordinateur, un objet est un bloc mémoire dans la mémoire. Ce bloc mémoire encapsule certaines données, qui sont les différents attributs définis dans la classe. Par conséquent, l'objet est utilisé pour encapsuler des données. Voici la représentation d'un objet Personne en mémoire :

Remarque :

1) Un petit rectangle rouge représente une référence (adresse) ou un type de données de base. Un grand rectangle rouge représente un objet. Plusieurs petits rectangles rouges combinés entre eux peuvent former un objet.

2) name ne représente qu'une référence dans l'objet, c'est-à-dire une valeur d'adresse, qui pointe vers un véritable objet string existant. Une distinction stricte est ici faite entre références et objets.

Donc en Java, un tableau remplit-il les conditions ci-dessus ? À un niveau élevé, un tableau n’est pas un individu spécifique d’un certain type de chose, mais un ensemble de plusieurs individus. Alors cela ne devrait pas être un objet. D'un point de vue informatique, un tableau est également un bloc de mémoire qui encapsule également certaines données. Dans ce cas, il peut également être appelé un objet. Voici la représentation d'un tableau en mémoire :

Dans ce cas, le tableau peut être un objet ou non. Quant à savoir s'il faut traiter les tableaux comme des objets, tout dépend du concepteur de Java. Que le tableau soit un objet ou non peut être vérifié via le code :

int[] a = new int[4]; 
//a.length; //对属性的引用不能当成语句 
int len = a.length; //数组中保存一个字段, 表示数组的长度 
//以下方法说明数组可以调用方法,java中的数组是对象.这些方法是Object中的方法,所以可以肯定,数组的最顶层父类也是Object 
a.clone(); 
a.toString();

Sur le tableau a, vous pouvez accéder à ses propriétés et appeler certaines méthodes. On peut essentiellement conclure qu'un tableau en Java est également un objet. Il présente certaines caractéristiques de base des autres objets en Java : il encapsule certaines données, peut accéder à des propriétés et peut également appeler des méthodes. Ainsi, les tableaux sont des objets.

En C++, bien que le tableau encapsule les données, le nom du tableau n'est qu'un pointeur, pointant vers le premier élément du tableau, sans attributs ni méthodes à appeler. Comme le montre le code suivant :

int main(){ 
 int a[] = {1, 2, 3, 4}; 
 int* pa = a; 
 //无法访问属性，也不能调用方法。 
 return 0; 
}

Le tableau en C++ n'est donc pas un objet, c'est juste une collection de données et ne peut pas être utilisé comme un objet.

Types de tableaux en Java

Java est un langage fortement typé. Puisqu'il s'agit d'un objet, il doit appartenir à un type. Par exemple, si vous créez un objet basé sur la classe Person , le type de cet objet est Personne. Alors, quel est le type de tableau ? Regardez le code suivant :

int[] a1 = {1, 2, 3, 4}; 
System.out.println(a1.getClass().getName()); 
//打印出的数组类的名字为[I 
String[] s = new String[2]; 
System.out.println(s.getClass().getName()); 
//打印出的数组类的名字为 [Ljava.lang.String; 
String[][] ss = new String[2][3]; 
System.out.println(ss.getClass().getName()); 
//打印出的数组类的名字为 [[Ljava.lang.String;

Imprimez le type de a1 est [ I , le type de s est [Ljava.lang.String; le type de ss C'est [[Ljava.lang.String;

Donc, les tableaux ont aussi des types. C'est juste que ce type semble bizarre. Vous pouvez dire que le type de a1 est int[], ce qui est compréhensible. Mais nous n'avons pas créé cette classe nous-mêmes et nous n'avons pas non plus trouvé cette classe dans la bibliothèque standard de Java. En d'autres termes, qu'il s'agisse de notre propre code ou du JDK, il n'y a pas de définition suivante :

public class int[] { 
 // ... 
 // ... 
 // ... 
}

Il ne peut y avoir qu'une seule explication à cela , et c'est La machine virtuelle crée automatiquement un type de tableau, qui peut être utilisé comme type intégré de Java, tout comme les 8 types de données de base. La convention de dénomination pour ce type est la suivante :

* 每一维度用一个[表示；开头两个[，就代表是二维数组。

* [后面是数组中元素的类型(包括基本数据类型和引用数据类型)

在java语言层面上,s是数组,也是一个对象,那么他的类型应该是String[]，这样说是合理的。但是在JVM中，他的类型为[java.lang.String。顺便说一句普通的类在JVM里的类型为 包名+类名，也就是全限定名。同一个类型在java语言中和在虚拟机中的表示可能是不一样的。

Java中数组的继承关系

上面已经验证了，数组是对象，也就是说可以以操作对象的方式来操作数组。并且数组在虚拟机中有它特别的类型。既然是对象，遵循Java语言中的规则 -- Object是上帝， 也就是说所有类的顶层父类都是Object。数组的顶层父类也必须是Object，这就说明数组对象可以向上直接转型到Object，也可以向下强制类型转换，也可以使用instanceof关键字做类型判定。 这一切都和普通对象一样。如下代码所示：

//1 在test1()中已经测试得到以下结论: 数组也是对象, 数组的顶层父类是Object, 所以可以向上转型 
int[] a = new int[8]; 
Object obj = a ; //数组的父类也是Object,可以将a向上转型到Object 
//2 那么能向下转型吗? 
int[] b = (int[])obj; //可以进行向下转型 
//3 能使用instanceof关键字判定吗? 
if(obj instanceof int[]){ //可以用instanceof关键字进行类型判定 
 System.out.println("obj的真实类型是int[]"); 
}

Java中数组的另一种“继承”关系

如下代码是正确的，却很容易让我们疑惑：

String[] s = new String[5]; 
Object[] obja = s; //成立,说明可以用Object[]的引用来接收String[]的对象

Object[]类型的引用可以指向String[]类型的数组对象？ 由上文的验证可以得知数组类型的顶层父类一定是Object，那么上面代码中s的直接父类是谁呢？难道说String[]继承自Object[]，而Object[]又继承自Object? 让我们通过反射的方式来验证这个问题：

//5 那么String[] 的直接父类是Object[] 还是 Object? 
System.out.println(s.getClass().getSuperclass().getName()); 
//打印结果为java.lang.Object,说明String[] 的直接父类是 Object而不是Object[]

由代码可知，String[]的直接父类就是Object而不是Object[]。可是Object[]的引用明明可以指向String[]类型的对象。那么他们的继承关系有点像这样：

这样的话就违背了Java单继承的原则。String[]不可能即继承Object，又继承Object[]。上面的类图肯定是错误的。那么只能这样解释：数组类直接继承了Object，关于Object[]类型的引用能够指向String[]类型的对象，这种情况只能是Java语法之中的一个特例，并不是严格意义上的继承。也就是说，String[]不继承自Object[]，但是我可以允许你向上转型到Object[]，这种特性是赋予你的一项特权。

其实这种关系可以这样表述：如果有两个类A和B，如果B继承（extends）了A，那么A[]类型的引用就可以指向B[]类型的对象。如下代码所示：

public static class Father { 
} 
public static class Son extends Father { 
} 
//6 下面成立吗? Father是Son的直接父类 
Son[] sons = new Son[3]; 
Father[] fa = sons; //成立 
//7 那么Son[] 的直接父类是Father[] 还是 Object[] 或者是Object? 
System.out.println(sons.getClass().getSuperclass().getName()); 
//打印结果为java.lang.Object,说明Son[]的直接父类是Object

上面的结论可以扩展到二维数组和多维数组：

Son[][] sonss = new Son[2][4]; 
Father[][] fathers = sonss;

上面的代码可以这样理解：

将Father[][]数组看成是一维数组, 这是个数组中的元素为Father[]，将Son[][]数组看成是一维数组, 这是个数组中的元素为Son[]，因为Father[]类型的引用可以指向Son[]类型的对象，所以，根据上面的结论，Father[][]的引用可以指向Son[][]类型的对象。

数组的这种用法不能作用于基本类型数据：

int[] aa = new int[4]; 
//Object[] objaa = aa; //错误的，不能通过编译

这是错误的, 因为int不是引用类型，Object不是int的父类，在这里自动装箱不起作用。但是这种方式是可以的：

 Object[] objss = {"aaa", 1, 2.5};

这种情况下自动装箱可以工作，也就是说，Object数组中可以存放任何值，包括基本数据类型。

Java为什么会为数组提供这样一种语法特性呢？也就是说这种语法有什么作用？编写过Android中Sqlite数据库操作程序的同学可能发现过这种现象，用一个Object[]引用接收所有的数组对象，在编译SQL语句时，为SQL语句中的占位符提供对应的值。

 db.execSQL("INSERT INTO person VALUES (NULL, ?, ?)", new Object[]{person.name, person.age});

所以这种特性主要是用于方法中参数的传递。如果不传递数组，而是依次传递各个值，会使方法参数列表变得冗长。如果使用具体的数组类型，如String[]，那么就限定了类型，失去了灵活性。所以传递数组类型是一种比较好的方式。但是如果没有上面的数组特性（如果有两个类A和B，如果B继承（extends）了A，那么A[]类型的引用就可以指向B[]类型的对象），那么数组类型就只能通过Object类型接收，这样就无法在方法内部访问或遍历数组中的各个元素。如下代码：

private static void test3() { 
 String[] a = new String[3]; 
 doArray(a); 
} 
private static void doArray(Object[] objs){ 
} 
private static void doArray1(Object obj){ 
 //不能用Object接收数组，因为这样无法对数组的元素进行访问 
 // obj[1] //错误 
 //如果在方法内部对obj转型到数组，存在类型转换异常的风险 
 // Object[] objs = (Object[]) obj; 
} 
private static void doArray2(String[] strs){ 
 //如果适用特定类型的数组，就限制了类型，失去灵活性和通用性 
} 
private static void doArray3(String name, int age, String id, float account){ 
 //如果不适用数组而是依次传递参数，会使参数列表变得冗长，难以阅读 
}

到此为止，数组的特性就总结完了。上文中加粗的部分为重要结论。下面贴出整个源码：

源码

package com.pansoft.zhangjg.testarray; 
public class ArrayTest { 
 /** 
  * @param args 
  */ 
 public static void main(String[] args) { 
  test1(); 
  test2(); 
  test3(); 
 } 
 /** 
  * 数组具有这种特性： 
  * 如果有两个类A和B，如果B继承（extends）了A，那么A[]类型的引用就可以指向B[]类型的对象 
  * 测试数组的特殊特性对参数传递的便利性 
  */ 
 private static void test3() { 
  String[] a = new String[3]; 
  doArray(a); 
 } 
 private static void doArray(Object[] objs){ 
 } 
 private static void doArray1(Object obj){ 
  //不能用Object接收数组，因为这样无法对数组的元素进行访问 
  // obj[1] //错误 
  //如果在方法内部对obj转型到数组，存在类型转换异常的风险 
  // Object[] objs = (Object[]) obj; 
 } 
 private static void doArray2(String[] strs){ 
  //如果适用特定类型的数组，就限制了类型，失去灵活性和通用性 
 } 
 private static void doArray3(String name, int age, String id, float account){ 
  //如果不适用数组而是依次传递参数，会使参数列表变得冗长，难以阅读 
 } 
 /** 
  * 测试数组的集成关系, 并且他的继承关系是否和数组中元素的类型有关 
  */ 
 private static void test2() { 
  //1  在test1()中已经测试得到以下结论: 数组也是对象, 数组的顶层父类是Object, 所以可以向上转型 
  int[] a = new int[8]; 
  Object obj = a ; //数组的父类也是Object,可以将a向上转型到Object 
  //2  那么能向下转型吗? 
  int[] b = (int[])obj; //可以进行向下转型 
  //3  能使用instanceof关键字判定吗? 
  if(obj instanceof int[]){ //可以用instanceof关键字进行类型判定 
   System.out.println("obj的真实类型是int[]"); 
  } 
  //4  下面代码成立吗? 
  String[] s = new String[5]; 
  Object[] obja = s; //成立,说明可以用Object[]的引用来接收String[]的对象 
  //5  那么String[] 的直接父类是Object[] 还是 Object? 
  System.out.println(s.getClass().getSuperclass().getName()); 
  //打印结果为java.lang.Object,说明String[] 的直接父类是 Object而不是Object[] 
  //6 下面成立吗? Father是Son的直接父类 
  Son[] sons = new Son[3]; 
  Father[] fa = sons; //成立 
  //7  那么Son[] 的直接父类是Father[] 还是 Object[] 或者是Object? 
  System.out.println(sons.getClass().getSuperclass().getName()); 
  //打印结果为java.lang.Object,说明Son[]的直接父类是Object 
  /** 
   * 做一下总结, 如果A是B的父类, 那么A[] 类型的引用可以指向 B[]类型的变量 
   * 但是B[]的直接父类是Object, 所有数组的父类都是Object 
   */ 
  //8  上面的结论可以扩展到二维数组 
  Son[][] sonss = new Son[2][4]; 
  Father[][] fathers = sonss; 
  //将Father[][]数组看成是一维数组, 这是个数组中的元素为Father[] 
  //将Son[][]数组看成是一维数组, 这是个数组中的元素为Son[] 
  //因为Father[]类型的引用可以指向Son[]类型的对象 
  //所以,根据上面的结论,Father[][]的引用可以指向Son[][]类型的对象 
  /** 
   * 扩展结论: 
   * 因为Object是所有引用类型的父类 
   * 所以Object[]的引用可以指向任何引用数据类型的数组的对象. 如: 
   * Object[] objs = new String[1]; 
   * Object[] objs = new Son[1]; 
   * 
   */ 
  //9  下面的代码成立吗? 
  int[] aa = new int[4]; 
  //Object[] objaa = aa; //错误的，不能通过编译 
  //这是错误的, 因为Object不是int的父类,在这里自动装箱不起作用 
  //10 这样可以吗？ 
  Object[] objss = {"aaa", 1, 2.5};//成立 
 } 
 /** 
  * 测试在java语言中,数组是不是对象 
  * 如果是对象, 那么他的类型是什么? 
  */ 
 private static void test1() { 
  int[] a = new int[4]; 
  //a.length; //对属性的引用不能当成语句 
  int len = a.length; //数组中保存一个字段, 表示数组的长度 
  //以下方法说明数组可以调用方法,java中的数组是对象.这些方法是Object中的方法,所以可以肯定,数组的最顶层父类也是Object 
  a.clone(); 
  a.toString(); 
  /** 
   * java是强类型的语言,一个对象总会有一个特定的类型,例如 Person p = new Person(); 
   * 对象p(确切的说是引用)的类型是Person类, 这个Person类是我们自己编写的 
   * 那么数组的类型是什么呢? 下面使用反射的方式进行验证 
   */ 
  int[] a1 = {1, 2, 3, 4}; 
  System.out.println(a1.getClass().getName()); 
  //打印出的数组类的名字为[I 
  String[] s = new String[2]; 
  System.out.println(s.getClass().getName()); 
  //打印出的数组类的名字为 [Ljava.lang.String; 
  String[][] ss = new String[2][3]; 
  System.out.println(ss.getClass().getName()); 
  //打印出的数组类的名字为 [[Ljava.lang.String; 
  /** 
   * 所以,数组也是有类型的,只不过这个类型不是有程序员自己定义的类, 也不是jdk里面 
   * 的类, 而是虚拟机在运行时专门创建的类 
   * 类型的命名规则是: 
   *  每一维度用一个[表示; 
   *  [后面是数组中元素的类型(包括基本数据类型和引用数据类型) 
   * 
   * 在java语言层面上,s是数组,也是一个对象,那么他的类型应该是String[], 
   * 但是在JVM中,他的类型为[java.lang.String 
   * 
   * 顺便说一句普通的类在JVM里的类型为 包名+类名, 也就是全限定名 
   */ 
 } 
 public static class Father { 
 } 
 public static class Son extends Father { 
 } 
}

【相关推荐】

1. 特别推荐：“php程序员工具箱”V0.1版本下载

2. Java免费视频教程

3. 全面解析Java注解

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!