Recherche:

decltype renverra toujours le même type, or selon les valeurs de a et b, tu peux vouloir obtenir le type de a ou le type de b. JoliLoic le dit fort bien, et là je tape ma réponse sur un iPhone, donc...

La classe de traits ne sera pas capable de faire le choix correct. Elle permettre de faire un choix cohérent (le "meilleur" type sur les deux passés en paramètre), mais le "meilleur" type n'est pas...