接口TypeScript的核心机制之一在于它的类型检查系统(type-checking)只关注一个变量的"形状(shape)"(稍后讲解这个所谓的形状),这种机制我们常成为鸭子类型(duck typing),是动态类型的一种风格.在TypeScript中接口充当着命名这些类型的职责，同时也是一种强大...
分类：
其他好文 时间：
2015-02-02 15:33:47
阅读次数：
231
1. const的最初动机是取代预处理器#define来进行值替代 #define只做些文本替代，它既没有类型检查概念，也没有类型检查功能，所以预处理器的值替代会产生一些问题。 这些问题在C++中可以通过使用const来避免。 2....
分类：
其他好文 时间：
2015-01-26 23:04:32
阅读次数：
490
我们常常会混淆下面三种申明（我是没有留意过）：1. id foo1;2. NSObject *foo2;3. id foo3;第一种是最经常使用的，它简单地申明了指向对象的指针，没有给编译器不论什么类型信息，因此，编译器不会做类型检查。但也由于是这样，你能够发送不论什么信息给id类型的对象。这就是为...
分类：
移动开发 时间：
2015-01-20 17:18:15
阅读次数：
153
const const是c++中的修饰符。c++中常用来定义常量，修饰左值。#define 宏定义语句, 在预处理阶段直接做文本替换，不做类型检查。它们之间的最大区别:1. 对于const变量，系统只给了一个相应的内存地址，而#define则是给出了一个立即数。因为const变量是存放在内存的静态....
分类：
移动开发 时间：
2015-01-19 10:35:29
阅读次数：
222
数据类型检查可以用内置函数isinstance实现：1 def my_abs(x):2 if not isinstance(x, (int, float)):3 raise TypeError('bad operand type')4 if x >= 0:5 ...
分类：
其他好文 时间：
2015-01-15 12:35:54
阅读次数：
165
今天看了下廖雪峰的网站，发现有个isinstance函数可以对参数类型进行判断： 对参数类型做检查，只允许整数和浮点数类型的参数。数据类型检查可以用内置函数isinstance实现： def?my_abs(x):
????if?not?i...
分类：
编程语言 时间：
2014-12-23 17:52:24
阅读次数：
203
强类型：为所有变量指定数据类型称为“强类型”。强/弱类型是指类型检查的严格程度的。语言有无类型，弱类型和强类型三种。无类型的不检查，甚至不区分指令和数据。弱类型的检查很弱，仅能严格的区分指令和数据。强类型的则严格的在编译期进行检查。强类型语言在没有强制类型转化前，不允许两种不同类型的变量相互操作。J...
分类：
其他好文 时间：
2014-12-23 10:21:18
阅读次数：
161
C++是一种静态数据类型检查的、支持多重编程范式的程序设计语言，支持过程化程序设计、数据抽象、面向对象程序设计、制作图标等泛型程序设计的多种程序设计风格。 MFC(Microsoft Foundation Classes)，是一个微软公司提供的类库，以C++类的形式封装了Windows的API...
分类：
编程语言 时间：
2014-12-21 20:36:59
阅读次数：
290
// C++11之前的enum类型是继承C的，不温不火；
// C++11对enum动刀了，加强了类型检查，推出强类型enum类型，眼前一亮
// 使用过QT 的都知道，早就应该这么做了，用的很爽！！
// 一、C中enum类型的局限
// 1、非强类型作用域
enum type1{a, b, c};
enum type2{a, d, e};
//问题来了，两种枚举类型都有a枚举常量，而且作用域...
分类：
编程语言 时间：
2014-12-17 12:52:08
阅读次数：
103
很早之前，忘了是看书还是别人介绍了，说STL里有一些类型检查的东西，比如vector里面会检查是否定义了赋值操作符，还有的检查是否有默认参数的构造函数之类的。看STL源码的时候发现了一个concept_check的头文件，发现其中的内容还真是不少。有一些就是做这种检查的。
STL默认提供了很多种操作的检查，比如：
_Allocator
_Assignable
_DefaultConstru...
分类：
其他好文 时间：
2014-12-15 21:52:51
阅读次数：
164
