ECMAScript 2015: const in for vòng lặp

Đoạn mã nào trong hai (hoặc không / cả hai) bên dưới sẽ hoạt động trong quá trình triển khai ECMAScript 2015 hoàn chỉnh:

for (const e of a)

for (const i = 0; i < a.length; i += 1)

Theo hiểu biết của tôi, ví dụ đầu tiên sẽ hoạt động vì eđược khởi tạo cho mỗi lần lặp. Đây cũng không phải là trường hợp itrong phiên bản thứ hai?

Tôi bối rối vì các triển khai hiện có (Babel, IE, Firefox, Chrome, ESLint) dường như không nhất quán và có một triển khai hoàn chỉnh const, với các hành vi khác nhau của hai biến thể vòng lặp; Tôi cũng không thể tìm thấy một điểm cụ thể trong tiêu chuẩn, vì vậy điều đó sẽ được đánh giá cao.

Vòng lặp for-of sau hoạt động:

for (const e of a)

Đặc tả ES6 mô tả điều này là:

Đối với khai báo: LetOrConst ForBinding

http://www.ecma-international.org/ecma-262/6.0/index.html#sec-for-in-and-for-of-statements-static-semantics-boundnames

Vòng lặp for bắt buộc sẽ không hoạt động:

for (const i = 0; i < a.length; i += 1)

Điều này là do khai báo chỉ được đánh giá một lần trước khi phần thân của vòng lặp được thực thi.

http://www.ecma-international.org/ecma-262/6.0/index.html#sec-for-statement-runtime-semantics-labelledevaluation

Tôi sẽ không trích dẫn thông số kỹ thuật lần này, vì tôi nghĩ sẽ dễ hiểu hơn về những gì xảy ra bằng ví dụ.

for (const e of a) …

Về cơ bản tương đương với

{
    const __it = a[Symbol.iterator]();
    let __res;
    while ((__res = __it.next()) && !__res.done) {
        const e = __res.value;
        …
    }
}

Để đơn giản tôi đã lờ đi rằng có một TDZ với echo athể hiện và khác nhau __it.return()/ __it.throw(e)cuộc gọi trong trường hợp thoát vòng lặp non ( breakhoặc throwtrong cơ thể).

for (const i = 0; i < a.length; i += 1) …

về cơ bản tương đương với

{
    const i = 0;
    while (i < a.length) {
        …
        i += 1;
    }
}

Ngược lạilet , một constkhai báo trong một forvòng lặp không được khai báo lại trong mỗi lần lặp vòng lặp (và trình khởi tạo vẫn không được thực thi lại). Trừ khi bạn breaktrong lần lặp đầu tiên, ý chí của bạn i +=sẽ ném ở đây.

Ví dụ thứ hai của bạn chắc chắn sẽ không hoạt động vì i được khai báo một lần và không phải trên mỗi lần lặp, đây chỉ là một hàm về cách hoạt động của loại vòng lặp đó.

Bạn có thể thử điều này trong một trình duyệt thông thường:

for (var i = 0, otherVar = ""; i < [1,2,3,4].length; i += 1){
  console.log(otherVar)
  otherVar = "If otherVar was initialized on each iteration, then you would never read me.";
}

Nó không phải là trường hợp consthoàn toàn không được phép trong forcác vòng lặp. Chỉ cófor điều đó sẽ sửa đổi const là.

Những điều này hợp lệ:

for(const i = 0;;){ break } 
for(const i = 0; i < 10;){ break; } 

Chúng không hợp lệ:

for(const i = 0;;){ ++i; break; } 
for(const i = 0;;++i){ if(i > 0) break; }

Tôi không chắc tại sao Firefox lại đưa ra lỗi SyntaxError sau khi đọc thông số ES2015 (mặc dù tôi chắc chắn rằng những người thông minh ở Mozilla là đúng), có vẻ như nó phải đưa ra một ngoại lệ:

Tạo một liên kết bất biến mới nhưng chưa được khởi tạo trong Bản ghi môi trường. Giá trị chuỗi N là văn bản của tên liên kết. Nếu S là true thì việc cố gắng truy cập giá trị của ràng buộc trước khi nó được khởi tạo hoặc đặt nó sau khi nó được khởi tạo sẽ luôn ném ra một ngoại lệ, bất kể cài đặt chế độ nghiêm ngặt của các hoạt động tham chiếu đến ràng buộc đó. S là một tham số tùy chọn được mặc định là false.