因為變量提升到作用域頂部

//變量提升

var a ;

//此時 a 為全局變量  a in window 為 true

if(!("a" in window)){

 var a = 10;

}

console.log(a); // undefined

首先弄明白in運算符，可以在MDN中查看。如果指定的屬性在指定的對象或其原型鏈中，則in 運算符返回true。

然后就是js引擎執(zhí)行js語句機制了，js引擎運行時會執(zhí)行三步操作，第一步是先檢查你的js代碼有沒有低級的語法錯誤，第二步是預編譯，第三步是根據代碼順序解釋一句執(zhí)行一句。

預編譯就是在執(zhí)行代碼會把所有的變量聲明和函數(shù)聲明預先處理。當你寫了一句var a = 1時，javascript會當成兩個操作（變量聲明和變量賦值）：var a;和a = 1;第一句（變量聲明）是在預編譯中執(zhí)行的，此時只是聲明了a這個變量，沒有賦值操作，所以此階段a的值為undefined。等預編譯結束，才開始上面的第三步解釋執(zhí)行js代碼。

所以根據執(zhí)行先后上面的代碼可以分解為下面的代碼：

// 先進行預編譯

var a; // 此時a的值為undefined

// 預編譯結束  開始解釋執(zhí)行代碼

if(!("a" in window)){ // 變量a此時已經存在，所以!("a" in window)為false

    a = 10; // 跳過不執(zhí)行  a的值還是undefined

}

console.log(a)  // undefined

因為if 條件不成立，所以a 并沒有賦值。但是因為變量聲明的作用域提升，所以var a的聲明提升到了頂部。
于是 a 就是聲明但未賦值的變量 ，為undefined

只要有var，不等到方法執(zhí)行，就會把變量提升的方法的開始之處，這里就相當于提升到了window的作用域中。

額.剛剛被點了滅重新編輯一下答案.
我的意思是.
在if或者for作用域里面通過var的形式去定義的一個變量,

這個變量是等同于
在if或者for所在的作用域里面去定義.而且滿足變量提升的原則

由于變量提升，var a會在一開始的時候就出現(xiàn)，此時值為undefined，然后執(zhí)行到if時，由于a已經在window中定義了，即開辟了一塊內存，所以判斷結果為真，然后！真就變?yōu)榧?，所以跳過了賦值語句，最后console的是未賦值的a，結果為undefined