从typed的几个子接口类来了解java的泛型机制

Android

2023-11-30 22:48:41

泛型类型详解：Typed 接口及其子接口

探索 Java 中的泛型编程

泛型编程是 Java 编程语言中一项强大的特性，它允许你创建可操作多种数据类型的不变代码。在 Java 中，泛型类型由 Typed 接口及其子接口定义。本文将深入探讨这些子接口，解释它们的用途并提供代码示例，帮助你了解泛型编程的强大功能。

ParameterizedType：处理参数化类型

ParameterizedType 接口表示带有类型参数的类型，称为参数化类型。例如，List 是一个参数化类型，其中 String 是类型参数。ParameterizedType 提供了以下方法来获取参数化类型的信息：

getRawType()： 获取参数化类型的原始类型，即不带类型参数的类型。例如，对于 List，getRawType() 返回 List。
getActualTypeArguments()： 获取参数化类型的实际类型参数。对于 List，getActualTypeArguments() 返回 [String]。
getOwnerType()： 获取参数化类型的拥有者类型，即包含该参数化类型的类型。例如，对于 List.class，getOwnerType() 返回 List.class。

代码示例：

import java.lang.reflect.ParameterizedType;

class ParameterizedTypeExample {
    public static void main(String[] args) {
        ParameterizedType listType = (ParameterizedType) List<String>.class.getGenericSuperclass();
        System.out.println("Raw type: " + listType.getRawType());
        System.out.println("Actual type arguments: " + Arrays.toString(listType.getActualTypeArguments()));
    }
}

TypeVariable：探索类型变量

TypeVariable 接口表示泛型类型中的占位符，称为类型变量。例如，在声明 List 时，T 是一个类型变量。TypeVariable 提供了以下方法来获取类型变量的信息：

getName()： 获取类型变量的名称。对于 T，getName() 返回 "T"。
getBounds()： 获取类型变量的上界，即类型变量可以取值的类型。例如，对于 T extends Number，getBounds() 返回 [Number]。
getGenericDeclaration()： 获取声明类型变量的泛型类型。对于 T extends Number，getGenericDeclaration() 返回 Number.class。

代码示例：

import java.lang.reflect.TypeVariable;

class TypeVariableExample {
    public static void main(String[] args) {
        TypeVariable<Class<Number>> t = Number.class.getTypeParameters()[0];
        System.out.println("Name: " + t.getName());
        System.out.println("Bounds: " + Arrays.toString(t.getBounds()));
    }
}

GenericArrayType：处理泛型数组类型

GenericArrayType 接口表示带有类型参数的数组类型，称为泛型数组类型。例如，String[] 是一个泛型数组类型，其中 String 是类型参数。GenericArrayType 提供了以下方法来获取泛型数组类型的信息：

getGenericComponentType()： 获取泛型数组类型的元素类型。对于 String[]，getGenericComponentType() 返回 String.class。

代码示例：

import java.lang.reflect.GenericArrayType;

class GenericArrayTypeExample {
    public static void main(String[] args) {
        GenericArrayType arrayType = (GenericArrayType) String[].class.getGenericSuperclass();
        System.out.println("Element type: " + arrayType.getGenericComponentType());
    }
}

WildcardType：了解通配符类型

WildcardType 接口表示不指定具体类型的类型，称为通配符类型。例如，? extends Number 是一个通配符类型，其中 ? 表示通配符。WildcardType 提供了以下方法来获取通配符类型的信息：

getUpperBounds()： 获取通配符类型的上界，即通配符类型可以取值的类型。对于 ? extends Number，getUpperBounds() 返回 [Number]。
getLowerBounds()： 获取通配符类型的下界，即通配符类型不能取值的类型。对于 ? super Number，getLowerBounds() 返回 [Number]。

代码示例：

import java.lang.reflect.WildcardType;

class WildcardTypeExample {
    public static void main(String[] args) {
        WildcardType wildcardType = (WildcardType) List<? extends Number>.class.getGenericSuperclass();
        System.out.println("Upper bounds: " + Arrays.toString(wildcardType.getUpperBounds()));
    }
}