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 ?