本文是lhyt本人原创,希望用通俗易懂的方法来理解一些细节和难点。转载时请注明出处。文章最早出现于本人github
0.前言
js身为一种弱类型的语言,不用像c语言那样要定义int、float、double、string等等数据类型,因为允许变量类型的隐式转换和允许强制类型转换。我们在定义一个变量的时候,就一个var、let、const搞定,不用担心数据的类型。比如常见的字符串拼接,用+号可以实现变量和字符串的拼接。
总的来说,一般的规则是
!后面的字符会被转为换布尔
+后面的字符会被转换为数值(-也是差不多)
[]+后面的字符会被转换为字符串
对于object和number、string、boolean之间的转换关系,这里偷网上一幅图
Object 与Primitive,需要Object转为Primitive
String 与 Boolean,需要两个操作数同时转为Number。
String/Boolean 与 Number,需要String/Boolean转为Number。
undefined 与 null ,和所有其他值比较的结果都是false,他们之间==成立
ToPrimitive是指转换为js内部的原始值,如果是非原始值则转为原始值,调用valueOf()和obj.toString()来实现。valueOf返回对象的值:在控制台,当你定义一个对象按回车,控制台打印的是Object{...},obj.toString()返回对象转字符串的形式,打印的是"[object Object]"
如果参数是Date对象的实例,那么先toString()如果是原始值则返回,否则再valueOf(),如果是原始值则返回,否则报错。
如果参数不是Date对象的实例,同理,不过先valueOf再obj.toString()。
1.奇葩例子
![] //false;
+[] // 0
+![] // 0
[]+[] // ""
{}+{}//"[object Object][object Object]"
{}+[]//0
{a:0}+1 // 1
[]+{}//"[object Object]"
[]+![]//"false"
{}+[]//0
![]+[] // "false"
''+{} //"[object Object]"
{}+'' //0
[]["map"]+[] //"function map() { }"
[]["a"]+[] // "undefined"
[][[]] + []// "undefined"
+!![]+[] //"1"
+!![] //1
1-{} //NaN
1-[] //1
true-1 //0
{}-1 //-1
[]==![] //true
2.从[]==![]开始
大家也可能听说过[]!=[],主要是因为他们是引用类型,内存地址不同所以不相等。那么为什么加了一个!就能等于了?不是内存地址还是不一样吗?
这又引出一个问题,符号的优先度
1. [] ()
2 ++ — ~ !
3 * / %
4 + - +
5 << >>
6 + - +
7 < <= > >=
8 + - +
9 == != === !==
可以看见,!优先度是第二,所以先判断!再判断=
给[]取反,会是布尔值,[]的取反的布尔值就是false
2.1 []的反就是false?
ECMA规范:
非布尔类型转布尔类型:undefined、null 、0、±0、NaN、0长度的字符串=》false,对象=》true
非数字类型转数字类型:undefined=》NaN,null=》0,true=》0,false=》1,字符串:字符串数字直接转数字类型、字符串非数字=》NaN
[]也是对象类型(typeof [] == "object"),转为布尔类型的![]就是false
2.2 等号两边对比
我们知道,在比较类型的时候,先会进行各种各样的类型转换。
从开头的表格可以看见,他们比较的时候都是先转换为数字类型。右边是布尔值false,左边为一个空数组对象,对于左边,先进行P操作(ToPrimitive([])),先执行valueOf([])返回的是[],非原始类型,再
[].toString(),返回的是"",那P操作之后,结果就是""了
最后,左边""和右边false对比,他们再转换为数字,就是0==0的问题了
3.从已有的得到想不到的
3.1 间接获取数组方法
我们知道,数组有自己的一套方法,比如var arr = [1,2];arr.push(1),我们可以写成[1,2].push(1),还可以写成[1,2]['push'](1),那么前面抛出的问题就解决了
[]['push'](1)//[1]
[]["map"] //function map() { [native code] }
[]["map"]+[] // "function map() { [native code] }"
3.2 间接进行下标操作
3.2.1数字的获取
我们可以通过类型转换,获得0和1两个数字,既然能得到这两个数字,那么也可以得到其他的一切数字了:
+[] === 0; +!![] === 1
那么, +!![]+!![] ===2,+((+![])+(+!![])+[]+(+![]))===10(注意:中间没[]的话,就是数字的1+0,结果就是1了,有的话就是'1'+''+'0')
+((+![])+(+!![])+[]+(+![]))-!![] ===9
简直就是无所不能
3.2.2 字符串下标
(![]+[])[+[]] //"f"
(![]+[])[+!![]] // "a"
(![]+[])是"false",其实(![]+[])[+[]] 就相当于"false"[0],第一个字母,就是f
我们就可以从上面的那些获得单词的字符串获得其中的字母了
好了,说道这里,要是谁说前端简单,那就给他一个(![]+[])[+!![]+!![]+!![]] +([]+{})[+!![]+!![]]
4.关于(a==1 && a==2 && a==3)
4.1 ==
近来有人问这个问题(a==1 && a==2 && a==3) 或者(a===1 && a===2 && a===3) 能不能为true?
事实上是可以的,就是因为在==比较的情况下,会进行类型的隐式转换。前面已经说过,如果参数不是Date对象的实例,就会进行类型转换,先valueOf再obj.toString()
所以,我们只要改变原生的valueOf方法就可以达到效果:
var a = {
num: 0,
valueOf: function() {
return this.num += 1
}
};
var eq = (a==1 && a==2 && a==3);
console.log(eq);
每一次进行等号的比较,就会调用一次valueOf方法,自增1,所以能成立。当然,如果换个位置就不行了,var eq = (a==2 && a==1 && a==3);
另外,减法也是同理:
var a = {
num: 4,
valueOf: function() {
return this.num -= 1
}
};
var eq = (a==3 && a==2 && a==1);
console.log(eq);
4.2 ===
如果没有类型转换,===的情况,还是可以的。跑题...
在vue源码实现双向数据绑定中,就利用了defineProperty方法进行观察,观察到视图层的变化并实时反映到model层。
每一次访问对象中的某一个属性的时候,就会调用这个方法定义的对象里面的get方法。每一次改变对象属性的值,就会访问set方法
在这里,我们自己定义自己的get方法:
var b = 1
Object.defineProperty(window, 'a', {
get:function() { return b++; }
})
var s = (a===1 && a===2 && a === 3 )
console.log(s)
每一次访问a属性,a的属性值就会+1,当然还是交换位置就不能为TRUE了
原文来自lhyt的github