SFINAE für Cast-Operator

Question

Ich habe eine Klasse, die eine Enum umschließt und String-Konvertierung für sie bereitstellt. Nun habe ich den Template-Parameter 'fastStringConvert' eingeführt, der steuert, wie die Konvertierung mit SFINAE durchgeführt wurde (hier zu finden: how can I use std::enable_if in a conversion operator?). Der Code kompiliert unter MSVC, schlägt jedoch unter GCC und Clang fehl.

error: no type named ‘type’ in ‘struct std::enable_if<false, void>’ 

Was könnte das Problem sein und wie sollte ich den Code ändern?

Die relevanten Teile des Codes unten oder hier: http://rextester.com/SYC74124

#include <map> 
#include <string> 
#include <type_traits> 

template < 
    class SubClass, 
    typename EnumType, 
    bool fastStringConvert = true 
> 
class SmartEnum 
{ 
public: 
    template < 
     typename SFINAEPostponer = EnumType, 
     typename = typename std::enable_if<fastStringConvert, void>::type 
    > 
    explicit operator const std::string&() const 
    { 
     auto name = SubClass::names().find((int)value); 
     if (name != SubClass::names().end()) 
     { 
      return name->second; 
     } 
     else 
     { 
      static const std::string na("n.a."); 
      return na; 
     } 
    } 

    template < 
     typename SFINAEPostponer = EnumType, 
     typename = typename std::enable_if<!fastStringConvert, void>::type 
    > 
    explicit operator const std::string() const 
    { 
     auto name = SubClass::names().find((int)value); 
     if (name != SubClass::names().end()) return name->second; 
     else return std::to_string((int)value); 
    } 

protected: 
    typedef const std::map<int, std::string> Names; 
    EnumType value; 
}; 


enum class Foo_type : int { a, b, c }; 

struct Foo : SmartEnum<Foo, Foo_type, true> 
{ 
    typedef SmartEnum<Foo, Foo_type, true> Base; 

    static const Base::Names &names() 
    { 
     static const Base::Names names = { { 0, "a" }, { 1, "b" }, { 2,"c" }}; 
     return names; 
    } 
}; 

Answer 1

Sie haben Template-Argument von der Methode zu verwenden, sonst haben Sie harte Fehler ein, so etwas wie:

template < 
    typename SFINAEPostponer = EnumType, 
    bool Cond = !fastStringConvert, 
    typename = typename std::enable_if<Cond, void>::type 
> 
explicit operator const std::string() const 

BTW , besser enable_if als Typ anstelle des voreingestellten Wertes zu verwenden (um die Deaktivierung zu ermöglichen):