Je pense que c'est aussi un problème d'API, ou plutôt de compromis API/perf.
Prenons le cas de GMP, il est chouette. Tu as trois entiers multi-précision ab et c. Tu veux calculer rapidement a + b * c. Tu peux demander à l'utilisateur d'écrire (et ce le cas en C d'ailleurs), mpz_mul(tmp, b, c); mpz_add(out, a, tmp). Le problème c'est que (en plus d'être verbeux) tu introduis un temporaire, et que peut-être qu'il existe une façon de faire un fused multiply add plus efficacement qu'en le cassant en une multiplication et une addition, comme pour la boucle que tu cites où la fusion de boucle a permis, entre autres, de ne pas parcourir deux fois les tableaux. Et tu ne peux pas te permettre d'écrire toutes les fonction add_muladd_add_mul` etc pour chaque optimisation possible.
Les expression templates en général permettent de résoudre les deux soucis : au niveau API, l'utilisateur écris juste a + b * c et au niveau perf la machinerie (souvent bien plus complexe que ce qui est présentée ici, et bien mieux faite aussi) se charge de l'évaluation efficace de l'expression.
Et tu as raison, l'évaluation paresseuse fait parti des effets de bord sympa ;-)
[^] # Re: Avantage ?
Posté par serge_sans_paille (site web personnel) . En réponse au journal [C++14 ] Expressions template pour les nuls. Évalué à 3. Dernière modification le 31 mai 2016 à 13:46.
Je pense que c'est aussi un problème d'API, ou plutôt de compromis API/perf.
Prenons le cas de GMP, il est chouette. Tu as trois entiers multi-précision
abetc. Tu veux calculer rapidementa + b * c. Tu peux demander à l'utilisateur d'écrire (et ce le cas en C d'ailleurs),mpz_mul(tmp, b, c); mpz_add(out, a, tmp). Le problème c'est que (en plus d'être verbeux) tu introduis un temporaire, et que peut-être qu'il existe une façon de faire un fused multiply add plus efficacement qu'en le cassant en une multiplication et une addition, comme pour la boucle que tu cites où la fusion de boucle a permis, entre autres, de ne pas parcourir deux fois les tableaux. Et tu ne peux pas te permettre d'écrire toutes les fonctionadd_muladd_add_mul` etc pour chaque optimisation possible.Les expression templates en général permettent de résoudre les deux soucis : au niveau API, l'utilisateur écris juste
a + b * cet au niveau perf la machinerie (souvent bien plus complexe que ce qui est présentée ici, et bien mieux faite aussi) se charge de l'évaluation efficace de l'expression.Et tu as raison, l'évaluation paresseuse fait parti des effets de bord sympa ;-)