Typescript: एसिंक फ़ंक्शन में प्रतीक्षा करने वाले लूप के अंदर "वापसी" कथन करते समय एसिंक/प्रतीक्षा में बग

Async/प्रतीक्षा डाउनलेवल समर्थन के वर्तमान प्रोटोटाइप में, हमने पाया कि एक बग कोड में एक गलत अपवाद उत्पन्न करता है जो अन्यथा काम करना चाहिए।

रेप्रो:

इस मुद्दे का सार यह है कि किसी फ़ंक्शन में लूप के अंदर "रिटर्न" स्टेटमेंट होने से इसमें प्रतीक्षा होती है, जिससे त्रुटि होती है ।

इस कोड को चलाएं और आप देखेंगे कि जब भी "num"> .5 (और "रिटर्न ट्रू" स्टेटमेंट का मूल्यांकन किया जाता है), तो आपको निम्न त्रुटि मिलती है जो __generator कोड के भीतर से आती है: "TypeError: संपत्ति प्राप्त करने में असमर्थ अपरिभाषित या शून्य संदर्भ का '0'

    async function itemExists(): Q.Promise<boolean> {
        var numTries = 3;
        for (var i = 0; i < numTries; i++) {
            var num = await Q.fcall(function() { return Math.random() });
            console.log(num);
            if (num > .5) {
                return true;
            }
        }
        return false;
    }

    itemExists().then(function(val) {
        console.log("All values greater than .5: " + val)
    }).catch(function(e) {
        console.error("Error: " + e);
    });

विश्लेषण:

समस्या लूप के भीतर "वापसी" कथन के कारण होती है। यदि मैंने स्थानीय चर सेट करने के लिए itemExists() को संशोधित किया था, उदाहरण के लिए, और फिर "ब्रेक" कथन के माध्यम से लूप से बाहर निकलना, कोड काम करेगा:

    // With workaround (NOT short-circuiting the loop)
    async function itemExists(): Q.Promise<boolean> {
        var numTries = 3;
        var result = false;
        for (var i = 0; i < numTries; i++) {
            var num = await Q.fcall(function() { return Math.random() });
            console.log(num);
            if (num > .5) {
                result = true;
                break;
            }
        }
        return result;
   }

समस्या का त्वरित विश्लेषण जेनरेट कोड में प्रतीत होता है। अपवाद यहां फेंक दिया गया है:

            try {
                var operation = body(state);
                opcode = operation[0], arg = operation[1];
            } catch (e) {
                opcode = 1 /*throw*/, arg = e;
            }

लेकिन वास्तविक अपराधी इस तथ्य में प्रतीत होता है कि उत्पन्न रिटर्न और ब्रेक स्टेटमेंट (जहां तक ​​​​मैं बता सकता हूं) में एक असंगति है। अर्थात्, 3 कभी "ब्रेक" और कभी-कभी "रिटर्न" जैसा दिखता है।

function itemExists() {
    return new Q.Promise(function (_resolve) {
        _resolve(__awaiter(__generator(function (_state) {
            switch (_state.label) {
                case 0:
                    numTries = 3;
                    i = 0;
                    _state.label = 1;
                case 1:
                    if (!(i < numTries))
                        return [3 /*break*/, 4];
                    return [4 /*yield*/, Q.fcall(function () {
                        return Math.random();
                    })];
                case 2:
                    num = _state.sent;
                    console.log(num);
                    if (num > .5) {
                       return [3 /*return*/, true];
                    }
                    _state.label = 3;
                case 3:
                    i++;
                    return [3 /*break*/, 1];
                case 4:
                    return [2 /*return*/, false];
            }
        })));
    });
    var numTries, i, num;
}
itemExists().then(function (val) {
    console.log("All values greater than .5: " + val);
}).catch(function (e) {
    console.error("Error: " + e);
});