辛巴学院:正大光明的不务正业。
中秋节快乐，每逢佳节倍思亲，尤其是那素未谋面的老婆，对吧，屌丝们。
今天我们来探索一下C#里面奇怪的计算，奇怪的类型。
奇怪的计算
当我刚刚接触计算机编程的时候，一切在我看来都是奇怪的。
i++
i=i+1
i==i+1
这都是些什么鬼？
机器语言是图灵机模式的，那玩意不是人类语言，是关于操作寄存器的。
附：图灵机视频地址测试版：
http://v.youku.com/v_show/id_XMTM0MDg0NjUxMg==.html?from=y1.7-1.2
高级语言是模拟人类语言的，可是上面那些鬼用人类语言完全看不懂呢。
没人能看懂，以自然语言的角度来说做了很多的省略。
此处的等号和数学的等号全无关系，而是替代自然语言的一个简化符号
不仅仅是等号，编程语言中出现的所有符号，他其实都是想说一句话，不一定和你数学中熟悉的那个符号表达相同含义
i++ (他想表示一句话，让i这个变量的值增加1)
i=i+1（他想表示一句话，让i这个变量的值改变，改变为i+1）（这里初学会很纠结我们等下来解释）
i==i+1（他想表示一句话，判断i 是否和 i+1 相等）
你要时刻提醒自己，这不是数学，这不是数学，这不是数学
高级语言中，所有的语句，都想表示一句话
i=i+1，表示的这句话是不是有点奇特呢？让i这个变量的值改变，改变为i+1。他们的时空观到底是个what？放心，这不是黑客帝国。
我们的时空观还在牛顿经典物理水平。（初中物理水平）
前面讲过："代码是棵树，执行有顺序"。这就是个顺序的问题。他相当于先拿一个临时变量j=i+1，这就没有时空困扰了，然后再让i=j。
并不是时空观上有什么奇怪，而是这句话隐含了一个中间出现临时变量的机制。
初学者可能会在这里绕圈圈绕一会儿，没关系，多绕一下。
=这个符号，是"让谁的值改变为xxx"的代表符号，而不是数学中的等号
3
2
1
绕清楚了么？
对加减乘除与数值类型来说，倒是和数学意义一致，不用特别说明
然后出现的奇怪计算是这个：i==i+1
这个叫做逻辑运算，完整的写法应该如下:bool b =i==i+1; 完整的想要表示的自然语言是：让b的值改变为是或否， i是否与i+1相等。
所有的逻辑运算得到的结果只有是或否，bool型 专门用来表示这个 是 或 否。Int型专门表示整数。
逻辑类型最常用的场合是配合if做选择逻辑，If(i>2)隐藏了一些细节,完整的写法是
bool b = i>2;
if(b)
{
…
}
c#将所有的需要逻辑表达式的场合，统一为使用bool类型的参数。
也就是说c#中所有使用逻辑运算的场合，均可如上面那样展开写一个明确的bool变量。
当你写到这些问题完全不会绕住，完全不会弄错，你可以完全忽视这一切。
现在，假如你写代码写到逻辑运算绕住了，那你可以把他展开写，更容易看懂。
只要你始终牢记所有的运算符都是想说一句话，那就不会陷入这个陷阱中。
其实不止是运算符，高级语言我们说过，整个就是颗树，每一句都是想说一句话，一句人类的话，只是太多的简化，说的不那么好。
C#中还有一类特殊的计算，位运算，这个是2进制的范畴，在逻辑清晰要求剩余内存要求的现下，位运算出镜率已经接近于零，所以我们不提这个部分。
奇怪的类型
在讲到类型，一般来说，言必及封装继承多态，言必及面向对象。
我们还没到那里，收回来，不要去考虑面向对象的问题，面向对象讲的是：猫继承自动物，狗继承自动物，波斯猫继承自猫，短毛猫继承自猫。
深不以为然，而且现下，我们并不是要去考虑面向对象的问题。
为什么我们在c#里 不能直接写 i=1，而要写int i=1;为什么所有新的变量前面都有个类型 int float string bool，blabla，各种各样的东西，为什么？
不写可不可以，当然可以，basic就是这样的语言，不用区分变量类型。这些事情交给runtime去处理。
这是程序圈里面分为两派一直在口水的一个问题。而静态类型语言，初始设计只是为了贴近机器语言，类型明确，就更容易翻译为机器语言，因为机器语言严格区分类型
Int 只能和 int计算 float 只能和float计算，机器语言也只有整数和 有小数点的数这两种类型。
后来，静态类型定义 和 动态类型识别 已经成为了两种设计原则与方法论，已经脱离了这个好处，和机器语言一点关系都没有啦。
目前静态类型定义语言主要的好处是语义明确，很多类型相关的错误，在编译阶段就会暴露出来，根本不需要到程序执行起来出错来看。
但动态类型识别语言却强调他们的简洁，写代码少，语言更接近人类语言，毕竟人类说话时是不带着"类型"的
Int i=2+3;人类不会说 让(整数)i的值改变为（ 整数）2 加（ 整数）3.
但是现在的机器语言会，大家都知道cpu跑分的时候会分别跑整数运算能力和浮点运算能力。说的就是机器运算不同类型的能力。
总结一下，静态类型定义语言，由编译器的偷懒开始，现在是为了更明确，为了编译器更早的帮你发现问题。
其代价，就是你说话的时候，得多说出来类型。
你没得选择，但c#给了你一个变通的方式偷懒。
var i=2+3; 让变量i的值等于整数2+整数3，帮我确定i的类型。
var 在c#里用来告诉编译器，帮我确定i的类型，他只能用于编译器可以根据右边的表达式帮你推断出类型的情况。
这种情况十之八九，但有时候也会有些困扰，不建议你在学习初期写一大堆的var，把类型认知的事情都推给编译器。
中秋节到了，少说一点，下次聊函数和封装。
哈库拉玛塔塔。