Swift之结构体

本文首发于个人我的博客

前言

• 在 Swift 标准库中，绝大多数的公开类型都是结构体，而枚举和类只占很小一部分
  • 好比Bool、Int、Double、 String、Array、Dictionary等常见类型都是结构体

struct Date {
		var year: Int		
		var month: Int
		var day: Int
	}
 var date = Date(year: 2019, month: 6, day: 23)
复制代码

• 全部的结构体都有一个编译器自动生成的初始化器(initializer，初始化方法、构造器、构造方法)
  • 在最后一行调用的，能够传入全部成员值，用以初始化全部成员(存储属性，Stored Property)

结构体的初始化器

• 编译器会根据状况，可能会为结构体生成多个初始化器，宗旨是:保证全部成员都有初始值

eg:

struct Point{
    var x: Int
    var y: Int
}

var p1 = Point(x: 10, y: 20)
var p2 = Point(y: 20) //报错 Missing argument for parameter 'x' in call
var p3 = Point(x: 10) //报错 Missing argument for parameter 'y' in call
var p4 = Point()    //报错 Missing argument for parameter 'x' in call

复制代码

若是给定一个初始值

struct Point{
    var x: Int = 10
    var y: Int
}

var p1 = Point(x: 10, y: 20)
var p2 = Point(y: 20)
var p3 = Point(x: 10) //报错 Missing argument for parameter 'y' in call
var p4 = Point()    //报错 Missing argument for parameter 'y' in call
复制代码

若是x 和 y都有初始值的话，就怎么都不会报错了，由于 全部成员都有初始值

struct Point{
    var x: Int = 10
    var y: Int = 20
}

var p1 = Point(x: 10, y: 20)
var p2 = Point(y: 20)
var p3 = Point(x: 10) 
var p4 = Point()    
复制代码

初始值为nil的话，也能够编译经过，好比下面这种

struct Point{
    var x: Int?
    var y: Int?
}

var p1 = Point(x: 10, y: 20)
var p2 = Point(y: 20)
var p3 = Point(x: 10) 
var p4 = Point()    
复制代码

自定义初始化器

• 一旦在定义结构体时自定义了初始化器，编译器就不会再帮它自动生成其余初始化器

struct Point{
    var x: Int = 10
    var y: Int = 20
    init(x: Int, y: Int) {
        self.x = x
        self.y = y
    }
}

var p1 = Point(x: 10, y: 20)
var p2 = Point(y: 20) //报错 Missing argument for parameter 'x' in call
var p3 = Point(x: 10) //报错 Missing argument for parameter 'y' in call
var p4 = Point()    //报错 Missing argument for parameter 'x' in call

复制代码

窥探初始化器的本质

如下2段代码彻底等效

struct Point {
    var x: Int = 0
	var y: Int = 0 
}
	
	
struct Point {
    var x: Int
    var y: Int
	init() { 
		x=0 
		y=0
	} 
}

复制代码

验证

func test(){
    struct Point {
        var x: Int = 0
        var y: Int = 0
    }
    let p = Point() //这一行打断点
    print(p)
}
test()
复制代码

和

func test(){
    struct Point {
        var x: Int 
        var y: Int 
     	 init() {
           x=0
            y=0
       	}
    }
    let p = Point() //这一行打断点
    print(p)
}
test()
复制代码

查看汇编，两段代码都是

testSwift`init() in Point #1 in test():
->  0x100001d50 <+0>:  pushq  %rbp
    0x100001d51 <+1>:  movq   %rsp, %rbp
    0x100001d54 <+4>:  xorps  %xmm0, %xmm0
    0x100001d57 <+7>:  movaps %xmm0, -0x10(%rbp)
    0x100001d5b <+11>: movq   $0x0, -0x10(%rbp)
    0x100001d63 <+19>: movq   $0x0, -0x8(%rbp)
    0x100001d6b <+27>: xorl   %eax, %eax
    0x100001d6d <+29>: movl   %eax, %ecx
    0x100001d6f <+31>: movq   %rcx, %rax
    0x100001d72 <+34>: movq   %rcx, %rdx
    0x100001d75 <+37>: popq   %rbp
    0x100001d76 <+38>: retq   
复制代码

这两段代码的汇编同样的，也就是说，这两段代码彻底等效

结构体的内存结构

struct Point {
        var x: Int = 0
        var y: Int = 0
        var origin: Bool = true

    }
    
 print(MemoryLayout<Point>.size)
 print(MemoryLayout<Point>.stride)
 print(MemoryLayout<Point>.alignment)
复制代码

打印结果为

17

24

8

是由于内存对齐的缘故，17是由于 实际使用的是 8+8+1 = 17 24 是由于，要内存对齐，8*3 = 24

参考资料:

Swift官方源码

从入门到精通Swift编程

窥探内存细节的小工具

更多资料，欢迎关注我的公众号，不定时分享各类技术文章。