JavaScript中的原始型別(primitive type)包含Undefined、Null、Number、Boolean和String,其他變數皆為參考型別,也就是Object Type。原始型別保存位置是“棧內存”,而引用型別保存在“堆內存”中,但通常JavaScript中對變數的使用,並不太關心變數在記憶體中的位置。
「typeof」運算子用以取得變數的值的資料型態。 typeof可以接受變數名或字面量值作為操作數,傳回一個描述變數類型資訊的字串。要注意的是,typeof的回傳值與JavaScript中的型別並不是一一對應的:
#「undefined」—變數值未定義
“number” ——變數值是數值
“boolean” ——變數值是布林值
“string” ——變數值是字串
“object” ——變數值是物件或null
“function” ——變數值是函數
另外,typeof是一個像( ,-)一樣的操作符,而不是函數,雖然形如“typeof(12)”的用法不會產生錯誤,但對於操作符來說「typeof 12」才是合適的使用方法。
1、undefined和null
Undefined Type在ECMA-262文件中的定義是:
##Undefined類型只有一個唯一的值“undefined”,變數的值為undefined意味著變數沒有被初始化。對於尚未使用var宣告的變量,使用它會產生錯誤,但使用typeof運算子會傳回「undefined」:The Undefined type has exactly one value, called undefined. Any variable that has not been assigned a value has the value undefined.
var foo; alert(foo); // undefined alert(bar); // 错误 alert(typeof foo); // undefined alert(typeof bar); // undefined
2、數值
ECMAScript使用了簡化的數字模型。它只有一個數字型別Number,而沒有分離出單獨的整數型別。在實作上,Number類型採用了IEEE 754標準定義的64位元雙精度浮點數格式。 64位元的浮點數格式中,52位元用來表示尾數,11位元表示指數,1位元符號。因此在表示整數時,JavaScript能夠表示的整數範圍在-Math.pow(2,53)和Math.pow(2,53)之間,超過這個範圍,低位數字的精度便無法保證了。var n = Math.pow(2,53); // 9007199254740992 alert(n === n + 1); // true, 9007199254740992 + 1得到的值还是9007199254740992
var a = 0.1; var b = 0.2; alert(a + b === 0.3); // false
var a = Number.MAX_VALUE * 2; //Infinity var b = Number.MIN_VALUE / 2; //0 var c = 1 / 0; //Infinity or NaN, 依JS执行环境不同 var d = 0 / 0; // NaN
另外NaN也是唯一一个使用对自身进行相等判断会得到false的数值。NaN的这个怪异之处破坏了JavaScript运算符的对称性。如果在代码中需要通过比较数值大小进行分支判断,就需要注意可能出现NaN的情况,因为使用NaN与其他数值进行大小比较总会得到false,而这可能不是你想要的结果。
var a = 10; a = a - "not number" // NaN alert(a === a); // false var b = 12 + a; // NaN var c = 10; alert(b >= c || b < c); // false
另一个Number类型中不常引人注目的地方是位运算。JavaScript中提供了按位操作运算符。在很多其他编程语言中,按位操作可以进行硬件级处理,所以非常快。
但是JavaScript没有整数类型,它的位操作是先把数值转换为32位整数,然后进行计算,然后再转换回去,JavaScript绝大部分运行环境是在浏览器中,与硬件相隔较远,因此位操作执行很慢。
3、字符串
与很多其他编程语言中一样,JavaScript中的字符串值也是不可变的,改变一个字符串变量的值,相当于重新生成了一个字符串并把它赋值给变量。JavaScript中的简单类型无法进行方法调用(作为this调用函数),但我们还是可以进行诸如
"abcdefg".toUpperCase();
这样的操作。这是因为JavaScript为简单数据类型提供了一种方式,把它们包装为对象类型,然后进行方法调用。”"abcdefg"“先被隐式地包装为对象,然后使用包装出的对象调用toUpperCase方法,待方法调用结束后,JavaScript再隐式地把包装对象回收。
其它简单数据类型也使用同样的方式。也可以使用JavaScript提供的构造函数显示地创建包装对象,JavaScript提供了String()、Number()和Boolean()三个构造函数,分别用于构建String、Number和Boolean类型的包装对象。
4、类型转换
ECMA-262中对数据类型的转换有详细的定义,很多JavaScript的参考资料也会列出类型转换的详细规则,这里就不再赘述了,下面只讨论一些值得注意的问题。
JavaScript有两组相等比较运算符:”===“和”!==“、”==“和”!=“。Crockford在著作《JavaScript:The Good Parts》里面列举的Bad Parts中的第一个就是”==“运算符。
原因在于”==“运算符会执行隐式的类型转换,而JavaScript中类型转换的规则又非常复杂,很容易导致代码中出现不易发现的bug。与”===“和其他编程语言中的”==“不同,JavaScript中的”==“运算符并不具备传递性: ∀x∀y∀z(x == y ∧ y == z → x == z)并不成立:
"" == "0"; // false "" == 0; // true "0" == 0; // true
Crockford和Zakas都建议不要使用“==”运算符,而使用“===”代替。若不遵循这个建议,使用“==”运算符时,请务必确保你明确知道两个比较变量的类型信息,以免发生预料之外的类型转换。
另外一个经常用到类型转换的地方是分支判断。if(和其它)语句并不要求进行分支判断的表达式结果必须为Boolean类型,而会根据特定的规则把判断表达式的结果转换为true或false后再进行判断。
if (obj !== undefined && obj !== null) { // code } // 上面的判断条件可以替换为 if (obj) { // code }
上面代码中的obj代表一个对象变量,若其值为undefined或null,则被转换为false,反之转换为true。这种方式并不完全安全,若使用的变量是简单数据类型,就需要注意一些特殊值的转换规则,否则代码可能不会按照预想的方式执行。
if (typeof num === "number" && num) { // if num is 0, get false //code }
上面代码的本意是获取一个有效的数值类型,屏蔽了其他类型和num的值为NaN的情况(NaN会转换false)。但代码中有一个纰漏,它忽略了num值为0的情况。
0值会被转换为false,从而导致下面的代码不会被执行,这可能与编码者的本意相违背。同样使用String类型作为分支条件,也要考虑""会被自动转换为false的情况。
与分支判断中的类型转换相似的情况,是采用短路方式为变量赋值。由于JavaScript中”&&“和”||“操作符的特性,我们经常采用短路方式为变量赋值。
”&&“操作符会返回表达式中第一个可以转换为false的操作数或最后一个操作数(全为true时);”||“操作符返回表达式中第一个可以转换为true的操作数或最后一个操作数(全为false时)。
var obj = obj1 || obj2 || {}; var attr = obj && pro && attr;
与分支判断一样,需要警惕表达式中可能出现的特殊值:0,"",null等。
JavaScript的类型模型,提供了极大的灵活性的同时也带来了很多陷阱,编码过程中需要小心地规避这些陷阱,因为代码审查很容易忽略它们,出现问题时,它们也往往很难被发现。
更多计算机编程相关知识,请访问:编程入门!!
以上是深入了解JS中的原始類型(primitive type)的詳細內容。更多資訊請關注PHP中文網其他相關文章!