Javascript解惑之 new A.B() 与 new A().B() 的区别

new A.B() 与 new A().B()  是有区别的，这个大家都知道，至于为什么，我之前一直不是很理解。

这个问题涉及到的知识面是，点运算符、new运算符、函数执行这三者之间的优先级的问题。

new A.B();  的逻辑是这样的：

new  A.B ();

点运算符优先于new运算符，看起来似乎仅仅如此。

new A().B();  的逻辑却是这样的：

(new A()) .B();

而不是

new  (A().B) ();

区别在于A后面多了一对小括号，这个影响到了优先级顺序。

ECMAScript标准里关于new运算符(11.2.2) 和function calls 的描述是下面这一段：

11.2.2 The new Operator

The production NewExpression : new NewExpression is evaluated as follows:

1. Let ref be the result of evaluating NewExpression.
2. Let constructor be GetValue(ref).
3. If Type(constructor) is not Object, throw a TypeError exception.
4. If constructor does not implement the [[Construct]] internal method, throw a TypeError exception.
5. Return the result of calling the [[Construct]] internal method on constructor, providing no arguments (that is, an empty list of arguments).

The production MemberExpression : new MemberExpression Arguments is evaluated as follows:

1. Let ref be the result of evaluating MemberExpression.
2. Let constructor be GetValue(ref).
3. Let argList be the result of evaluating Arguments, producing an internal list of argument values (11.2.4).
4. If Type(constructor) is not Object, throw a TypeError exception.
5. If constructor does not implement the [[Construct]] internal method, throw a TypeError exception.
6. Return the result of calling the [[Construct]] internal method on constructor, providing the list argList as the argument values.

11.2.3  Function Calls

The production CallExpression : MemberExpression Arguments is evaluated as follows:

1. Let ref be the result of evaluating MemberExpression.
2. Let func be GetValue(ref).
3. Let argList be the result of evaluating Arguments, producing an internal list of argument values (see 11.2.4).
4. If Type(func) is not Object, throw a TypeError exception.
5. If IsCallable(func) is false, throw a TypeError exception.
6. If Type(ref) is Reference, then
   1. If IsPropertyReference(ref) is true, then
      1. Let thisValue be GetBase(ref).
   2. Else, the base of ref is an Environment Record
      1. Let thisValue be the result of calling the ImplicitThisValue concrete method of GetBase(ref).
7. Else, Type(ref) is not Reference.
   1. Let thisValue be undefined.
8. Return the result of calling the [[Call]] internal method on func, providing thisValue as the this value and providing the list argList as the argument values.

The production CallExpression : CallExpression Arguments is evaluated in exactly the same manner, except that the contained CallExpression is evaluated in step 1.

NOTEThe returned result will never be of type Reference if func is a native ECMAScript object. Whether calling a host object can return a value of type Reference is implementation-dependent. If a value of type Reference is returned, it must be a non-strict Property Reference.

看了这么大一段逻辑，都有点怕了，不过还是看了下来，理解了一半一半。

在Javascript中，如果构造函数不带参数的话，new的时候可以省略括号。

//这两种写法是等价的
var d = new A;
var d = new A();

//但是下面这两种是不同的，不能混淆了：
var d = new A.B(); //new A.B;
var d = new A().B(); //new A().B;