resolve()/reject() on Promise subclasses and @@species

Claude Pache claude.pache at gmail.com
Fri Oct 30 17:19:19 UTC 2015


> Le 29 oct. 2015 à 03:51, Boris Zbarsky <bzbarsky at MIT.EDU> a écrit :
> 
> I was just implementing subclassing of Promise in Gecko, when I realized that given a Promise subclass MyPromise these two calls:
> 
>  MyPromise.race([])
>  MyPromise.all([])
> 
> will take MyPromise[@@species] into account when creating the return value, but these two calls:
> 
>  MyPromise.resolve()
>  MyPromise.reject()
> 
> will not; they will invoke MyPromise itself, not MyPromise[@@species].
> 
> This is because http://www.ecma-international.org/ecma-262/6.0/#sec-promise.all and http://www.ecma-international.org/ecma-262/6.0/#sec-promise.race do the whole @@species thing but http://www.ecma-international.org/ecma-262/6.0/#sec-promise.reject and http://www.ecma-international.org/ecma-262/6.0/#sec-promise.resolve do not.
> 
> Is this behavior intentional?  If so, I'd really like to understand the reason for it.
> 
> -Boris

Relevant discussion: https://esdiscuss.org/topic/performpromiseall <https://esdiscuss.org/topic/performpromiseall>

As I understand, the specified behaviour is an accident of history. Previously, `Promise.resolve()` and `Promise.reject()` used the species pattern in order to determine the constructor to be used, just as `Promise.all()` and `Promise.race()`. Then, at the last minute, it was decided that it wasn’t the best semantics for `Promise.resolve()`, and it was corrected. For `Promise.all()` and `Promise.race()`, the motivation wasn’t stronger than the lack of time.

Should it be corrected before @@species is widely implemented? I think so. The arguments I give are:

* Overall consistency in the language. Except for the two offending Promise static methods, all uses of `@@species` in the ES2015 spec (15 uses) are for the following pattern: Starting from one instance, one constructs a derived object for that instance. (The effective lookup of the @@species property is factored in the SpiecesConstructor and ArraySpeciesCreate abstract operations.)

* Also, in static methods like `Promise.all` and `Promise.race`, a constructor is explicitly provided by the user: simply use it. Compare with what is done for arrays:

	Array.from(someArray) // use the Array constructor explicitly provided.
	Array.of(x, y, z) // ditto

	someArray.slice(0) // compute the constructor to be used through some algorithm involving @@species.
	[].concat(x, y, z) // ditto

—Claude

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20151030/1b62075f/attachment.html>


More information about the es-discuss mailing list