TypeScript отказывается от Итератора в for ... of

Question

Следующий код работает в моем браузере без ввода, но TypeScript выдает ошибку, говорящую о том, что gen() не имеет [Symbol.iterator] метода, который ожидается для Iterable. Это ограничение кажется мне странным, поскольку AFAIK Iterator является допустимым объектом для передачи for...of.

function *gen(): Iterator<number> {
  yield 1
  yield 2
  yield 3
}

for (const val of gen()) {
  console.log(val)
}

Не могли бы вы объяснить, что я здесь делаю не так?

Редактировать: удаление возвращаемого типа из предыдущего кода, что позволяет TypeScript угадать, что он мне дал IterableIterator, что делает TypeScript счастливым. Так что мне не разрешено использовать просто Iterator в for...of?

Answer 1

Вам, очевидно, нужно использовать Iterable<T> вместо Iterator<T>.Iterable - это интерфейс, который содержит метод [Symbol.iterator], который вызывает цикл for-of, который должен возвращать Iterator, чей метод next() создает последовательность значений.

function* gen(): Iterable<number> {
  yield 1
  yield 2
  yield 3
}

Текущая обработка TypeScriptгенераторов кажется неполным.Он имеет встроенное определение типа Generator, но не является универсальным (производимые значения всегда any).Это также может привести к ошибке здесь, потому что он помечен как Итератор, а не Iterable, но мы можем видеть, что фактический объект Generator, который генерирует ваш браузер, тоже Iterable (возвращая себя, потому что это также Iterator).

const g = gen();
g[Symbol.iterator]() == g; // true

Answer 2

Я думаю, что ответом на мою проблему является то, что я сделал неправильное утверждение, думая, что Iterator является допустимым объектом для передачи for...of.

Причина того, что пример кода без ввода текста работает в браузере, заключается в том, что возвращаемое значение генератора является Iterator и Iterable, но для for...of принимается только Iterable, как написано в MDN страница .

Дав явному генератору явный Iterator возвращаемый тип, я сужал его таким образом, что заставлял TypeScript думать, что у него нет возможности Iterable.

Следующий код, использующий только Iterator, не работает, как и ожидалось в моем браузере

const it = {
  next: () => ({value: 1, done: false})
}

for (const val of it) {
  console.log(val)
}

Answer 3

Вы должны быть нацелены на последнюю версию ES, пройти флаг --downlevelIteration и иметь как минимум библиотеки "dom" и "esnext", чтобы это работало.

function* gen() {
    yield 1;
    yield 2;
    yield 3;
}

for (let val of gen()) {
    console.log(val);
}

Демонстрационная версия:

"use strict";
var __generator = (this && this.__generator) || function (thisArg, body) {
    var _ = { label: 0, sent: function() { if (t[0] & 1) throw t[1]; return t[1]; }, trys: [], ops: [] }, f, y, t, g;
    return g = { next: verb(0), "throw": verb(1), "return": verb(2) }, typeof Symbol === "function" && (g[Symbol.iterator] = function() { return this; }), g;
    function verb(n) { return function (v) { return step([n, v]); }; }
    function step(op) {
        if (f) throw new TypeError("Generator is already executing.");
        while (_) try {
            if (f = 1, y && (t = op[0] & 2 ? y["return"] : op[0] ? y["throw"] || ((t = y["return"]) && t.call(y), 0) : y.next) && !(t = t.call(y, op[1])).done) return t;
            if (y = 0, t) op = [op[0] & 2, t.value];
            switch (op[0]) {
                case 0: case 1: t = op; break;
                case 4: _.label++; return { value: op[1], done: false };
                case 5: _.label++; y = op[1]; op = [0]; continue;
                case 7: op = _.ops.pop(); _.trys.pop(); continue;
                default:
                    if (!(t = _.trys, t = t.length > 0 && t[t.length - 1]) && (op[0] === 6 || op[0] === 2)) { _ = 0; continue; }
                    if (op[0] === 3 && (!t || (op[1] > t[0] && op[1] < t[3]))) { _.label = op[1]; break; }
                    if (op[0] === 6 && _.label < t[1]) { _.label = t[1]; t = op; break; }
                    if (t && _.label < t[2]) { _.label = t[2]; _.ops.push(op); break; }
                    if (t[2]) _.ops.pop();
                    _.trys.pop(); continue;
            }
            op = body.call(thisArg, _);
        } catch (e) { op = [6, e]; y = 0; } finally { f = t = 0; }
        if (op[0] & 5) throw op[1]; return { value: op[0] ? op[1] : void 0, done: true };
    }
};
var __values = (this && this.__values) || function (o) {
    var m = typeof Symbol === "function" && o[Symbol.iterator], i = 0;
    if (m) return m.call(o);
    return {
        next: function () {
            if (o && i >= o.length) o = void 0;
            return { value: o && o[i++], done: !o };
        }
    };
};
var e_1, _a;
function gen() {
    return __generator(this, function (_a) {
        switch (_a.label) {
            case 0: return [4 /*yield*/, 1];
            case 1:
                _a.sent();
                return [4 /*yield*/, 2];
            case 2:
                _a.sent();
                return [4 /*yield*/, 3];
            case 3:
                _a.sent();
                return [2 /*return*/];
        }
    });
}
try {
    for (var _b = __values(gen()), _c = _b.next(); !_c.done; _c = _b.next()) {
        var val = _c.value;
        console.log(val);
    }
}
catch (e_1_1) { e_1 = { error: e_1_1 }; }
finally {
    try {
        if (_c && !_c.done && (_a = _b["return"])) _a.call(_b);
    }
    finally { if (e_1) throw e_1.error; }
}