TLDR
JavaScript sözcüksel (statik olarak da adlandırılır) kapsamlandırma ve kapanışa sahiptir. Bu, kaynak koduna bakarak bir tanımlayıcının kapsamını anlatabileceğiniz anlamına gelir.
Dört kapsam:
- Global - her şey tarafından görülebilir
- İşlev - bir işlev içinde görünür (ve alt işlevleri ve blokları)
- Blok - bir blok içinde (ve alt bloklarında) görünür
- Modül - bir modül içinde görülebilir
Global ve modül kapsamındaki özel durumlar dışında, değişkenler var(fonksiyon kapsamı), let(blok kapsamı) ve const(blok kapsamı) kullanılarak bildirilir. Diğer tanımlayıcı bildirim biçimlerinin çoğu katı modda blok kapsamına sahiptir.
genel bakış
Kapsam, kod tabanının üzerinde bir tanımlayıcının geçerli olduğu bölgedir.
Sözcüksel ortam, tanımlayıcı adları ile bunlarla ilişkili değerler arasındaki eşlemedir.
Kapsam, sözcüksel ortamların bağlantılı bir yuvalamasından oluşur; yuvalamadaki her seviye, bir ata yürütme bağlamının sözcüksel ortamına karşılık gelir.
Bu bağlantılı sözcüksel ortamlar bir kapsam "zinciri" oluştururlar. Tanımlayıcı çözünürlüğü, bu zincir boyunca eşleşen bir tanımlayıcı arama sürecidir.
Tanımlayıcı çözünürlüğü yalnızca bir yönde gerçekleşir: dışa doğru. Bu şekilde, dış sözcüksel ortamlar iç sözcüksel ortamları "göremez".
JavaScript'te bir tanımlayıcının kapsamına karar vermede üç ilgili faktör vardır :
- Bir tanımlayıcı nasıl beyan edildi
- Bir tanımlayıcının bildirildiği yer
- İster katı modda ister katı modda olun
Tanımlayıcıların bildirilebilme yollarından bazıları:
var, letveconst- Fonksiyon parametreleri
- Yakalama bloğu parametresi
- İşlev bildirimleri
- Adlandırılmış işlev ifadeleri
- Genel nesne üzerinde dolaylı olarak tanımlanmış özellikler (ör.
varKatı olmayan modda eksik )
import ifadelerieval
Konum tanımlayıcılarından bazıları bildirilebilir:
- Global bağlam
- İşlev gövdesi
- Sıradan blok
- Bir kontrol yapısının üstü (ör. Döngü, eğer, iken vb.)
- Kontrol yapısı gövdesi
- Modüller
Beyan Stilleri
var
Kullanılarak bildirilen tanımlayıcıların , doğrudan genel bağlamda bildirilmeleri dışında var işlev kapsamı vardır; bu durumda, genel nesneye özellikler olarak eklenir ve genel kapsamı vardır. evalFonksiyonlarda kullanımları için ayrı kurallar vardır .
izin ver ve yap
Doğrudan küresel bağlamda beyan edildikleri zaman dışında blok kapsamı kullanılarak letve const blok kapsamı olarak tanımlanmış tanımlayıcılar , bu durumda genel kapsamı vardır.
Not: let, constve var tüm askıya alır . Bu, mantıksal tanım konumlarının çevreleyen kapsamlarının (blok veya işlev) en üstünde olduğu anlamına gelir. Ancak değişkenler kullanıldığını beyan etti letve constdenetim kaynak kodundaki bildirim noktasını geçene kadar okunamaz veya atanamaz. Ara dönem geçici ölü bölge olarak bilinir.
function f() {
function g() {
console.log(x)
}
let x = 1
g()
}
f() // 1 because x is hoisted even though declared with `let`!
İşlev parametre adları
İşlev parametre adları, işlev gövdesine dahil edilir. Bunun hafif bir karmaşıklığı olduğuna dikkat edin. Varsayılan bağımsız değişken olarak bildirilen işlevler, işlev gövdesini değil, parametre listesini kapatır .
İşlev bildirimleri
İşlev bildirimlerinin katı modda blok kapsamı ve katı olmayan modda fonksiyon kapsamı vardır. Not: katı olmayan mod, farklı tarayıcıların ilginç tarihsel uygulamalarına dayanan karmaşık bir acil kurallar kümesidir.
Adlandırılmış işlev ifadeleri
Adlandırılmış işlev ifadeleri kendilerine dahil edilir (örneğin özyineleme amacıyla).
Genel nesne üzerinde dolaylı olarak tanımlanmış özellikler
Katı olmayan modda, genel nesne kapsam zincirinin en üstünde yer aldığından, genel nesne üzerindeki örtülü olarak tanımlanan özellikler genel kapsama sahiptir. Katı modda bunlara izin verilmez.
eval
Gelen evaldizeleri, değişkenler kullanılarak bildirilen vareğer geçerli kapsamda yer veya edilecek evaldolaylı olarak kullanılır küresel nesne üzerinde özellikler olarak,.
Örnekler
Aşağıdaki isimlerin çünkü ReferenceError atacağım x, yve zfonksiyonun hiçbir anlamı dışında var f.
function f() {
var x = 1
let y = 1
const z = 1
}
console.log(typeof x) // undefined (because var has function scope!)
console.log(typeof y) // undefined (because the body of the function is a block)
console.log(typeof z) // undefined (because the body of the function is a block)
Aşağıdaki için ReferenceError atacağım yve zancak için xgörünürlüğü nedeniyle, xbloğun ile sınırlı değildir. Kontrol yapılarının organları tanımlayan Bloklar gibi if, forve while, benzer şekilde hareket eder.
{
var x = 1
let y = 1
const z = 1
}
console.log(x) // 1
console.log(typeof y) // undefined because `y` has block scope
console.log(typeof z) // undefined because `z` has block scope
Aşağıda, işlev kapsamı xolduğundan döngü dışında görünür var:
for(var x = 0; x < 5; ++x) {}
console.log(x) // 5 (note this is outside the loop!)
... bu davranış nedeniyle vardöngülerde bildirilen değişkenlerin kapatılması konusunda dikkatli olmanız gerekir . Burada xbildirilen değişkenin yalnızca bir örneği vardır ve bu, mantıksal olarak döngünün dışında yer alır.
Aşağıdakiler 5beş kez yazdırılır ve daha sonra döngü dışına 5altıncı kez yazdırılır console.log:
for(var x = 0; x < 5; ++x) {
setTimeout(() => console.log(x)) // closes over the `x` which is logically positioned at the top of the enclosing scope, above the loop
}
console.log(x) // note: visible outside the loop
Aşağıdakiler yazdırılır undefinedçünkü xblok kapsamlıdır. Geri aramalar eşzamansız olarak tek tek çalıştırılır. Yeni davranış lether anonim işlev adında farklı bir değişkenin üzerinde kapalı olduğu değişkenler yardımıyla x(o yapmış olabilirler ki aksine var) ve tamsayılar böylece 0aracılığıyla 4yazdırılır .:
for(let x = 0; x < 5; ++x) {
setTimeout(() => console.log(x)) // `let` declarations are re-declared on a per-iteration basis, so the closures capture different variables
}
console.log(typeof x) // undefined
Aşağıdakiler alamaz: ReferenceErrorçünkü görünürlüğü xblok tarafından kısıtlanmaz; ancak undefineddeğişken ( ififadeden dolayı ) başlatılmadığı için yazdırılacaktır .
if(false) {
var x = 1
}
console.log(x) // here, `x` has been declared, but not initialised
forKullanarak bir döngünün üstünde bildirilen bir değişken let, döngünün gövdesine dahil edilir:
for(let x = 0; x < 10; ++x) {}
console.log(typeof x) // undefined, because `x` is block-scoped
Aşağıdakiler atar, ReferenceErrorçünkü görünürlüğü xblok tarafından kısıtlanır:
if(false) {
let x = 1
}
console.log(typeof x) // undefined, because `x` is block-scoped
Değişkenler kullanarak ilan var, letya consttüm modüllere kapsamına eklenir:
// module1.js
var x = 0
export function f() {}
//module2.js
import f from 'module1.js'
console.log(x) // throws ReferenceError
varGlobal bağlamda bildirilen değişkenler , global nesneye özellikler olarak eklendiğinden, aşağıdakiler genel nesne üzerinde bir özellik bildirir :
var x = 1
console.log(window.hasOwnProperty('x')) // true
letve constglobal bağlamda global nesneye özellikler eklemez, ancak yine de genel kapsamı vardır:
let x = 1
console.log(window.hasOwnProperty('x')) // false
İşlev parametrelerinin işlev gövdesinde bildirildiği kabul edilebilir:
function f(x) {}
console.log(typeof x) // undefined, because `x` is scoped to the function
Yakalama bloğu parametreleri catch-block gövdesine dahil edilir:
try {} catch(e) {}
console.log(typeof e) // undefined, because `e` is scoped to the catch block
Adlandırılmış işlev ifadeleri yalnızca ifadenin kendisine dahil edilir:
(function foo() { console.log(foo) })()
console.log(typeof foo) // undefined, because `foo` is scoped to its own expression
Katı olmayan modda, genel nesne üzerindeki dolaylı olarak tanımlanan özellikler genel olarak kapsamlandırılır. Katı modda bir hata alırsınız.
x = 1 // implicitly defined property on the global object (no "var"!)
console.log(x) // 1
console.log(window.hasOwnProperty('x')) // true
Katı olmayan modda işlev bildirimlerinin işlev kapsamı vardır. Katı modda blok kapsamı vardır.
'use strict'
{
function foo() {}
}
console.log(typeof foo) // undefined, because `foo` is block-scoped
Kaputun altında nasıl çalışır
Kapsam, bir tanımlayıcının geçerli olduğu kodun sözlüksel bölgesi olarak tanımlanır.
JavaScript'te her işlev nesnesinin içinde oluşturulduğu yürütme bağlamının (yığın çerçevesi) sözcüksel ortamına[[Environment]] başvuru olan gizli bir başvurusu vardır .
Bir işlevi çağırdığınızda, gizli [[Call]]yöntem çağrılır. Bu yöntem yeni bir yürütme bağlamı oluşturur ve yeni yürütme bağlamı ile işlev nesnesinin sözcüksel ortamı arasında bir bağlantı kurar. Bunu [[Environment]], işlev nesnesindeki değeri yeni yürütme bağlamının sözcüksel ortamındaki bir dış başvuru alanına kopyalayarak yapar .
Yeni yürütme bağlamıyla işlev nesnesinin sözcüksel ortamı arasındaki bu bağlantıya kapatma adı verildiğini unutmayın .
Böylece, JavaScript'te kapsam, bir "zincir" içinde dış referanslarla birbirine bağlanan sözcüksel ortamlar aracılığıyla uygulanır. Sözcüksel ortamlar zincirine kapsam zinciri denir ve tanımlayıcı çözünürlüğü , zincirde eşleşen bir tanımlayıcı aranarak gerçekleşir .
Daha fazlasını öğrenin .
