`
wxinpeng
  • 浏览: 589383 次
  • 性别: Icon_minigender_1
  • 来自: 青岛
社区版块
存档分类
最新评论

Java泛型再学习

阅读更多

泛型引入java语言已经有很长一段时间了,在JDK5出来的时候也非常认真地学习过,不过学习的资料都是网上泛滥并且重复的教程。这几天下了《The Java Programming Language》的第4版,准备把jdk5引入的新东西再重新系统地学习一次,同时再次回顾下java基础。今天记录下学习泛型那一章的注意点。
一、泛型类型的声明
1.需要着重注意的一点,比如声明类Cell<E>:

package net.rubyeye.javaprogramming.generic;

public class Cell<E> {
    
private Cell<E> next;

    
private E element;

    
public Cell(E element) {
        
this.element = element;
    }

    
public Cell(E element, Cell<E> next) {
        
this.next = next;
        
this.element = element;
    }

    
public E getElement() {
        
return element;
    }

    
public void setElement(E element) {
        
this.element = element;
    }

    
public Cell<E> getNext() {
        
return next;
    }

    
public void setNext(Cell<E> next) {
        
this.next = next;
    }

}


然后如此使用:

Cell<String> strCell = new Cell<String>("Hello");
Cell
<Integer> intCell = new Cell<Integer>(25);


那么Cell<String>和Cell<Integer>是两个类吗?不,他们是同一个类,通过下面的实验证明:

assertTrue(strCell.getClass() == intCell.getClass()));


java泛型的实现采用的“擦拭法”,Cell<E>仍然是一个类,无论E被任何具体的类型所替代。 

2.泛型的类型参数不能用于static变量、static方法和static初始化,比如下面的使用方式都不能编译通过:

public class Cell<E> {
    
private static Cell<E> next;
    
    
private static void test(E e){
        
    }
    

同样,静态方法是与类相关联的,调用也只能通过类,假设Cell有一个静态方法test,怎么调用才是正确的呢?

Cell<E>.test();  //编译错误
Cell<String>.test();  //同样编译错误
Cell.test();  //正确的方式

类似的,泛型的类型参数不能用于声明数组类型,比如下面的代码同样无法编译通过:

class SingleLinkQueue<E> {
    
// ...
    public E[] toArray() {
    
//...
    }
}


3.类型参数可以继承其他的类和接口,如果有多个接口可以用&符号连接,通过extend参数限制了类型参数的范围,比如:

interface SortedCharSeqCollection<E extends Comparable<E>
                                  & CharSequence> {
    
// ... sorted char sequence collection methods ...
}

SortedCharSeqCollection的类型参数E强制继承自Comparable和CharSequence接口,也就是替代的具体的类型参数必须实现这两个接口,从而限制了类型参数(type parameter)。

4.比较有趣的内部类的泛型,对于静态内部类的类型参数可以与外部类的类型参数名不一样,静态内部类的类型参数与外部类的类型参数其实没有一点关系,比如:

class SingleLinkQueue<E> {
    
static class Cell<E> {
        
private Cell<E> next;
        
private E element;
        
public Cell(E element) {
            
this.element = element;
        }
        
public Cell(E element, Cell<E> next) {
            
this.element = element;
            
this.next = next;
        }
        
public E getElement() {
            
return element;
        }
        
/* ... rest of Cell methods as before ... */
    }

    
protected Cell<E> head;
    
protected Cell<E> tail;

    
/* ... rest of SingleLinkQueue methods as before ... */
}


Cell<E>类的声明和SingleLinkQueue<E> 两个类中的E仅仅是名称相同,他们之间的关联是通过head和tail的声明才关联在一起,你可以将Cell<E>中的E改成F也没关系,比如:

package net.rubyeye.javaprogramming.generic;

class AnotherSingleLinkQueue<E> {
    
static class Cell<F> {
        
private Cell<F> next;

        
private F element;

        
public Cell(F element) {
            
this.element = element;
        }

        
public Cell(F element, Cell<F> next) {
            
this.element = element;
            
this.next = next;
        }

        
public F getElement() {
            
return element;
        }
        
/* ... rest of Cell methods as before ... */
    }

    
protected Cell<E> head;

    
protected Cell<E> tail;

    
/* ... rest of SingleLinkQueue methods as before ... */
}


而一般的内部类就不一样了,内部类可以直接使用外部类的类型参数甚至隐藏。

二、子类型与通配符
今天读了第2节,泛型的使用比我原先所知的更为复杂,java语法本来以简洁优美著称,随着java5,java7的到来,语法是越来越复杂,甚至可以说丑陋!-_-

    要知道一点,比如List<Integer>不是List<Number>的子类,而是Collection<Integer>的子类。因为List<Integer>和List<Number>的类型是一样的,都是List。那么如何表示参数化类型是Number的子类呢?这就需要用到通配符:

List<? extends Number>

表示类型变量是Number或者Number的子类。这个就是所谓的上界通配符,同样,如果要表示类型变量是Number或者Number的super type,可以使用下界通配符:

List<? super Number>


而通配符List<?>等价于:

List<? extends Object>


    通配符只能用于变量、局部变量、参数类型和返回类型,不能用于命名类和接口。比如下面的代码将不能编译通过:

class MyList implements List<?>{
   
//...
}

    通配符有另一个问题:因为通配符代表的是未知的类型,你不能在任何需要类型信息的地方使用它。比如下面的代码同样无法编译通过:

SingleLinkQueue<?> strings =
    
new SingleLinkQueue<String>();
strings.add(
"Hello");               // INVALID: 无法编译

SingleLinkQueue
<? extends Number> numbers =
    
new SingleLinkQueue<Number>();
numbers.add(Integer.valueOf(
25));   // INVALID: 无法编译


三、泛型方法和类型推断
    如果我们想参数化方法的参数和返回值的类型,这就引出了泛型方法的声明,声明一个泛型方法的方式如下:

<T> T passThrough(T obj) {
    
return obj;
}


这个方法限制传入的参数的类型与返回的参数类型将一致,可以看到,在方法签名前加上<T>即可。我们可以这样调用这个方法:

String s1 = "Hello";
String s2 
= this.<String>passThrough(s1);


这样的调用是不是比较奇怪?幸好提供了类型推断,根据参数的类型来自动判断方法的类型(比如返回值类型),因此可以直接调用:

String s1 = "Hello";
String s2 
= this.passThrough(s1);


    如果方法有两个类型变量,类型推断将怎么处理呢?比如:

<T> T passThrough(T obj1,T obj2) {
        
return (T)(obj1.toString()+obj2.toString());
    }


然后我们传入两个参数,一个String,一个int,那么返回什么呢?

String s1="test";
String s3
=this.passThrough(s1, 1);  //编译出错

类型推断是比较复杂的,这里将返回的将是Object类型,是传入的参数类型的交集

分享到:
评论

相关推荐

    java泛型学习ppt

    "Java 泛型学习" Java 泛型是 Java 语言的类型系统的一种扩展,以支持创建可以按类型进行参数化的类。泛型的主要目标是提高 Java 程序的类型安全。通过知道使用泛型定义的变量的类型限制,编译器可以在一个高得多的...

    Java泛型,深入学习java的不二之选.md

    java泛型详细学习,深入学习java的不二之选

    java 泛型类的类型识别示例

    在Java编程语言中,泛型(Generics)是一种强大的特性,它允许我们在编写代码时指定容器(如集合)可以存储的数据类型。这提高了代码的安全性和效率...通过学习和理解这些示例,你可以更好地掌握Java泛型类的类型识别。

    java泛型学习全面页面下载资料

    这些“java泛型学习全面页面下载资料”很可能包含以下内容: 1. **泛型的基本概念**:解释了泛型是什么,以及如何通过使用尖括号`&lt;&gt;`来定义泛型类、泛型接口和泛型方法。 2. **类型参数**:介绍如何定义类型参数,...

    java泛型的内部原理及更深应用

    通过学习这些知识点,开发者能更好地理解Java泛型的内部原理,以及如何在实际项目中充分利用泛型的特性,提高代码质量和安全性。在这个视频教程中,张孝祥老师将详细讲解这些概念,并通过实例帮助学员深入掌握Java...

    SUN公司Java泛型编程文档

    通过阅读SUN公司的Java泛型编程文档,你可以深入学习这些概念,理解如何在实际项目中有效利用泛型提高代码质量,减少类型转换的麻烦,以及如何避免潜在的运行时错误。文档中的例子和解释将帮助你更好地掌握泛型的...

    Java泛型编程最全总结

    Java泛型是Java编程语言中的一个关键特性,它在2004年随着JDK 5.0的发布被引入,极大地增强了代码的类型安全性和重用性。泛型允许我们在编写类、接口和方法时指定参数化类型,使得代码在编译时期就能捕获类型错误,...

    java 泛型入门 实例

    Java泛型是Java编程语言中的一个关键特性,它在2004年随着JDK 5.0的发布被引入,极大地增强了代码的类型安全性和重用性。本篇文章将带你入门Java泛型,通过实例深入理解其核心概念。 1. **泛型的基本概念** - 泛型...

    JAVA泛型教程(帮你解决学习泛型的苦恼)

    Java泛型是Java语言的一个重要特性,它允许在类、接口和方法中声明类型参数,从而提高了代码的复用性和安全性。这个特性自Java 5引入以来,极大地改善了Java的类型系统,降低了类型转换异常的风险。 1. **使用泛型...

    java泛型学习

    总之,Java泛型通过类型检查和类型安全提供了更强大、更安全的代码。类型擦除确保了运行时性能不会因泛型而受到影响,而通配符则提供了处理不确定类型的能力。理解并有效利用这些概念对于编写高效、健壮的Java代码至...

    [Java泛型和集合].(Java.Generics.and.Collections).文字版

    Java泛型和集合是Java编程语言中的核心特性,它们极大地提高了代码的类型安全性和可读性,同时也简化了集合操作...通过深入学习这本书籍,开发者可以更好地掌握Java泛型和集合的精髓,从而编写出更安全、更高效的代码。

    java泛型例子

    Java泛型是Java编程语言中的一个关键特性,它在2004年随着JDK 5.0的发布被引入,极大地增强了类型安全性和代码可读性。泛型允许我们在编写代码时指定容器(如集合)可以存储的数据类型,从而在编译阶段就能捕获类型...

    java泛型的使用

    本压缩包包含了一些关于Java泛型的实例,旨在帮助学习者深入理解和应用这一特性。 泛型的主要目标是允许在编译时检查类型安全,并且所有的强制转换都是自动和隐式的,提高了代码的重用率。在Java中,泛型主要体现在...

    java泛型md,学习代码

    【Java 泛型】是Java编程语言中一个强大的...总之,这个压缩包包含的内容涉及了Java泛型、Java Web开发基础、以及现代Web应用中数据存储的几种方式,对于深入理解和实践Java编程,尤其是后端开发有着重要的参考价值。

    Java泛型学习1

    Java泛型是Java编程语言中的一个特性,它允许在类、接口和方法中使用类型参数,从而提高了代码的重用性和安全性。泛型的主要目的是在编译时进行类型检查,防止在运行时出现ClassCastException这样的类型转换异常。...

    Java泛型学习笔记.pdf

    学习Java泛型能够帮助我们更好地编写和使用通用的类、接口和方法。以下是从给定文件的标题、描述、标签和部分内容中提取出的详细知识点。 1. 泛型类和泛型方法: 在Java中,泛型可以应用于类、接口和方法。泛型类和...

    Java深度历险之Java泛型.docx

    ### Java泛型详解 #### 一、Java泛型概述 Java泛型(Generics)是Java SE 5.0引入的一项重要新特性,它允许开发者在定义类、接口或方法时使用类型参数(Type Parameters)。类型参数在使用时可以用具体的类型来...

    java泛型实例讲解代码.rar

    通过阅读和理解`java泛型实例讲解代码`中的代码,你可以深入学习如何在实际编程中应用这些概念,以及它们如何提升代码的健壮性和可维护性。这个压缩包可能包含了各种示例,如泛型类、泛型方法、边界限制等,通过这些...

    全面总结Java泛型

    Java 泛型是 Java 编程语言中一个强大的特性,它允许在类、接口和方法中使用类型参数,从而增加了代码的复用性...无论 Martin Odersky 对 Java 泛型有何评价,学习并掌握这一特性对于任何 Java 开发者来说都是必要的。

Global site tag (gtag.js) - Google Analytics