第8章 泛型

第8章 泛型

通常情况的类和函数，我们只需要使用具体的类型即可：要么是基本类型，要么是自定义的类。但是在集合类的场景下，我们通常需要编写可以应用于多种类型的代码，我们最简单原始的做法是，针对每一种类型，写一套刻板的代码。这样做，代码复用率会很低，抽象也没有做好。我们能不能把“类型”也抽象成参数呢？是的，当然可以。

Java 5 中引入泛型机制，实现了“参数化类型”（Parameterized Type）。参数化类型，顾名思义就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式，我们称之为类型参数，然后在使用时传入具体的类型（类型实参）。

我们知道，在数学中泛函是以函数为自变量的函数。类比的来理解，编程中的泛型就是以类型为变量的类型，即参数化类型。这样的变量参数就叫类型参数(Type Parameters)。

本章我们来一起学习一下Kotlin泛型的相关知识。

8.1 为何引入泛型

《Java编程思想 》（第4版）中提到：有许多原因促成了泛型的出现，而最引人注意的一个原因，就是为了创建容器类 (集合类)。

集合类可以说是我们在写代码过程中最最常用的类之一。我们先来看下没有泛型之前，我们的集合类是怎样持有对象的。在Java中，Object类是所有类的根类。为了集合类的通用性，把元素的类型定义为Object，当放入具体的类型的时候，再作相应的强制类型转换。

这是一个示例代码：

class RawArrayList {
    public int length = 0;
    private Object[] elements; // 把元素的类型定义为Object

    public RawArrayList(int length) {
        this.length = length;
        this.elements = new Object[length];
    }

    public Object get(int index) {
        return elements[index];
    }

    public void add(int index, Object element) {
        elements[index] = element;
    }
}

一个简单的测试代码如下

public class RawTypeDemo {

    public static void main(String[] args) {
        RawArrayList rawArrayList = new RawArrayList(4);
        rawArrayList.add(0, "a");
        rawArrayList.add(1, "b");
        System.out.println(rawArrayList);

        String a = (String)rawArrayList.get(0); 
        System.out.println(a);

        String b = (String)rawArrayList.get(1);
        System.out.println(b);

        rawArrayList.add(2, 200);
        rawArrayList.add(3, 300);
        System.out.println(rawArrayList);

        int c = (int)rawArrayList.get(2);
        int d = (int)rawArrayList.get(3);
        System.out.println(c);
        System.out.println(d);

        String x = (String)rawArrayList.get(2); //Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String
        System.out.println(x);

    }

}

我们可以看出，在使用原生态类型（raw type）实现的集合类中，我们使用的是Object[]数组。这种实现方式，存在的问题有两个：

  1. 向集合中添加对象元素的时候，没有对元素的类型进行检查，也就是说，我们往集合中添加任意对象，编译器都不会报错。

  2. 当我们从集合中获取一个值的时候，我们不能都使用Object类型，需要进行强制类型转换。而这个转换过程由于在添加元素的时候没有作任何的类型的限制跟检查，所以容易出错。例如上面代码中的：

String x = (String)rawArrayList.get(2); //Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String

对于这行代码，编译时不会报错，但是运行时会抛出类型转换错误。能不能让编译器来解决这样的样板化的类型转换代码呢？当我们向rawArrayList 添加元素的时候

rawArrayList.add(0, "a");

就限定其元素类型只能为String，那么在后面的获取元素的时候，自动强制转型为String 呢？

 String a = (String)rawArrayList.get(0);

这个元素类型 String 的信息，我们存放到 一个“类型参数”中，然后在编译器层面引入相应的类型检查和自动转换机制，这样就可以解决这个类型安全使用的问题。这也正是引入的泛型的基本思想。

泛型最主要的优点就是让编译器追踪参数类型，执行类型检查和类型转换。因为由编译器来保证类型转换不会失败。如果依赖我们程序员自己去追踪对象类型和执行转换，那么运行时产生的错误将很难去定位和调试，然而有了泛型，编译器 可以帮助我们执行大量的类型检查，并且可以检测出更多的编译时错误。在这一点上，泛型跟我们第3章中所讲到的“可空类型”实现的空指针安全，在思想上有着异曲同工之妙。

8.2 在类、接口和函数上使用泛型

泛型类、泛型接口和泛型方法具备可重用性、类型安全和高效等优点。在集合类API中大量地使用了泛型。在Java 中我们可以为类、接口和方法分别定义泛型参数，在Kotlin中也同样支持。本节我们分别介绍Kotlin中的泛型接口、泛型类和泛型函数。

8.2.1 泛型接口

我们举一个简单的Kotlin泛型接口的例子。

interface Generator<T> { // 类型参数放在接口名称后面： <T> 
    operator fun next(): T  // 接口函数中直接使用类型 T
}

测试代码

fun testGenerator() {
    val gen = object : Generator<Int> { // 对象表达式
        override fun next(): Int {
            return Random().nextInt(10)
        }
    }
    println(gen.next())
}

这里我们使用object 关键字来声明一个Generator实现类，并在lambda表达式中实现了next() 函数。

Kotlin 中 Map 和 MutableMap 接口的定义也是一个典型的泛型接口的例子。

public interface Map<K, out V> {
    ...
    public fun containsKey(key: K): Boolean
    public fun containsValue(value: @UnsafeVariance V): Boolean
    public operator fun get(key: K): V?
    ...
    public val keys: Set<K>
    public val values: Collection<V>
    public val entries: Set<Map.Entry<K, V>>
}

public interface MutableMap<K, V> : Map<K, V> {
    public fun put(key: K, value: V): V?
    public fun remove(key: K): V?
    public fun putAll(from: Map<out K, V>): Unit
    ...
}

例如，我们使用 mutableMapOf 函数来实例化一个可变Map

>>> val map = mutableMapOf<Int,String>(1 to "a", 2 to "b", 3 to "c")
>>> map
{1=a, 2=b, 3=c}

其中，mutableMapOf 函数签名如下

fun <K, V> mutableMapOf(vararg pairs: Pair<K, V>): MutableMap<K, V>

这里类型参数 K，V 当泛型类型被实例化和使用时，它将被一个实际的类型参数所替代。在 mutableMapOf<Int,String> 中，放置K， V 的位置被具体的Int 和 String 类型所替代。

泛型可以用来限制集合类持有的对象类型，这样使得类型更加安全。当我们在一个集合类里面放入了错误类型的对象，编译器就会报错：

>>> map.put("5","e")
error: type mismatch: inferred type is String but Int was expected
map.put("5","e")
        ^

Kotlin中有类型推断的功能，有些类型参数可以直接省略不写。mutableMapOf<Int,String> 后面的类型参数 <Int,String> 可以省掉不写：

>>> val map = mutableMapOf(1 to "a", 2 to "b", 3 to "c")
>>> map
{1=a, 2=b, 3=c}

8.2.2 泛型类

我们直接声明一个带类型参数的 Container 类

class Container<K, V>(var key: K, var value: V)

为了方便测试，我们重写 toString() 函数

class Container<K, V>(var key: K, var value: V){ // 在类名后面声明泛型参数<K, V> ， 多个泛型使用逗号隔开
    override fun toString(): String {
        return "Container(key=$key, value=$value)"
    }
}

测试代码

fun testContainer() {
    val container = Container<Int, String>(1, "A") // <K, V> 被具体化为<Int, String>
    println(container) // container = Container(key=1, value=A)
}

8.2.3 泛型函数

在泛型接口和泛型类中，我们都在类名和接口名后面声明了泛型参数。而实际上，我们也可以直接在类或接口中的函数，或者直接在包级函数中直接声明泛型参数。代码示例如下

class GenericClass {
    fun <T> console(t: T) { // 类中的泛型函数
        println(t)
    }
}
interface GenericInterface {
    fun <T> console(t: T) // 接口中的泛型函数
}
fun <T : Comparable<T>> gt(x: T, y: T): Boolean { // 包中的泛型函数
    return x > y
}

8.3 类型上界

在上面的例子中，我们有看到 gt(x:T, y:T) 函数的签名中有个 T : Comparable<T>

fun <T : Comparable<T>> gt(x: T, y: T): Boolean

这里的 T : Comparable<T> ，表示 Comparable<T>是类型 T 的上界。也就是告诉编译器，类型参数 T 代表的都是实现了 Comparable<T> 接口的类，这样等于告诉编译器它们都实现了compareTo方法。如果没有这个类型上界声明，我们就无法直接使用 compareTo （ > ）操作符。也就是说，下面的代码编译不通过

fun <T> gt(x: T, y: T): Boolean {
    return x > y // 编译不通过
}

8.4 协变与逆变

我们来看一个问题场景。首先，我们有下面的存在父子关系的类型

open class Food
open class Fruit : Food()
class Apple : Fruit()
class Banana : Fruit()
class Grape : Fruit()

然后，我们有下面的两个函数

object GenericTypeDemo {

    fun addFruit(fruit: MutableList<Fruit>) {
        // TODO
    }

    fun getFruit(fruit: MutableList<Fruit>) {
        // TODO
    }
}

这个时候，我们可以这样调用上面的两个函数

    val fruits: MutableList<Fruit> = mutableListOf(Fruit(), Fruit(), Fruit())
    GenericTypeDemo.addFruit(fruits)
    GenericTypeDemo.getFruit(fruits)

现在，我们又有一个存放Apple的List

val apples: MutableList<Apple> = mutableListOf(Apple(), Apple(), Apple())

由于Kotlin中的泛型跟Java一样是非协变的，下面的调用是编译不通过的

GenericTypeDemo.addFruit(apples) // type mismatch
GenericTypeDemo.getFruit(apples) // type mismatch

如果没有协变，那么我们不得不再添加两个函数

object GenericTypeDemo {

    fun addFruit(fruit: MutableList<Fruit>) {
        // TODO
    }

    fun getFruit(fruit: MutableList<Fruit>) {
        // TODO
    }

    fun addApple(apple: MutableList<Apple>) {
        // TODO
    }

    fun getApple(apple: MutableList<Apple>) {
        // TODO
    }

}

我们一眼就能看出，这是重复的样板代码。我们能不能让 MutableList<Fruit> 成为 MutableList<Apple> 的父类型呢？ Java泛型中引入了类型通配符的概念来解决这个问题。Java 泛型的通配符有两种形式：

  • 子类型上界限定符 ? extends T 指定类型参数的上限（该类型必须是类型T或者它的子类型）。也就是说MutableList<? extends Fruit> 是 MutableList<Apple> 的父类型。 Kotlin中使用 MutableList<out Fruit> 来表示。

  • 超类型下界限定符 ? super T 指定类型参数的下限（该类型必须是类型T或者它的父类型）。也就是说MutableList<? super Fruit> 是 MutableList<Object>的父类型。Kotlin中使用 MutableList<in Fruit> 来表示。

这里的问号 (?) , 我们称之为类型通配符(Type Wildcard)。通配符在类型系统中具有重要的意义，它们为一个泛型类所指定的类型集合提供了一个有用的类型范围。

Number 类型（简记为F） 是 Integer 类型（简记为C）的父类型，我们把这种父子类型关系简记为：C => F (C 继承 F)；而List<Number>, List<Integer>的代表的泛型类型信息，我们分别简记为 f(F), f(C)。

那么我们可以这么来描述协变和逆变：

当 C => F 时, 如果有 f(C) => f(F), 那么 f 叫做协变；
当 C => F 时, 如果有 f(F) => f(C), 那么 f 叫做逆变。
如果上面两种关系都不成立则叫做不变。

协变与逆变可以用下图来简单说明

协变与逆变

协变和逆协变都是类型安全的。

8.4.1 协变

在Java中数组是协变的，下面的代码是可以正确编译运行的：

        Integer[] ints = new Integer[3];
        ints[0] = 0;
        ints[1] = 1;
        ints[2] = 2;
        Number[] numbers = new Number[3];
        numbers = ints;
        for (Number n : numbers) {
            System.out.println(n);
        }

在Java中，因为 Integer 是 Number 的子类型，数组类型 Integer[] 也是 Number[] 的子类型，因此在任何需要 Number[] 值的地方都可以提供一个 Integer[] 值。Java中数组协变的意思可以用下图简单说明

Java 数组协变

Java中泛型是非协变的。如下图所示

泛型不是协变的

也就是说， List<Integer> 不是 List<Number> 的子类型，试图在要求 List<Number> 的位置提供 List<Integer> 是一个类型错误。下面的代码，编译器是会直接报错的：

        List<Integer> integerList = new ArrayList<>();
        integerList.add(0);
        integerList.add(1);
        integerList.add(2);
        List<Number> numberList = new ArrayList<>();
        numberList = integerList; // 编译错误：类型不兼容

编译器报错提示如下：

编译错误：类型不兼容

Java中泛型和数组的不同行为，的确引起了许多混乱。就算我们使用通配符，这样写：

List<? extends Number> list = new ArrayList<Number>();  
list.add(new Integer(1)); //error

仍然是报错的：

add元素错误信息

这通常会让我们感到困惑：为什么Number的对象可以由Integer实例化，而ArrayList<Number>的对象却不能由ArrayList<Integer>实例化？list中的<? extends Number>声明其元素是Number或Number的派生类，为什么不能add Integer? 为了弄清楚这些问题，我们需要了解Java中的逆变和协变以及泛型中通配符用法。

List<? extends Number> list = new ArrayList<>();

这里的子类型 C 就是 Number类及其子类（例如Number、Integer、Float等） ，表示的是 Number 类或其子类。父类 F 就是上界通配符： ? extends Number。

当 C => F ，这个关系成立：f(C) => f(F) , 这就是协变。我们把 f(F) 具体化为 List<? extends Number>， f(C) 具体化为 List<Integer> 、List<Float>等。 协变代表的意义就是： List<? extends Number> 是 List<Integer> 、List<Float>等的父类型。如下图所示

协变

代码示例

List<? extends Number> list1 = new ArrayList<Integer>();  
List<? extends Number> list2 = new ArrayList<Float>();

但是这里不能向list1、list2添加除null以外的任意对象。

        list1.add(null); // ok
        list2.add(null);// ok
        list1.add(new Integer(1)); // error
        list2.add(new Float(1.1f)); // error

List<Integer>可以添加Interger及其子类；
List<Float>可以添加Float及其子类；
List<Integer>、List<Float>等都是 List<? extends Number>的子类型。

现在问题来了，如果能将Float的子类添加到 List<? extends Number>中，那么也能将Integer的子类添加到 List<? extends Number>中, 那么这时候 List<? extends Number> 里面将会持有各种Number子类型的对象（Byte，Integer，Float，Double等）。而这个时候，当我们再使用这个list的时候，元素的类型就会混乱。我们不知道哪个元素会是Integer或者Float 。Java为了保护其类型一致，禁止向List<? extends Number>添加任意对象，不过可以添加空对象null。

禁止向List<? extends Number>添加任意对象

8.4.2 逆变

我们先用一段代码举例

List<? super Number> list = new ArrayList<Object>();

这里的子类型 C 是 ? super Number , 父类型 F 是 Number 的父类型（例如：Object类）。

当 C => F , 有 f(F) => f(C) ， 这就是逆变。我们把 f (C) 具体化为 List<? super Number> ，f(F) 具体化为List<Object> 。逆变的意思就是说 List<? super Number> 是 List<Object> 的父类型。如下图所示

逆变

代码示例：

List<? super Number> list3 = new ArrayList<Number>();  
List<? super Number> list4 = new ArrayList<Object>();  
list3.add(new Integer(3));  
list4.add(new Integer(4));

在逆变类型中，我们可以向其中添加元素。例如，我们可以向 List<? super Number > list4 变量中添加Number及其子类对象。

8.4.3 PECS

现在问题来了：我们什么时候用extends什么时候用super呢？《Effective Java》给出了答案：

PECS: producer-extends, consumer-super

下面我们通过实例来说明PECS的具体含义。

首先，我们声明一个简单的Stack 泛型类如下

public class Stack<E>{  
    public Stack();  
    public void push(E e):  
    public E pop();  
    public boolean isEmpty();  
}

要实现pushAll(Iterable<E> src)方法，将src的元素逐一入栈

public void pushAll(Iterable<E> src){  
    for(E e : src)  
        push(e)  
}

假设有一个Stack<Number>（类型参数E 具体化为 Number 类型）实例化的对象stack，src有 Iterable<Integer> 与 Iterable<Float>，那么在调用pushAll方法时会发生type mismatch错误，因为Java中泛型是不可变的，Iterable<Integer>与 Iterable<Float>都不是Iterable<Number>的子类型。

因此，pushAll(Iterable<E> src)方法签名应改为

// Wildcard type for parameter that serves as an E producer  
public void pushAll(Iterable<? extends E> src) {  
    for (E e : src)   // out T, 从src中读取数据，producer-extends
        push(e);  
}

这样就实现了泛型的协变。同时，我们从src中读取的数据都能保证是E类型及其子类型的对象。

现在，我们再看 popAll(Collection<E> dst)方法，该方法将Stack中的元素依次取出add到dst中，如果不用通配符实现：

// popAll method without wildcard type - deficient!  
public void popAll(Collection<E> dst) {  
    while (!isEmpty())  
        dst.add(pop());    
}

同样地，假设有一个实例化Stack<Number>的对象stack，dst为Collection<Object>；调用popAll方法是会发生type mismatch错误，因为Collection<Object>不是Collection<Number>的子类型。

因而，popAll(Collection<E> dst) 方法应改为：

// Wildcard type for parameter that serves as an E consumer  
public void popAll(Collection<? super E> dst) {  // 保证dst中的元素都是E类型或者E的父类型
    while (!isEmpty())  
        dst.add(pop());   // in T, 向dst中写入数据， consumer-super
}

因为 pop() 返回的数据类型是E， 而dst中的元素都是E类型或者E的父类型，所以我们可以安全地写入E类型的数据。

Naftalin与Wadler将PECS称为 Get and Put Principle。

在java.util.Collections的copy方法中(JDK1.7)完美地诠释了PECS：

public static <T> void copy(List<? super T> dest, List<? extends T> src) {  
    int srcSize = src.size();  
    if (srcSize > dest.size())  
        throw new IndexOutOfBoundsException("Source does not fit in dest");  
  
    if (srcSize < COPY_THRESHOLD ||  
        (src instanceof RandomAccess && dest instanceof RandomAccess)) {  
        for (int i=0; i<srcSize; i++)  
            dest.set(i, src.get(i));  
    } else {  
        ListIterator<? super T> di=dest.listIterator();   // in T, 写入dest数据
        ListIterator<? extends T> si=src.listIterator();   // out T， 读取src数据
        for (int i=0; i<srcSize; i++) {  
            di.next();  
            di.set(si.next());  
        }  
    }  
}

8.5 out T 与 in T

正如上文所讲的，在 Java 泛型里，有通配符这种东西，我们要用? extends T指定类型参数的上限，用 ? super T指定类型参数的下限。

而Kotlin 抛弃了这个东西，直接实现了上文所讲的PECS的规则。Kotlin 引入了投射类型 out T 代表生产者对象，投射类型 in T 代表消费者对象。Kotlin使用了投射类型( projected type ) out T 和 in T 来实现了类型通配符同样的功能。

我们用代码示例简单讲解一下：

public static <T> void copy(List<? super T> dest, List<? extends T> src) {  
        ...
        ListIterator<? super T> di=dest.listIterator();   // in T, 写入dest数据
        ListIterator<? extends T> si=src.listIterator();   // out T， 读取src数据
         ...
}

List<? super T> dest 是消费数据的对象，数据会被写入到 dest 对象中，这些数据该对象被“吃掉”了（Kotlin中叫in T）。

List<? extends T> src 是生产提供数据的对象。src 会“吐出”数据（Kotlin中叫out T）。

在Kotlin中，我们把那些只能保证读取数据时类型安全的对象叫做生产者，用 out T标记；把那些只能保证写入数据安全时类型安全的对象叫做消费者，用 in T标记。

如果你觉得太晦涩难懂，就这么记吧：

out T 等价于? extends T
in T 等价于 ? super T

8.6 类型擦除

Java和Kotlin 的泛型实现，都是采用了运行时类型擦除的方式。也就是说，在运行时，这些类型参数的信息将会被擦除。

泛型是在编译器层次上实现的。生成的 class 字节码文件中是不包含泛型中的类型信息的。例如在代码中定义的List<Object>和List<String>等类型，在编译之后都会变成List。JVM看到的只是List，而由泛型附加的类型信息对JVM来说是不可见的。

关于泛型的很多奇怪特性都与这个类型擦除的存在有关，比如：泛型类并没有自己独有的Class类对象。比如Java中并不存在List<String>.class或是List<Integer>.class，而只有List.class。对应地在Kotlin中并不存在MutableList<Fruit>::class， 而只有 MutableList::class 。

类型擦除的基本过程也比较简单：

  • 首先，找到用来替换类型参数的具体类。这个具体类一般是Object。如果指定了类型参数的上界的话，则使用这个上界。

  • 其次，把代码中的类型参数都替换成具体的类。同时去掉出现的类型声明，即去掉<>的内容。比如， T get() 就变成了Object get()， List<String> 就变成了List。

  • 最后，根据需要生成一些桥接方法。这是由于擦除了类型之后的类可能缺少某些必须的方法。这个时候就由编译器来动态生成这些方法。

当了解了类型擦除机制之后，我们就会明白是编译器承担了全部的类型检查工作。编译器禁止某些泛型的使用方式，也正是为了确保类型的安全性。

本章小结

泛型是一个非常有用的东西。尤其在集合类中。我们可以发现大量的泛型代码。有了泛型，我们可以拥有更强大更安全的类型检查、无需手工进行类型转换，并且能够开发更加通用的泛型算法。

Kotlin 开发者社区

国内第一Kotlin 开发者社区公众号，主要分享、交流 Kotlin 编程语言、Spring Boot、Android、React.js/Node.js、函数式编程、编程思想等相关主题。

开发者社区 QRCode.jpg
最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 203,324评论 5赞 476
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 85,303评论 2赞 381
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 150,192评论 0赞 337
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 54,555评论 1赞 273
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 63,569评论 5赞 365
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 48,566评论 1赞 281
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 37,927评论 3赞 395
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 36,583评论 0赞 257
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 40,827评论 1赞 297
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,590评论 2赞 320
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,669评论 1赞 329
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 33,365评论 4赞 318
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 38,941评论 3赞 307
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,928评论 0赞 19
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,159评论 1赞 259
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 42,880评论 2赞 349
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 42,399评论 2赞 342

推荐阅读更多精彩内容

  • 五、Kotlin泛型
    泛型 泛型（Generic Type）简介 通常情况的类和函数，我们只需要使用具体的类型即可：要么是基本类型，要么...
    Tenderness4阅读 1,412评论 4赞 2
  • Kotlin教程（九）泛型
    写在开头：本人打算开始写一个Kotlin系列的教程，一是使自己记忆和理解的更加深刻，二是可以分享给同样想学习Kot...
    胡奚冰阅读 1,417评论 1赞 3
  • Kotlin 快速入门
    前言 人生苦多，快来 Kotlin ，快速学习Kotlin！ 什么是Kotlin？ Kotlin 是种静态类型编程...
    任半生嚣狂阅读 26,134评论 9赞 118
  • 第177天：隐约感知朋友的意思
    都说朋友是互相谦让，互相帮助，但是找一个真正的朋友真的非常难，而且是太多觉得很好的朋友，因为一点事情就翻...
    4点半的恩赐阅读 478评论 0赞 0
  • 往事不再如烟
    3月的天气,春天的气息，雨珠不断的，不断的洗刷着玻璃,万物在雨的冲刷下显得楚楚动人，郁郁葱葱，枯木在雨后也得到了重...
    6ad5b7598ebc阅读 504评论 4赞 10