密封类
密封类用于表示受限类层次结构,当值可以有一个有限集合的类型,但不能有其他类型。它们在某种意义上是枚举类的扩展:枚举类型的值集合也受到限制,但每个枚举常量仅作为单个实例存在,而密封类的子类可以包含多个可包含的实例州。
要声明一个密封的类,您需要将密封的修饰符放在类的名称之前。密封类可以具有子类,但它们都必须在与密封类本身相同的文件中声明。 (在 vKotlin 1.1 之前,规则更加严格:类必须嵌在密封类的声明内)。
sealed class Expr
data class Const(val number: Double) : Expr()
data class Sum(val e1: Expr, val e2: Expr) : Expr()
object NotANumber : Expr()
(上面的例子使用了Kotlin 1.1的一个额外的新功能:数据类扩展其他类的可能性,包括密封类。)
请注意,扩展封装类(间接继承器)子类的类可以放置在任何位置,而不一定在同一个文件中。
使用密封类的关键好处是在一个 when 表达式中使用它们。如果可以验证该语句涵盖所有情况,则不需要在语句中添加一个 else 子句。
fun eval(expr: Expr): Double = when(expr) {
is Const -> expr.number
is Sum -> eval(expr.e1) + eval(expr.e2)
NotANumber -> Double.NaN
// “else”子句不是必需的,因为我们已经涵盖了所有的情况
}
泛型
和在 Java 中一样,Kotlin 中的类可以拥有类型参数:
class Box<T>(t: T) {
var value = t
}
一般来说,创建一个这样类的实例,我们需要提供类型参数:
val box: Box<Int> = Box<Int>(1)
但是如果类型是有可能推断出来的,比如来自构造函数的参数或者通过其它的一些方式,一个可以忽略类型的参数:
val box = Box(1)
变型
Java 类型系统最棘手的一部分就是通配符类型。但 kotlin 没有,代替它的是两种其它的东西:声明变型和类型投影.
首先,我们想想为什么 java 需要这些神秘的通配符。这个问题在 Effective Java ,条目 18 中是这样解释的:使用界限通配符增加 API 的灵活性。首先 java 中的泛型是不变的,这就意味着 List 不是 List 的子类型。为什么呢,如果 List 不是不变的,就会引发下面的问题:
List<String> strs = new ArrayList<String>();
List<Object> objs = strs;
objs.add(1);
String s = strs.get(0);
因此 java 禁止了这样的事情来保证运行时安全。但这有些其它影响。比如,Collection 接口的 addAll() 方法。这个方法的签名在哪呢?直觉告诉我们应该是这样的:
// Java
interface Collection<E> ... {
void addAll(Collection<E> items);
}
但接下来我们就不能做下面这些操作了(虽然这些操作都是安全的):
void copyAll(Collection<Object> to, Collection<String> from) {
to.addAll(from);
}
这就是为什么 addAll() 的签名是下面这样的:
// Java
interface Collection<E> ... {
void addAll(Collection<? extends E> items);
}
这个通配符参数 ? extends T 意味着这个方法接受一些 T 类型的子类而非 T 类型本身。这就是说我们可以安全的读 T’s(这里表示 T 子类元素的集合),但不能写,因为我们不知道 T 的子类究竟是什么样的,针对这样的限制,我们很想要这样的行为:Collection 是 Collection
声明处变型
假设我们有一个通用接口 Source,没有任何接受 T 作为参数的方法,唯一的方法就是返回 T:
interface Source<T> {
T nextT();
}
然后,储存 Source(String) 的一个实例引用给一个 Source(object) 类型是非常安全的,但是 Java 并不知道并且继续禁止这么做:
// Java
void demo(Source<String> strs) {
Source<Object> objects = strs; // !!! 在 Java 中是不允许的
// ...
}
为了解决这个问题,我们必须要声明一个 Source
abstract class Source<out T> {
abstract fun nextT(): T
}
fun demo(strs: Source<String>) {
val objects: Source<Any> = strs // This is OK, since T is an out-parameter
// ...
}
一般原则是:当一个类 C 的类型参数被声明为 out 时,它就只能出现在 C 的成员的输出-位置,结果是 C 可以安全地作为 C的超类。
更聪明的说法就是,当类 C 在类型参数 T 之下是协变的,或者 T 是一个斜变类型。可以把 C 想象成 T 的生产这,而不是 T 的消费者。
out 修饰符本来被称之为变型注解,但由于同处与类型参数声明处,我们称之为声明处变型。这与 Java 中的使用处变型相反。
另外除了 out,Kotlin 又补充了一个变型注释:in。它接受一个类型参数逆变:只可以被消费而不可以 被生产。非变型类的一个很好的例子是 Comparable:
abstract class Comparable<in T> {
abstract fun compareTo(other: T): Int
}
fun demo(x: Comparable<Number>) {
x.compareTo(1.0)
val y: Comparable<Double> = x
}
我们相信 in 和 out 两词是自解释的(因为它们已经在 C# 中成功使用很长时间了), 因此上面提到的助记符不是真正需要的,并且可以将其改写为更高的目标:
存在性(The Existential) 转变:消费者 in, 生产者 out! :-)
类型投影
使用处变型:类型投影
将类型参数 T 声明为 out 非常方便,并避免在使用站点上进行子类型的麻烦,但是某些类实际上不能仅限于返回 T!一个很好的例子是 Array:
class Array<T>(val size: Int) {
fun get(index: Int): T { /* ... */ }
fun set(index: Int, value: T) { /* ... */ }
}
这个类不能在 T 中共同或逆转换。这种强加了一些不灵活性。考虑以下函数:
fun copy(from: Array<Any>, to: Array<Any>) {
assert(from.size == to.size)
for (i in from.indices)
to[i] = from[i]
}
该函数应该将项目从一个数组复制到另一个数组。我们试着在实践中应用它:
val ints: Array<Int> = arrayOf(1, 2, 3)
val any = Array<Any>(3) { "" }
copy(ints, any) // Error: expects (Array<Any>, Array<Any>)
在这里我们遇到了同样的熟悉的问题:Array 在 T 中是不变的,因此 Array 和 Array 都不是另一个的子类型。为什么,再次,因为复制可能会做坏事,也就是说可能会尝试写一个字符串来,如果我们实际上传递了一个 Int 的数组,那么 ClassCastException 将在稍后抛出。
那么,我们唯一要确保的是 copy() 不会做任何坏事。我们要禁止它写信给我们,我们可以这样做:
fun copy(from: Array<out Any>, to: Array<Any>) {
// ...
}
这里发生的事情就是类型投影:我们说,from 不仅仅是一个数组,而是一个有限的(预计的)数组:我们只能调用返回类型参数 T 的方法,在这种情况下,这意味着我们只能调用 get()。这是我们使用处变型:类型投影的方法,对应于 Java 的 Array <?extends Object>,但是稍微简单一些。
你也可以投入一个类型:
fun fill(dest: Array<in String>, value: String) {
// ...
}
Array 对应 Java 的 Array
通用函数
不是只有类可以有类型参数。函数也可以。类型参数放在函数名称之前:
fun <T> singletonList(item: T): List<T> {
// ...
}
fun <T> T.basicToString() : String { // extension function
// ...
}
要调用一个通用函数,在函数名称后面的调用处中指定类型参数:
val l = singletonList<Int>(1)
常见约束
可以替代给定类型参数的所有可能类型的集合可能受到通用约束的限制。
上限
最常见的约束类型是对应于 Java 的 extends 关键字的上限:
fun <T : Comparable<T>> sort(list: List<T>) {
// ...
}
冒号后面指定的类型是上限:只有 Comparable的子类型可以被替换为 T 。例如
sort(listOf(1, 2, 3)) // OK. Int is a subtype of Comparable<Int>
sort(listOf(HashMap<Int, String>())) // 错误: HashMap<Int, String> 不是 Comparable<HashMap<Int, String>> 的子类型
默认上限(如果没有指定)为 Any? 在尖括号内只能指定一个上限。如果同一类型的参数需要多个上限,我们需要一个单独的 where 子句:
fun <T> cloneWhenGreater(list: List<T>, threshold: T): List<T>
where T : Comparable,
T : Cloneable {
return list.filter { it > threshold }.map { it.clone() }
}
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)