On 3 May 2017 at 05:41, Xi Ruoyao wrote: > In template metaprogramming, we may write something like > > ~~~~~ > template <typename A, typename B> > struct BetterType > { > typedef If<(Priority<A>::value > Priority<B>::value), A, B>::type type; > }; > ~~~~~ > > However, GCC -Wenum-compare (enabled by default) would complain > at each POT of BetterType. It seems annoying. > > Of course we can cast the operands of compare to int. But should we > make GCC more clever and not to complain this causal idiom? You're comparing unrelated enumeration types, which is what the warning is designed to warn about. Why should it not warn just because it's in a template?