主要的区别是var变量值可以改变，而let不能。如果你想让一个用户输入数据，你可以使用var来改变值，使用let数据类型变量来改变值。

var str      = "dog"  // str value is "dog"
str          = "cat"  // str value is now "cat"

let strAnimal = "dog" // strAnimal value is "dog"
strAnimal     = "cat" // Error !

Var是一个变量，你可以在任何时间任意改变它

例如

var changeit:Int=1
changeit=2
 //changeit has changed to 2 

Let是不变的，不能改变

例如

let changeit:Int=1
changeit=2
 //Error becuase constant cannot be changed

根据Swift编程语言书

和C语言一样，Swift使用变量来存储和引用值 识别的名字。Swift还大量使用了变量whose 数值不可修改。这些被称为常数，而且很多 比C语言中的常量更强大。

var和let都是引用，因此let是const引用。 使用基本类型并不能真正说明let与const有何不同。 区别在于当它与类实例(引用类型)一起使用时:

class CTest
{
    var str : String = ""
}

let letTest = CTest()
letTest.str = "test" // OK

letTest.str = "another test" // Still OK

//letTest = CTest() // Error

var varTest1 = CTest()
var varTest2 = CTest()
var varTest3 = CTest()

varTest1.str = "var 1"
varTest2.str = "var 2"
varTest3 = varTest1
varTest1.str = "var 3"

varTest3.str // "var 3"

关键字var用来定义一个变量，你可以像这样轻松地修改它的值:

var no1 = 1 // declaring the variable 
no1 = 2 // changing the value since it is defined as a variable not a constant

但是，let关键字仅用于创建一个常量，当您不想再次更改常量的值时使用。如果你试图改变常数的值，你会得到一个错误:

let no2 = 5 // declaring no2 as a constant
no2 = 8 // this will give an error as you cannot change the value of a constant 

我在其他语言中遇到的常量的另一个区别是:不能为以后初始化常量(let)，应该在你即将声明常量时初始化。

例如:

let constantValue : Int // Compile error - let declarations require an initialiser expression

变量

var variableValue : Int // No issues 

虽然目前我还在阅读手册，但我认为这非常接近C/ c++的const指针。换句话说，类似于char const*和char*之间的区别。编译器也拒绝更新内容，不仅是引用重赋(指针)。

例如，假设你有这样一个结构体。注意，这是一个结构，而不是一个类。AFAIK，类没有不可变状态的概念。

import Foundation


struct
AAA
{
    var inner_value1    =   111

    mutating func
    mutatingMethod1()
    {
        inner_value1    =   222
    }
}


let aaa1    =   AAA()
aaa1.mutatingMethod1()      // compile error
aaa1.inner_value1 = 444     // compile error

var aaa2    =   AAA()
aaa2.mutatingMethod1()      // OK
aaa2.inner_value1 = 444     // OK

因为结构在默认情况下是不可变的，所以需要用mutating标记mutator方法。因为名字aaa1是常量，你不能对它调用任何mutator方法。这正是我们在C/ c++指针上所期望的。

我相信这是一种支持常量正确性的机制。