0Pricing
Java Academy · 课时

泛型基础(T、类型推断)

学习泛型类型参数 T 、它们为何能提供编译时安全性,以及菱形运算符如何推断类型。

泛型基础(T、类型推断) 是 CoddyKit 上的免费 Java Academy 课时。 这是第 2 节课,共 3 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Java Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Java Academy 课程共包含 3 节课。

为什么使用泛型?

泛型为容器和工具类添加类型信息,让编译器能够保护您的代码。优点包括:

  • 类型安全——不会意外混用不同类型。
  • 无需类型转换——代码更简洁。
  • 可复用——一个类可以适用于多种类型。

T 是什么?

T(类型参数)是实际类型的占位符。当您写下 Box<String> 时,编译器会在这次使用中将 T 视为 String。

代码:Box<T>

Box<T>:将 T 替换为 String 后,就只能接受 String。类型错误会在编译时被发现,不会留下运行时隐患。

public class Main {
  // A tiny generic container
  static class Box<T> {
    private T value;
    void set(T v) { value = v; }
    T get() { return value; }
  }

  public static void main(String[] args) {
    Box<String> bs = new Box<String>(); // T becomes String
    bs.set("hello");
    System.out.println(bs.get());       // no cast needed

    // Box<Integer> bi = new Box<Integer>();
    // bi.set("oops"); // would not compile: String is not Integer
  }
}

代码:菱形推断

<>(菱形运算符)让编译器推断右侧的类型。如果它与左侧类型不兼容,代码就无法编译,从而提高安全性。

public class Main {
  static class Box<T> {
    private T value;
    Box() {}
    Box(T v) { value = v; }
    T get() { return value; }
  }

  public static void main(String[] args) {
    // Type on the left, diamond on the right — compiler infers T
    Box<Integer> a = new Box<>(123);
    Box<String> b = new Box<>("hi");

    System.out.println(a.get() + 1);    // 124
    System.out.println(b.get().toUpperCase());
  }
}

有界类型参数

边界:某些泛型方法要求类型具备某种能力,例如 Comparable。例如:<T extends Comparable<T>> 表示 T 必须可比较。

代码:有界泛型方法

泛型方法:<T extends Comparable<T>>。Integer 和 String 都兼容,因为二者都实现了 Comparable。

public class Main {
  // Generic method: works for any Comparable type
  static <T extends Comparable<T>> T min(T a, T b) {
    return (a.compareTo(b) <= 0) ? a : b;
  }

  public static void main(String[] args) {
    System.out.println(min(3, 7));              // Integer
    System.out.println(min("apple", "banana")); // String (lexicographic)
  }
}

泛型基础检查

快速检查:使用 Box<String> 这类泛型的主要好处是什么?

回顾

回顾:T 是一个占位符;菱形运算符可以推断类型。通过边界(extends Comparable),我们可以让泛型方法更安全、更强大。

常见问题解答

「泛型基础(T、类型推断)」课时是免费的吗?

是的 — 「泛型基础(T、类型推断)」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Java Academy 课程的其余内容,请升级到 CoddyKit PRO。 Java Academy 课程共包含 3 节课。

「泛型基础(T、类型推断)」这节课中我会学到什么?

学习泛型类型参数 T 、它们为何能提供编译时安全性,以及菱形运算符如何推断类型。 你通过在浏览器中直接运行的动手代码来练习 Java Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Java Academy 需要有经验吗?

无需任何先前经验。CoddyKit 上的 Java Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 2 节课,共 3 节。

「泛型基础(T、类型推断)」课时需要多长时间?

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。

我能在这节 Java Academy 课中编写并运行代码吗?

能。每节 Java Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. 实践接口
  2. 泛型基础(T、类型推断)
  3. 泛型方法与泛型类
← 返回 Java Academy