cs2030s-finals-cheatsheet.pdf

cs2030s-midterms-cheatsheet.pdf

1. 类型系统与继承

• 子类型关系 (Subtyping)
  • S <: T（S 是 T 的子类型）
  • 传递性：S <: T 且 T <: U ⇒ S <: U
  • 协变（Covariance）与逆变（Contravariance）
    • C(S) <: C(T)（若 S <: T，且 C 协变）
    • C(T) <: C(S)（若 S <: T，且 C 逆变）
• 类与接口继承
  • class C implements A, B（类实现多个接口）
  • interface I extends A, B（接口继承多个接口）
  • final 类不可被继承（如 final class Circle）

2. 泛型 (Generics)

• 型变与通配符
  • List<? extends T>（协变，允许读取）
  • List<? super T>（逆变，允许写入）
  • 泛型方法调用：A.<String>contains(strArr, "hello")
  • 类型擦除：运行时泛型信息丢失（如 T[] arr = (T[]) new Object[size]）
• 泛型约束
  • class Pair<S extends Comparable<S>, T>（类型参数边界）
  • 泛型接口实现：class A extends B implements Comparable<A>

3. 异常处理

• 异常类型

  • IllegalArgumentException（参数不合法）
  • 自定义异常：class MyException extends IllegalArgumentException

• 异常处理结构

  try {
    // 可能抛出异常的代码
  } catch (IllegalArgumentException e) {
    // 处理特定异常
  } finally {
    // 始终执行
  }
  
  

• throws 声明：public Circle(Point c, double r) throws IllegalArgumentException

4. 函数式编程与 Lambda

• 函数式接口
  • @FunctionalInterface 标记（如 Transformer<T, R>）
  • Lambda 表达式：Transformer<Integer, Integer> square = x -> x * x;
  • 方法引用：A::foo（静态方法）或 aInstance::bar（实例方法）
• 高阶函数

  • 柯里化（Currying）：x -> y -> x + y

  • map 与 flatMap：

    list.map(x -> x + 1).flatMap(x -> List.of(x, x * 2));