官术网_书友最值得收藏!

Sealed classes

A sealed class in Kotlin is an abstract class, which can be extended by subclasses defined as nested classes within the sealed class itself. In a way, this is a rather more powerful enumeration option. Just like Enum, a sealed class hierarchy contains a fixed set of possible choices. However, unlike Enum, where each option is represented by one instance, the derived classes of a sealed class can have many instances. Sealed classes are ideal for defining algebraic data types. Imagine you want to model a binary tree structure and you do the following:

    sealed class IntBinaryTree {
      class EmptyNode : IntBinaryTree()
      class IntBinaryTreeNode(val left: IntBinaryTree, val value: Int, val right: IntBinaryTree) : IntBinaryTree()
    }

    …

    val tree = IntBinaryTree.IntBinaryTreeNode(
    IntBinaryTree.IntBinaryTreeNode(
      IntBinaryTree.EmptyNode(),
      1,
      IntBinaryTree.EmptyNode()),
      10,
      IntBinaryTree.EmptyNode())

Ideally, you won't hardcode the container value to be an integer, but make it generic in order to hold any type. But since we haven't introduced generics yet, we keep things a little bit simpler. In the preceding snippet, you may have noticed the presence of the sealed keyword. Trying to define a derived class outside the IntBinaryTree class scope will yield a compilation error.

The benefits of using such a class hierarchy come into play when you use them in a when expression. The compiler is able to infer a statement and cover all the possible cases; therefore, the check is exhaustive. For a Scala developer, this will sound familiar to pattern matching. Imagine we want to expose the elements of a tree to a list; for this, you would do the following:

    fun toCollection(tree: IntBinaryTree): Collection<Int> = when  (tree) { 
      is IntBinaryTree.EmptyNode -> emptyList<Int>() 
      is IntBinaryTree.IntBinaryTreeNode -> toCollection(tree.left) +  tree.value + toCollection(tree.right) 
    } 

If you leave one of the derived classes out of the when expression, you will get a compiler error as follows:

Error:(12, 5) Kotlin: 'when' expression must be exhaustive, add necessary 'is EmptyNode' branch or 'else' branch instead
主站蜘蛛池模板: 满洲里市| 建阳市| 高平市| 名山县| 鹤庆县| 建水县| 若尔盖县| 清远市| 兴宁市| 长垣县| 临安市| 河津市| 阿合奇县| 水城县| 桓仁| 西华县| 台南县| 铅山县| 九寨沟县| 高邮市| 遂昌县| 全椒县| 城固县| 文化| 巢湖市| 明光市| 平乡县| 铁力市| 察雅县| 辽宁省| 临汾市| 三河市| 离岛区| 三原县| 新晃| 思南县| 南丰县| 平潭县| 凤城市| 嘉义市| 留坝县|