C#锐利体验
文章平均质量分 87
王豫翔
这个作者很懒,什么都没留下…
展开
-
溯因推理:为什么需要override和new两种多态方案
该系列不是讨论关键字的用法或用处,是推测为什么会有这样的设计和规范,是大脑训练工厂 第五篇 学习就是探索第18章 推理式的学习方式有时候我们纠结迷茫,不知所措,其实最大的症结就在于不愿意深想,不愿意假设,不愿意宏观地去看待一切。虽然我们可能永远都无法从微软那里获得DotNet的源代码来研读,无法了解DotNet的内部机制,但并不代表我们不能自己对DotNet的内部机制进原创 2010-05-20 11:16:00 · 7665 阅读 · 40 评论 -
18.1.2 选言推理:为什么重载策略不能包含返回值
该系列不是讨论关键字的用法或用处,是推测为什么会有这样的设计和规范,是大脑训练工厂 在推理中,我们可以使用一种叫悖论的技巧,就是说如果某种假设成立,则现实中发生的现象将不可能存在,如果要求现实中的现象合理,就必须重新设立假设。这种模式其实质是一种选言推理。我们先了解什么是断言推理: 选言推理是根据选言命题的逻辑性质而进行的推理。选言命题有相容与不相容之分,相应地,选言原创 2010-05-26 16:19:00 · 1384 阅读 · 0 评论 -
18.1.4 连锁推导法:为什么值类型不可以为null而引用类型可以为null呢?
连锁推导法:在一个证明过程中,或一个比较复杂的推理过程中,将前一个推理的结论作为后一个推理的前提,一步接一步地推导,直到把需要的结论推出来。 我们在前面的知识中了解到值类型存储在堆栈(Stack)中,而引用类型存储在托管堆(Heap)中,堆栈的工作方式是以先进后出原则先保证先分配内存的变量后释放,你可以想像的出,堆栈中的变量是从后向前释放,这样就保证了堆栈中先进后出的规则不与变量的生命周期起冲突。 你可以仔细的想一下关于结构化编程的一些规则,C#对变量的声明要求是先定义后使用,变量的生命周期是从其定义开原创 2010-06-03 04:54:00 · 3113 阅读 · 2 评论 -
假言推理:为什么接口可以多重继承,而类不可以
假言推理是根据假言命题的逻辑性质进行的推理。分为充分条件假言推理,必要条件假言推理和充分必要条件假言推理三种。 充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。 充分条件假言推理有两条规则: n 规则1:肯定前件,就要肯定后件;否定前件,不能否定后件 n 规则2:否定后件,就要否定前件;肯定后件,不能肯定前件 必要条件假言推理是根据必要条件假言命题的逻辑性质进行的推理。 必要条件假言推理有两条规则: n 规则1:否定前件,就要否定后件;肯定前件,不能肯定后件。 n 规则2:肯定后原创 2010-06-21 18:27:00 · 4110 阅读 · 0 评论