一 类型检查

1、 类型检查操作符

类型检查用来检查或转换一个实例的类型到另外的类型的一种方式。

在Swift中,类型检查使用is和as操作符来实现。

is操作符用来检查一个实例是否是某种特定类型,如果是返回true,否则返回false。

as操作符用来把某个实例转型为另外的类型,由于实例转型可能失败,因此Swift为as操作符提供了两种形式:选项形式as?和强制形式as。

选项形式(as?)的操作执行转换并返回期望类型的一个选项值,如果转换成功则返回的选项包含有效值,否则选项值为 nil

强制形式(as )的操作执行一个实例到目的类型的强制转换,因此使用该形式可能触发一个运行时错误。

如下例所示。

class MediaItem {

var name:String

init(name:String)
{

self.name
=name

}

}

class Movie:MediaItem
{

var director:String

init(name:String,director:String)
{

self.director
=director

super.init(name:name)

}

}

class Song:MediaItem
{

var artist:String

init(name:String,artist:String)
{

self.artist
=artist

super.init(name:name)

}

}

let library = [

Movie(name:"Casablanca",director:"Michael
Curtiz"),

Song(name:"Blue
Suede Shoes",artist:"Elvis Presley"),

Astley")

]

var movieCount =0

var songCount =0

for item in library
{

if item is Movie
{

++movieCount

}else if item is Song
{

++songCount

}

}

for item in library
{

if let movie
=item as? Movie
{

println("Movie:
'\(movie.name)',
dir. \(movie.director)")

}else if let song
=item as? Song
{

println("Song:
'\(song.name)',
by \(song.artist)")

}

}

本例首先定义了一个媒体类的继承树,其中两个类Movie和Song都继承自其基类MediaItem,接着定义一个包含这两个媒体项实例的数组library,然后在for
in循环中使用is操作符来检查某个媒体项是否是特定类型的实例,使用as操作符的选项形式as?来转换媒体项的实例为特定类型的实例。

2、 任意类型的使用

Swift提供了两个特定的类型别名:AnyObject与Any。

AnyObject类型能代表任何类类型。

Any类型能代表任意除了函数类型之外的所有其它类型。

例子展示了如何使用AnyObject类型定义一个AnyObject类型的数组以及该数组的使用,AnyObject类型的数组成员可以是任意的类的实例,例子中为Movie类的实例。

let someObjects:AnyObject[]
= [

Movie(name:"2001:
A Space Odyssey",director:"Stanley Kubrick"),

Movie(name:"Moon",director:"Duncan
Jones"),

]

for object in someObjects
{

let movie
=object as Movie

println("Movie: '\(movie.name)',
dir. \(movie.director)")

}

//以上循环使用as操作符强制转换一个类型为AnyObject的实例为确定的类型Movie类的实例,因此可能出现运行时错误。

//也可以直接使用as 操作符直接把someObjects类型的数组转型为Movie类型的数组,如下:

for movie in
someObjects as Movie[] {

println("Movie: '\(movie.name)',
dir. \(movie.director)")

}

如下例子展示Any的使用,可以使用Any来代替任何类型。

var things =Any[]()

things.append(0)

things.append(0.0)

things.append("hello")

things.append((3.0,5.0))

things.append(Movie(name:"Ghostbusters",director:"Ivan
Reitman"))

Any类型的数组可以包含任意类型的实例,如本例Any类型的数组things包含一个整数、浮点数、字符串、多元组、类的实例。

二  类型嵌套

类型嵌套允许你在一种类型中嵌套定义另外一种类型。在另外类型中定义的类型称为嵌套类型,嵌套类型定义在它的支持类型内部。类型能够多级嵌套,嵌套类型内部可以再嵌套定义另外的类型,如下例子所示:

struct BlackjackCard {

// nested Rank enumeration

enum Rank:Int
{

case Jack, Queen, King, Ace

// nested Values struct

struct Values
{

let first:Int,second:Int?

}

}

}

使用点语法来存取一个嵌套类型的属性、方法、或下标。

从嵌套类型的最外一级类型开始,一级级地向内获得要查询的嵌套类型的属性、方法、或下标。

如下所示:

let jackSymbol =BlackjackCard.Rank.Jack.toRaw()


苹果新的编程语言 Swift 语言进阶(十三)--类型检查与类型嵌套的更多相关文章

  1. 苹果新的编程语言 Swift 语言进阶(十六)--泛型

    泛型允许你定义一个宽松.可重用的函数或者类型,使用泛型能够避免代码的重复,也能以更清楚和抽象的方式来表达程序的意图. 泛型是Swift语言提供的强大功能之一,Swift提供的许多标准库都使用了泛型来创 ...

  2. 苹果新的编程语言 Swift 语言进阶(一)--综述

    Swift 是苹果开发和提供的供开发IOS 和OS X应用的一门新的语言.Swift语言基于C 和Objective-C语言,除了提供C 和Objective-C语言具有的所有语法功能外,为了编程方便 ...

  3. 苹果新的编程语言 Swift 语言进阶(三)--基本运算和扩展运算

    一 基本操作运算 1. 赋值操作 在Swift 中,能够使用赋值操作为一个常量或一个变量赋值,也能够使用多元组一次为多个常量或变量赋值. Swift 的赋值操作与其他语言最大的不同是赋值操作除了可以为 ...

  4. 苹果新的编程语言 Swift 语言进阶(十五)--协议

    协议定义了适合某个特定任务或功能需要的方法.属性和其它需求的一个蓝图.协议本身不提供这些需求的实现,它只是描述了一个任务或功能实现的蓝图. 协议与java 语言中的接口定义类似,都是描述了一个实现可以 ...

  5. 苹果新的编程语言 Swift 语言进阶(十四)--扩展

    扩展是为一个已经存在的类.结构.枚举类型添加新功能的一种方式,包括为不能存取源代码的那些已经存在的类型添加功能. 扩展类似于Objective-C语言中的类别,与类别不同的是Swift语言的扩展没有名 ...

  6. 苹果新的编程语言 Swift 语言进阶(九)--方法和下标

    一.方法 方法是与特定类型相关的函数.与属性一样,方法也包括实例方法和类型方法. 类.结构.枚举都能定义实例方法,用来封装或实现给定类型的一个实例相关的功能或特定任务. 类.结构.枚举也能定义与类型本 ...

  7. 苹果新的编程语言 Swift 语言进阶(七)--枚举、结构、类

    Swift语言中,具有类特征的类型包括三种,即枚举类型.结构类型(包括基本类型,基本类型实际都是结构类型的特例).类.其中枚举类型.结构类型是属于值类型,类属于引用类型.三种类型都可以添加属性.方法. ...

  8. 苹果新的编程语言 Swift 语言进阶(四)--字符串和收集类型

    一.字符串( String  )和字符类型(Character) 字符串是一种字符的带次序的收集类型(相当于数组),字符是字符串中的元素. 在Swift 语言中,字符串是编码独立的Unicode字符的 ...

  9. 苹果新的编程语言 Swift 语言进阶(二)--基本数据类型

    一  .   常量和变量 Swift语言 对常量和变量的声明进行了明确的区分 Swift语言的常量类型比C 语言的constants类型更加强大,语义更加明确. 常量和变量的区别是常量在设置或初始化后 ...

随机推荐

  1. React Native之ListView实现九宫格效果

    概述 在安卓原生开发中,ListView是很常用的一个列表控件,那么React Native(RN)如何实现该功能呢?我们来看一下ListView的源码 ListView是基于ScrollView扩展 ...

  2. 在O(1)时间内删除单链表结点

    给定单链表的一个结点的指针,同时该结点不是尾结点,此外没有指向其它任何结点的指针,请在O(1)时间内删除该结点. int deleteNode(LNode **head, LNode **node) ...

  3. Android View的绘制过程

    首先是view的绘制过程~最主要的分三部分 measure layout draw 看字面意思,计算,布局,画~ android中控件相当于是画在一个无限大的画布上的,那就产生了几个问题 画布无限大, ...

  4. Mac版Android Studio的安装和使用

    Android Studio已经出来很长时间了,据说谷歌会逐步放弃对Eclipse的支持,而把心思完全放在Android Studio上,鉴于Eclipse的各种不稳定,或许这将成一种趋势,因此,没事 ...

  5. Struts2中的struts.multipart.saveDir的配置

    <constant name="struts.multipart.saveDir" value="D:\\AsimsTemp"></const ...

  6. UNIX网络编程——客户/服务器程序设计示范(七)

        TCP预先创建线程服务器程序,每个线程各自accept 前面讨论过预先派生一个子进程池快于为每个客户线程派生一个子进程.在支持线程的系统上,我们有理由预期在服务器启动阶段预先创建一个线程池以取 ...

  7. UNIX网络编程——UDP 的connect函数(改进版)

    上一篇我们提到,除非套接字已连接,否则异步错误是不会返回到UDP套接字的.我们确实可以给UDP套接字调用connect,然而这样做的结果却与TCP连接大相径庭:没有三次握手.内核只是检查是否存在立即可 ...

  8. Redis简介以及数据类型存储

    由于我们在大型互联网项目当中,用户访问量比较大,比较多,会产生并发问题,对于此,我们该如何解决呢,Redis横空出世,首先,我们来简单的认识一下Redis,详细介绍如下所示: Redis是一个开源的, ...

  9. 网站开发进阶(四十三)html中,路径前加“/” 与不加“/”的区别

    网站开发进阶(四十三)html中,路径前加"/" 与不加"/"的区别 前言 <script src="js/downloadify.js&quo ...

  10. ADO.NET之Parameter属性

    在ADO.NET中, public SqlParameterCollection Parameters {get;}会得到一个SqlParameter属性.下面通过一个例子进行详细的认识吧. //例如 ...