Discussion :

[Kaluza]

Bonjour.

Je découvre le monde merveilleux des constexpr de C++ 2011 et j'avais une petite question avec le code suivant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
inline constexpr unsigned long long int metaFactorial(const unsigned char n) 
{
    return (((n > 0) && (n < 21)) ? (n*metaFactorial(n-1)) : (1));
}

Au lieu de renvoyer 1 quand n >= 21, j'aimerai que le code plante par exemple en lançant une exception standard (d'ailleurs question au passage pour quelqu'un qui découvre la gestion des erreurs : quelle est l'exception standard la plus adaptée dans ce cas, est-ce "domain_error"). Comment faire cela ?

Merci beaucoup.

[Ekleog]

Tu peux jeter une exception avec par exemple return n > 20 ? throw [exception] : [...]. (au début je croyais que c'était impossible, mais selon 7.5.1§5 ...)
Je pense que domain_error est une bonne idée d'exception. Par contre, je ne sais pas si il sera possible de la jeter, étant donné que 19.2.2 ne l'indique pas comme ayant un constexpr constructor ... A voir !

Sinon, tu as fait du lisp ? Presque toutes ces parenthèses sont inutiles, il suffirait de mettre return n > 0 && n < 21 ? n*metaFactorial(n-1) : 1; (ce que je trouve au passage plus compréhensible).

[Klaim]

Je ne comprends pas bien comment on peut lancer une exception dans une constexpr, puisque le principe est justement que ça soit executé à la compilation....

[LittleWhite]

Bonjour,

Je vais peut être dire une bêtise, mais n'y a t-il pas des assertions contrôlées à la compilation.
Sinon, nous avons de bons tutoriels sur la méta-programmation : http://cpp.developpez.com/cours/?page=general#avances

[Ekleog]

Je ne comprends pas bien comment on peut lancer une exception dans une constexpr, puisque le principe est justement que ça soit executé à la compilation....

Je suppose que c'est rapporté comme une erreur de compilation ? (pour ma référence, 7.5.1§5 de la dernière norme pré-c++11 -- non, je ne vais pas me payer le standard alors qu'on a quasiment identique mais gratuit à côté)

Bonjour,

Je vais peut être dire une bêtise, mais n'y a t-il pas des assertions contrôlées à la compilation.
Sinon, nous avons de bons tutoriels sur la méta-programmation : http://cpp.developpez.com/cours/?page=general#avances

Il me semble que l'OP parle de constexpr, ce qui n'est pas de la métaprog'.
Ou bien j'ai mal compris ce message ?

[LittleWhite]

Ah ... donc ce sont deux choses fondamentalement différentes.

puisque le principe est justement que ça soit executé à la compilation....

Cela m'a mit dans l'erreur

Qu'est ce que le contexpr du coup ?

[gbdivers]

Il est indiqué dans n2235 que les throw expression ne sont pas valide avec constexpr. Donc pas d'exception avec constexpr (ce qui est logique, constexpr est évaluer à la compilation alors que les exceptions sont évaluer à l'exécution)
Peut être en utilisant les static_assert ?

Sinon, utiliser les templates mais si c'est un exo pour apprendre constexpr, c'est pas une solution...

Qu'est ce que le contexpr du coup ?

Une nouvelle fonctionnalité du C++11. Je prépare une mise à jour de mon post du C++11 pour en parler.

[Ekleog]

LittleWhite> Ce sont des fonctions, qui sont indiquées au compilateur comme étant potentiellement évaluables à la compilation. En gros, constexpr indique que la fonction est pure, comme le disent les langages fonctionnels.

gbdivers> n3242-7.1.5§5 donne un exemple du contraire : throw *est* utilisable avec constexpr. (mea culpa pour les références précédentes : j'avais inversé le 1 et le 5)

[gbdivers]

ouch, j'avais regardé dans n2235 (le draft donné en indication dans gcc C++11), ça date un peu beaucoup. Merci de la rectification