Fonctions fléchées
==================

Une **expression de fonction fléchée** (*arrow function* en anglais) permet d'avoir une syntaxe plus courte que les expressions de fonction et ne possède pas ses propres valeurs pour `this`, `arguments`, `super`, ou `new.target`. Les fonctions fléchées sont souvent anonymes et ne sont pas destinées à être utilisées pour déclarer des méthodes.

Exemple interactif
------------------

Syntaxe
-------


```js
([param] [, param]) => {
   instructions
}

(param1, param2, …, param2) => expression
// équivalent à
(param1, param2, …, param2) => {
  return expression;
}

// Parenthèses non nécessaires quand il n'y a qu'un seul argument
param => expression

// Une fonction sans paramètre peut s'écrire avec un couple
// de parenthèses
() => {
  instructions
}

// Gestion des paramètres du reste et paramètres par défaut
(param1, param2, ...reste) => {
  instructions
}
(param1 = valeurDefaut1, param2, …, paramN = valeurDefautN) => {
  instructions
}

// Gestion de la décomposition pour la liste des paramètres
let f = ([a, b] = [1, 2], {x: c} = {x: a + b}) => a + b + c;
f();
```


`param`

Le nom d'un argument. S'il n'y a aucun argument, cela doit être indiqué par une paire de parenthèses `()`. S'il n'y a qu'un argument, les parenthèses ne sont pas nécessaires (ex. : `toto => 1`).

`instructions` ou `expression`

Plusieurs instructions doivent être encadrées par des accolades, {}. Une expression simple ne nécessite pas d'accolades. L'expression est également la valeur de retour implicite pour cette fonction.

Description
-----------

Deux facteurs sont à l'origine de la conception des fonctions fléchées : une syntaxe plus courte et l'absence de `this` spécifique à la fonction. Sur ce dernier point, cela signifie qu'une fonction fléchée ne lie pas son propre `this` au sein de la fonction (il en va de même avec `arguments`, `super` ou `new.target`).

**Note :** Voir aussi l'article sur les fonctions fléchées présent sur https://tech.mozfr.org/post/2015/06/10/ES6-en-details-%3A-les-fonctions-flechees (l'article original en anglais est disponible ici).

### Syntaxe plus courte

Pour des aspects fonctionnels, la légèreté de la syntaxe est bienvenue. Par exemple :


```js
var a = [
  "We're up all night 'til the sun",
  "We're up all night to get some",
  "We're up all night for good fun",
  "We're up all night to get lucky",
];

// Sans la syntaxe des fonctions fléchées
var a2 = a.map(function (s) {
  return s.length;
});
// [31, 30, 31, 31]

// Avec, on a quelque chose de plus concis
var a3 = a.map((s) => s.length);
// [31, 30, 31, 31]
```

### Pas de `this` lié à la fonction

Jusqu'a l'apparition des fonctions fléchées, chaque nouvelle fonction définissait son propre `this` :

* un nouvel objet dans le cas d'un constructeur
* `undefined` dans les appels de fonctions en mode strict
* l'objet courant si la fonction est appelée comme une méthode, etc.

Cela a pu entraîner des confusions lorsqu'on utilisait un style de programmation orientée objet.


```js
function Personne() {
  // Le constructeur Personne() définit `this` comme lui-même.
  this.age = 0;

  setInterval(function grandir() {
    // En mode non strict, la fonction grandir() définit `this`
    // comme l'objet global et pas comme le `this` defini
    // par le constructeur Personne().
    this.age++;
  }, 1000);
}

var p = new Personne();
```


Avec ECMAScript 3/5, ce problème a pu être résolu en affectant la valeur de `this` à une autre variable :


```js
function Personne() {
  var that = this;
  that.age = 0;

  setInterval(function grandir() {
    // La fonction callback se réfère à la variable `that`
    // qui est le contexte souhaité
    that.age++;
  }, 1000);
}
```


Autrement, on aurait pu utiliser une fonction de liaison afin que la bonne valeur `this` soit passée à la fonction `grandir`.

Les fonctions fléchées ne créent pas de nouveau contexte, elles utilisent la valeur `this` de leur contexte. Aussi, si le mot-clé `this` est utilisé dans le corps de la fonction, le moteur recherchera la référence à cette valeur dans une portée parente. Le code qui suit fonctionne ainsi de la façon attendue car le `this` utilisé dans `setInterval` est le `this` de la portée de `Personne` :


```js
function Personne() {
  this.age = 0;

  setInterval(() => {
    this.age++;
    // |this| fait bien référence à l'objet personne
  }, 1000);
}

var p = new Personne();
```


#### Liens avec le mode strict

Ici `this` provient du contexte englobant, les règles du mode strict sont donc ignorées pour ce qui concerne `this`.


```js
var f = () => {
  "use strict";
  return this;
};
f() === window; // ou l'objet global
```


Le reste des règles du mode strict sont appliquées normalement.

#### Appel via `Function.prototype.call()` ou `Function.prototype.apply()`

Étant donné que `this` provient du contexte englobant, si on invoque une fonction via la méthode `call` ou `apply`, cela ne passera que des arguments mais n'aura aucun effet sur `this` :


```js
var ajouter = {
  base: 1,

  add: function (a) {
    var f = (v) => v + this.base;
    return f(a);
  },

  addViaCall: function (a) {
    var f = (v) => v + this.base;
    var b = {
      base: 2,
    };
    return f.call(b, a);
  },
};

console.log(ajouter.add(1));
// Cela affichera 2 dans la console

console.log(ajouter.addViaCall(1));
// Cela affichera toujours 2
```


#### Pas de liaison pour `arguments`

Les fonctions fléchées n'exposent pas d'objet `arguments` : `arguments.length`, `arguments[0]`, `arguments[1]`, et autres ne font donc pas référence aux arguments passés à la fonction fléchés. Dans ce cas `arguments` est simplement une référence à la variable de même nom si elle est présente dans la portée englobante :


```js
var arguments = [1, 2, 3];
var arr = () => arguments[0];

arr(); // 1

function toto() {
  var f = (i) => arguments[0] + i;
  // lien implicite avec arguments de toto
  return f(2);
}

toto(3); // 5
```


Les fonctions fléchées n'ont donc pas leur propre objet `arguments`, mais dans la plupart des cas, les paramètres du reste représentent une bonne alternative :


```js
function toto() {
  var f = (...args) => args[0];
  return f(2);
}

toto(1); // 2
```


#### Les fonctions fléchées comme méthodes

Comme indiqué précédemment, les fonctions fléchées sont mieux indiquées pour les fonctions qui ne sont pas des méthodes. Prenons un exemple pour illustrer ce point


```js
"use strict";
var objet = {
  i: 10,
  b: () => console.log(this.i, this),
  c: function () {
    console.log(this.i, this);
  },
};

objet.b();
// affiche undefined, Window (ou l'objet global de l'environnement)

objet.c();
// affiche 10, Object {...}
```


#### Utiliser `prototype`

Les fonctions fléchées ne possèdent pas de prototype :


```js
var Toto = () => {};
console.log(Toto.prototype);
```


#### Utiliser le mot-clé `yield`

Le mot-clé `yield` ne peut pas être utilisé dans le corps d'une fonction fléchée (sauf si cela intervient dans une autre fonction, imbriquée dans la fonction fléchée). De fait, les fonctions fléchéees ne peuvent donc pas être utilisées comme générateurs.

#### Utiliser le mot-clé `new`

Les fonctions fléchées ne peuvent pas être utilisées comme constructeurs et lèveront une exception si elles sont utilisées avec le mot-clé `new`.


```js
var Toto = () => {};
var toto = new Toto();
// TypeError: Toto is not a constructor
```

Gestion du corps de la fonction
-------------------------------

Les fonctions fléchées peuvent avoir une syntaxe concise ou utiliser un bloc d'instructions classique. Cette dernière syntaxe n'a pas de valeur de retour implicite et il faut donc employer l'instruction `return`.


```js
// méthode concise, retour implicite
var fonction = (x) => x \* x;

// bloc classique, retour explicite
var fonction = (x, y) => {
  return x + y;
};
```

Renvoyer des littéraux objets
-----------------------------

Attention à bien utiliser les parenthèses lorsqu'on souhaite renvoyer des objets avec des littéraux :


```js
// fonction() renverra undefined !
var fonction = () => { toto: 1 };

// SyntaxError
var fonction2 = () =>  { toto: function () {} };
```


En effet, ici, l'analyse de l'expression trouve des blocs d'instructions au lieu de littéraux objets. Pour éviter cet effet indésirable, on pourra encadrer le littéral objet :


```js
var fonction = () => ({ toto: 1 });
```

Sauts de ligne
--------------

Il ne peut pas y avoir de saut de ligne entre les paramètres et la flèche d'une fonction fléchée.


```js
var func = ()
            => 1; // SyntaxError: expected expression,
                  // got '=>'
```

Ordre syntaxique
----------------

La flèche utilisée pour une fonction fléchée n'est pas un opérateur. Les fonctions fléchées ont des règles spécifiques quant à leur place dans la syntaxe et interagissent différemment de la précédence des opérateurs par rapport à une fonction classique :


```js
let fonctionRappel;

fonctionRappel = fonctionRappel || function () {};
// OK

fonctionRappel = fonctionRappel || () => {};
// SyntaxError: invalid arrow-function arguments

fonctionRappel = fonctionRappel || (() => {});
// OK
```

Exemples
--------


```js
// Une fonction fléchée vide renvoie undefined
let vide = () => {};

(() => "tototruc")();
// exemple d'une fonction immédiatement
// invoquée (IIFE en anglais) qui renvoie
// "tototruc"

var simple = (a) => (a > 15 ? 15 : a);
simple(16); // 15
simple(10); // 10

var complexe = (a, b) => {
  if (a > b) {
    return a;
  } else {
    return b;
  }
};

var arr = [5, 6, 13, 0, 1, 18, 23];

var sum = arr.reduce((a, b) => a + b);
// 66

var even = arr.filter((v) => v % 2 == 0);
// [6, 0, 18]

var double = arr.map((v) => v \* 2);
// [10, 12, 26, 0, 2, 36, 46]

// On peut aussi construire des chaînes
// de promesses plus concises
promise
  .then((a) => {
    // ...
  })
  .then((b) => {
    // ...
  });

// Cela permet de visualiser les
// fonctions sans paramètres
setTimeout(() => {
  console.log("Et voilà");
  setTimeout(() => {
    console.log("ensuite…");
  }, 1);
}, 1);
```

Spécifications
--------------

| Specification |
| --- |
| ECMAScript Language Specification # sec-arrow-function-definitions |

Compatibilité des navigateurs
-----------------------------

BCD tables only load in the browser with JavaScript enabled. Enable JavaScript to view data.

Voir aussi
----------

* L'article sur les fonctions fléchées présent sur https ://tech.mozfr.org (l'article original en anglais est disponible ici).