「java数组泛型」java 创建泛型数组
今天给各位分享java数组泛型的知识，其中也会对java 创建泛型数组进行解释，如果能碰巧解决你现在面临的问题，别忘了关注本站，现在开始吧！
本文目录一览：
java 泛型数组？
if( target instanceof String ){
String s = (String) target ;
}
if引起来吧，要不然如果条件不成立强制转换是不识别的
泛型和数组以及Java是如何实现泛型的
要区分数组和泛型容器的功能，这里先要理解三个概念：协变性（covariance）、逆变性（contravariance）和无关性（invariant）。
若类A是类B的子类，则记作A ≦ B。设有变换f()，若：
当A ≦ B时，有f(A)≦ f(B)，则称变换f()具有协变性；
当A ≦ B时，有f(B)≦ f(A)，则称变换f()具有逆变性；
如果以上两者皆不成立，则称变换f()具有无关性。
在Java中，数组具有协变性，而泛型具有无关性，示例代码如下：
Object[] array = new String[10];
//编译错误
ArrayListObject list=new ArrayListString();
这两句代码，数组正常编译通过，而泛型抛出了编译期错误，应用之前提出的概念对代码进行分析，可知：
1、String ≦ Object
2、数组的变换可以表达为f(A)=A[]，通过之前的示例，可以得出下推论：
f(String) = String[] 以及 f(Object) = Object[];
4、通过代码验证，String[] ≦ Object[] 是成立的，由此可见，数组具有协变性。
JAVA怎么初始化泛型数组？
首先由于Java泛型的实现，不可以使用如下的代码：
public class GenSetE {
private E a[];
public GenSet() {
a = new E[INITIAL_ARRAY_LENGTH]; // error: generic array creation
}
}
那么我们如何在保持类型安全的同时实现这一点？
我在Java论坛上看到了这样的解决方案：
import java.lang.reflect.Array;
class StackT {
public Stack(ClassT clazz, int capacity) {
array = (T[])Array.newInstance(clazz, capacity);
}
private final T[] array;
}
在这里，我们需要讨论"checked" and "unchecked"。
Checked：strong typing。GenSet明确知道它包含的对象类型（即它的构造函数是使用Class E参数显式调用的，当方法传递非类型E的参数时，方法将抛出异常。请参阅Collections.checkedCollection。
在这种情况，我们需要这样写：
public class GenSetE {
private E[] a;
public GenSet(ClassE c, int s) {
// Use Array native method to create array
// of a type only known at run time
@SuppressWarnings("unchecked")
final E[] a = (E[]) Array.newInstance(c, s);
this.a = a;
}
E get(int i) {
return a[i];
}
}

Unchecked: weak typing。实际上没有对作为参数传递的任何对象进行类型检查。
在这种情况，我们需要这样写：
public class GenSetE {
private Object[] a;
public GenSet(int s) {
a = new Object[s];
}
E get(int i) {
@SuppressWarnings("unchecked")
final E e = (E) a[i];
return e;
}
}
请注意，数组的组件类型应该是类型参数的擦除：
public class GenSetE extends Foo { // E has an upper bound of Foo
private Foo[] a; // E erases to Foo, so use Foo[]
public GenSet(int s) {
a = new Foo[s];
}
...
}
所有的这些都源于Java中泛型一个的特性但也是一个weakness：它是使用擦除实现的，因此除非实施一些显式机制（type-checking），否则“泛型”类不知道它们在运行时创建的类型参数，故无法提供 type-safety。
java中什么叫泛型?
泛型。规定了此集合中元素的类型。例如：\x0d\x0a\x0d\x0aArrayList arr = new ArrayList ();\x0d\x0a\x0d\x0a这样就创建了一个包含整数的 ArrayList 对象。\x0d\x0a如果要自己定义泛型类，就用如下形式：\x0d\x0a\x0d\x0aclass MyCollection {...}\x0d\x0a\x0d\x0a尖括号中的类型可以有限制，例如你需要让 MyCollection 中的类型都具有可比性，可以用如下格式：\x0d\x0a\x0d\x0aclass MyCollection {...}\x0d\x0a\x0d\x0a此外，要注意泛型的一些特性：\x0d\x0a\x0d\x0a1. 不能直接创建泛型数组。如 new ArrayList[5] 之类的是错的。只能用如下方法：new ArrayList[5] 或者 (ArrayList[])new ArrayList[5];\x0d\x0a\x0d\x0a2. 静态方法中需要小心，因为 E 一般是非静态类型，如果你这样写：\x0d\x0a class MyCollection {\x0d\x0a public static MyCollection abc() {\x0d\x0a ......\x0d\x0a }\x0d\x0a }\x0d\x0a 是错的。你只能把 去掉。
java数组泛型的介绍就聊到这里吧，感谢你花时间阅读本站内容，更多关于java 创建泛型数组、java数组泛型的信息别忘了在本站进行查找喔。