May function declarations appear inside statements in JavaScript?

Please consider the official ECMAScript specification as the source for your answer, and not a document published by a specific browser vendor. (I am aware of Mozilla extending its JavaScript implementation with "function statements".)

So, according to the ECMAScript spec, ergo, the syntactic productions defined in it, is this valid?

if (foo) {
    function x() { return; }
}

Update: My question can also be phrased like so: Can the Statement production contain the FunctionDeclaration production?

Conclusion: The answer is NO.


I do not agree with the other answers that say it is valid.

According to the ECMA-262 5th Edition specification, Blocks can only contain Statements (Section 12.1):

Block :
   { StatementList opt }

StatementList :
   Statement
   StatementList  Statement

However the spec does not define a function statement, but only a FunctionDeclaration and a FunctionExpression . The spec goes further to make a note on this in Section 12:

Several widely used implementations of ECMAScript are known to support the use of FunctionDeclaration as a Statement . However there are significant and irreconcilable variations among the implementations in the semantics applied to such FunctionDeclarations . Because of these irreconcilable difference, the use of a FunctionDeclaration as a Statement results in code that is not reliably portable among implementations. It is recommended that ECMAScript implementations either disallow this usage of FunctionDeclaration or issue a warning when such a usage is encountered. Future editions of ECMAScript may define alternative portable means for declaring functions in a Statement context.

For further reading, you may also be interested in checking out the comp.lang.javascript FAQ Section 4.2:

4.2 What is a function statement?

The term function statement has been widely and wrongly used to describe a FunctionDeclaration . This is misleading because in ECMAScript, a FunctionDeclaration is not a Statement ; there are places in a program where a Statement is permitted but a FunctionDeclaration is not. To add to this confusion, some implementations, notably Mozillas', provide a syntax extension called function statement. This is allowed under section 16 of ECMA-262, Editions 3 and 5.

Example of nonstandard function statement:

// Nonstandard syntax, found in GMail source code. DO NOT USE.
try {
  // FunctionDeclaration not allowed in Block.
  function Fze(b,a){return b.unselectable=a}
  /*...*/
} catch(e) { _DumpException(e) }

Code that uses function statement has three known interpretations. Some implementations process Fze as a Statement, in order. Others, including JScript, evaluate Fze upon entering the execution context that it appears in. Yet others, notably DMDScript and default configuration of BESEN, throw a SyntaxError .

For consistent behavior across implementations, do not use function statement; use either FunctionExpression or FunctionDeclaration instead.

Example of FunctionExpression (valid):

var Fze;
try {
  Fze = function(b,a){return b.unselectable=a};
  /*...*/
} catch(e) { _DumpException(e) }

Example of FunctionDeclaration (valid):

// Program code
function aa(b,a){return b.unselectable=a}

I'm not sure how to read this, but ECMA-262 V5 has this to say:

NOTE Several widely used implementations of ECMAScript are known to support the use of FunctionDeclaration as a Statement. However there are significant and irreconcilable variations among the implementations in the semantics applied to such FunctionDeclarations. Because of these irreconcilable difference, the use of a FunctionDeclaration as a Statement results in code that is not reliably portable among implementations. It is recommended that ECMAScript implementations either disallow this usage of FunctionDeclaration or issue a warning when such a usage is encountered. Future editions of ECMAScript may define alternative portable means for declaring functions in a Statement context.

If I understand this correctly, strictly speaking, this means that function declarations can't be inside blocks at all, because Blocks can contain only Statements.

I can be totally wrong with my interpretation, though - I am not familiar with the internal workings of ECMAScript.


No, it's invalid. Function declarations can only appear as "source elements", which are either in the global scope or immediately within another function definition, outside all other statements. From the ECMA-262 spec:

FunctionBody : SourceElements

Program : SourceElements

SourceElement : Statement | FunctionDeclaration

There is no other production in the grammar that allows a FunctionDeclaration .

Only function expressions are allowed to be part of a statement:

MemberExpression : FunctionExpression

...

Statement : ExpressionStatement

Edit: There was a related discussion on another question recently. See the comments on this answer - earlier, I too thought that this could be valid but the grammar makes it clear that it is invalid.

链接地址: http://www.djcxy.com/p/17258.html

上一篇: 为什么一个条件块中的函数声明被提升到Chrome中的函数作用域而不是Firefox?

下一篇: 可能函数声明出现在JavaScript语句中?