转自:http://www.jianshu.com/p/2e4041edd054
  
  
Swift编程模式思考
  
   
  
  
被用于声明不变量，被用于声明变量。不变量的值一旦被定义就不能再改变，变量则可以在声明之后被随意赋值。
  
   
  
  
和,这种命令式编程语言中,使用关键字说明一个变量不应被改变. 在这类语言中，不变量和变量相比，通常是不寻常的，次一等的概念。如果将一个名字关联到一个值，缺省的会得到一个变量，而不是不变量。如果，你需要一个不会改变，一直和某个特定值绑定的名字，就需要显式说明它是不变的。
  
   
  
  
变量来源于命令式编程范式,不变量来源于函数式编程范式。
  
   
  
  
函数式编程以数学函数为建模基础。其变量的概念和数学中变量的概念是一致的。
  
   
  
  
在数学函数中，某个符号我们之所以称其为变量，是因为它可以用于代表不同的值。需要指明的是：当我们用明确的数值代入函数运算时，变量就拥有了明确的值。数学函数中不存在这种情况：某一次代换过程中，某个变量x一开始被代换为2，然后又变为3。这在数学上，没有任何意义。
  
   
  
  
受到了函数式编程的影响，强化了不变量在语言中位置，鼓励不变量的使用。
  
   
  
  
值类型和引用类型
  
   
  
  
在中，可以认为原始类型是值类型，而其它继承自类型都是引用类型。
  
   
  
  
而在中，被设计成一种值类型。在中都是以的形式实现的，所以，它们也都是值类型。类（）仍然是引用类型。
  
   
  
  
值类型在被赋给一个变量，或被传给函数时，实际是做了一次拷贝。引用类型在被赋给一个变量，或被传给函数时，传递的是引用。
  
   
  
  
例如:(引用类型)
  
   
  
  

  
  
p1和p2是两个独立对象，p3是p1的别名。p1和p2对各自的修改互不影响,而p1和p3可以认为是一个点。对其中任何一个的修改都会造成另一个也同样被修改。(p1和p2指向两块不同的内存地址，p1和p3指向同一块内存地址。)
  
  
如果改为值类型:
  
  

  
  
p3不再是p1的别名，而是p1的一个拷贝。
  
  
有一个问题：如果每次赋值都进行拷贝，会增大内存开销。Swift的解决方案是：只在值类型发生改变时才进行拷贝。
 
 
letvarJava(static,final)C(static)OC(const)SwiftJava（int，long，float，double，short，char，boolean）Object的Swift结构体整数，浮点数，布尔值，字符串，数组和字典Swift结构体classclass Point { var x: Double var y: Double init(x: Double,y: Double) { self.x = x self.y = y } } var p1 = Point(x: 1,y: 2) var p2 = Point(x: 1,y: 2) var p3 = p1 p3.x = 2struct Point { var x: Double var y: Double } var p1 = Point(x: 1,y: 2) var p3 = p1