4 ms·
Yeah I know how this stuff works per spec. You say that, and yet, you seem not to understand it. Perhaps you know how it works, but have not thought through t
by IsaacSchlueter 18y ago
Yeah I know how this stuff works per spec.
You say that, and yet, you seem not to understand it. Perhaps you know how it works, but have not thought through the implications of it working any differently?
No, closures refer to the j variable that doesn't get incremented, only assigned to. ... The actual issue is that all invocations of the loop body alias the same var j, even though it's declared inside the block.
You're doing it wrong. Javascript doesn't have block-level scope. It only has functional scope.
In the process of parsing an execution context, all "var" statements (and named function declaration statements, which are a special sort of "var") are handled first, and only once. A var inside a loop still only creates the variable once, scoped to the function.
So, your code sample is actually equivalent to:
var closures = [], j = undefined;
for (var i = 0; i < 10; i++) {
j = i;
closures[i] = function() { alert(j); }
}
closures[0](); // outputs 9, duh ;)
You have one "j" variable that is shared by all 10 closures. When you set "j" in loop iteration 9, the closure created in iteration 0 faithfully sees that change.
Closures tracking changes to variables in the parent function is not a wart. Consider this code:
var thing = (function () {
var privateData = "foo";
return {
set : function (x) { privateData = x; },
get : function () { return privateData; }
};
})();
If closures "trapped" outer values at their current state, then no matter how you called thing.set(), it would always return "foo" from thing.get(). Also, it would be much more expensive to keep track of completely independent contexts. (You could argue that these side effects make js a less pure functional language, and you'd be correct; another, less clear, argument could be made that this makes javascript less good, and I'd disagree.)
However, your complaint seems not to be about closures or shared activation objects per se, but rather about the lack of block-level scope. Since "j" is created inside a set of braces, you seem to suggest that there ought to be multiple "j" variables created, which are each forgotten at the end of the loop.
That's how C++ does it. But javascript is not C++. Javascript is javascript. And only functions create scope in javascript.
IMO, this is not a wart. Doing otherwise would mean that every "while", "for", "switch", "if", and "else" would have to create an activation object, which would get quite expensive and complicated.
If you find it confusing that a var inside a loop is only created once, then take Crockford's advice, and always put all "var" statements at the start of a function. Personally, I disagree with him on this point, because I find it more useful to "var" variables near their use so that moving code around doesn't accidentally result in leakage to the global scope.
- richtaur 18y agoI wrote about this too: http://scriptnode.com/article/the-last-in-a-loop-bug/ http://scriptnode.com/article/the-last-in-a-loop-bug/ I like your reasoning for moving "var" further down where it's used in a function.
- cousin_it 18y agoHowever, your complaint seems not to be about closures or shared activation objects per se, but rather about the lack of block-level scope. Bingo, reread my first comment. If closures "trapped" outer values at their current state, then no matter how you called thing.set(), it would always return "foo" from thing.get(). No I don't want hyper-static environments, this would preclude the very useful encoding of objects with mutable state as closures. Since "j" is created inside a set of braces, you seem to suggest that there ought to be multiple "j" variables created... every "while", "for", "switch", "if", and "else" would have to create an activation object, which would get quite expensive and complicated. Do you think Ocaml heap-allocates a frame for every scope entered? How is it about as fast as C++, then? :-) Activation frames would need to be created for only those blocks that directly construct closures, findable by simple static analysis. Almost all other languages with closures do precisely this. As a rule, the introduction of lexical scope doesn't make languages perceptibly slower. For example, the historical transition of Lisps from dynamic to lexical scope was accompanied by fears very similar to yours, and Scheme played a major role in convincing people that lexical scope worked fast. Modern Scheme compilers are quite clever at eliminating unneeded activation frames and closures, sometimes even converting closures into inline code. It's a well-researched topic. (See http://www.paulgraham.com/thist.html http://www.paulgraham.com/thist.html, a great retrospective by one of the best implementers... search for "tied up" for an amusing paragraph about exactly this. The year was 1982, I was busy being born.) And to reiterate my point from another comment, all code that relies on function scope could be converted to a hypothetical lexically-scoped-JavaScript by a trivial transformation: move every var declaration to the toplevel of the containing function (which coincides nicely with Crockford's advice). This demonstrates that function scope is not more useful than lexical in any practical sense. In short, I know how JavaScript works, I know how it could work differently, and I consider the different way superior both in theory and in practice.
- 18y ago