typeof运算符介 绍: typeof 是一个一元运算,放在一个运算数之前,运算数可以是任意类型。 它返回值是一个字符串,该字符串说明运算数的类型。 你 知道下面typeof运算的结果吗? typeof(1); typeof(NaN); typeof(Number.MIN_VALUE); typeof(Infinity); typeof("123"); typeof(true); typeof(window); typeof(document); typeof(null); typeof(eval); typeof(Date); typeof(sss); typeof(undefined); 看 看你会几个? 如果看了以后,不是很明白的话,请看下面(明白的人就不用往下看了): typeof是一个一元运算符,它返回的结果 始终是一个字符串,对不同的操作数,它返回不同的结果。 具体的规则如下: 一、对于数字类型的操作数而言, typeof 返回的值是 number。比如说:typeof(1),返回的值就是number。 上面是举的常规数字,对于非常规的数字类型而言,其结果返回的也是number。比如typeof(NaN),NaN在 JavaScript中代表的是特殊非数字值,虽然它本身是一个数字类型。 在JavaScript中,特殊的数字类型还有几种: Infinity 表示无穷大特殊值 NaN 特殊的非数字值 Number.MAX_VALUE 可表示的最大数字 Number.MIN_VALUE 可表示的最小数字(与零最接近) Number.NaN 特殊的非数字值 Number.POSITIVE_INFINITY 表示正无穷大的特殊值 Number.NEGATIVE_INFINITY 表 示负无穷大的特殊值 以上特殊类型,在用typeof进行运算进,其结果都将是number。 二、对于字符串类型, typeof 返回的值是 string。比如typeof("123")返回的值是string。 三、对于布尔类型, typeof 返回的值是 boolean 。比如typeof(true)返回的值是boolean。 四、对于对象、数组、null 返回的值是 object 。比如typeof(window),typeof(document),typeof(null)返回的值都是object。 五、 对于函数类型,返回的值是 function。比如:typeof(eval),typeof(Date)返回的值都是function。 六、如 果运算数是没有定义的(比如说不存在的变量、函数或者undefined),将返回undefined。比如:typeof(sss)、typeof(undefined)都返回undefined。 |
typeof的参数可以是两种形式:表达式或类型。
下面是使用表达式的的例子:
typeof(x[0](1)
这里假设x是一个函数指针数组,这样就可以得到这个函数返回值的类型了。
如果将typeof用于表达式,则该表达式不会执行。只会得到该表达式的类型。
以下示例声明了int类型的var变量,因为表达式foo()是int类型的。由于表达式不会被执行,所以不会调用foo函数。
extern int foo();
typeof(foo()) var;
下面是用类型作参数的例子:
typeof(int *) a,b;
等价于:
int *a,*b;
下面是两个等效声明,用于声明int类型的变量a。
typeof(int) a; /*int类型*/
typeof('b') a; /* GCC中这个表达式的类型是int(自动提升为int),
注意typeof(char)和typeof('b')得到的不是一样的,这个用sizeof可以看出来*/
一般情况下用typeof就可以了,但是如果要于ISO C兼容的话,最好是用双下划线的形式:__typeof__。
typeof和typedef很像,事实上,只要能用typedef的地方就可以用typeof。
下面是另外一些例子:
把y定义成x指向的数据类型:
typeof(*x) y;
把y定义成x指向数据类型的数组:
typeof(*x) y[4];
把y定义成一个字符指针数组:
typeof(typeof(char *)[4] y;
这与下面的定义等价:
char *y[4];
我们再换一种定义方式:
#define pointer(T) typeof(T *)
#define array(T,N) typeof(T [N])
array (pointer(char),4) y;
如果想把T定义成一个表达式的类型,则我们仅仅用typedef无法做到
但可以通过typeof做到:
typdef typeof(expr) T;
使用typeof的声明示例
以下示例用于声明指针和数组。为了进行对比,还给出了不带typeof的等效声明。
typeof(int *) p1,p2; /* Declares two int pointers p1, p2 */
int *p1, *p2;
typeof(int) *p3,p4;/* Declares int pointer p3 and int p4 */
int *p3, p4;
typeof(int [10]) a1, a2;/* Declares two arrays of integers */
int a1[10], a2[10];
使用typeof的声明限制
请注意,typeof构造中的类型名不能包含存储类说明符,如extern或static。不过允许包含类型限定符,如const或volatile。
例如,下列代码是无效的,因为它在typeof构造中声明了extern:
typeof(extern int) a;
下列代码使用外部链接来声明标识符b是有效的,表示一个int类型的对象。下一个声明也是有效的,它声明了一个使用const限定符的char类型指针,表示指针p不能被修改。
extern typeof(int) b;
typeof(char * const) p = "a";
在宏声明中使用typeof
typeof构造的主要应用是用在宏定义中。可以使用typeof关键字来引用宏参数的类型。因此,在没有将类型名明确指定为宏实参的情况下,构造带有所需类型的对象是可能的。
下面是一个交换两个变量的值的宏定义:
#define SWAP(a,b) {\
typeof(a) _t=a;\
a=b;\
b=_t;}
这个宏可以交换所有基本数据类型的变量(整数,字符,结构等)
转至 http://blog.csdn.net/wslong/article/details/7728811