6.3　类型检查和转换

有时你可能想知道手头的对象是否是你所期望的特定类型。而且，一旦进行了验证，你通常将引用转换为该类型，这样就可以调用你想要的方法——至少在Java中是这样的。在这里，我们将看到Kotlin如何支持类型检查和类型转换这两种操作。在此过程中，你将看到如何从Kotlin的类型安全中获益，同时还将看到该语言如何使你不再需要编写乏味的代码。