in vorraus dankend
der ctor

struct X
{
  X(int,int,int);
  X(string);
  X(float);
};

int main()
{
  std::cout << ist_ctor_von<X>::so_aufrufbar<int,int,int>::value ;
}

Ich möchte das für eine Template-klasse mit templatesierten konstruktor, um diverse konstruktoren auszuschließen, damit std::is_convertible richtige ergebnisse liefert.

#include <iostream>

template<typename T> T create_helper();

template<typename T> class SFINAE
{
    typedef struct{T[2] tmp;} False_Help;
    template<typename... Args> static auto Has_This_Constructor(T in) -> decltype(T(create_helper<Args>()...));
    template<typename... Args> static False_Help Has_This_Constructor(...);
}

template<typename T, typename... Args> bool HasConstructor
{
    return sizeof(SFINAE<T>::Has_This_Constructor<Args...>(create_helper<T>())) == sizeof(T);
}

int main()
{
    std::cout << std::boolalpha << HasConstructor<int, int>() << "\n";
}

ABER: Möchtest du abhängig davon einen unterschiedlichen Konstruktor aufrufen, brauchst du überladene Klassen mit einem Boolean-Parameter, der von dem sizeof()-Vergleich abhängt. (also les dir das in aller Ruhe nochmal durch, ich hab auch eine Weile gebraucht)

allerdings funktioniert es bei mir noch nicht ganz, sobald ich eine falsche Parameterkombi teste, fängt der Compiler an zu meckern.

template<typename T> T create_helper();

template<typename T> struct SFINAE
{
    typedef struct{T tmp[2];} False_Help;
    template<typename... Args> static auto Has_This_Constructor(T in) -> decltype(T(create_helper<Args>()...));
    template<typename... Args> static False_Help Has_This_Constructor(...);
};

template<typename T, typename... Args> bool HasConstructor()
{
    return sizeof(SFINAE<T>::template Has_This_Constructor<Args...>(create_helper<T>())) == sizeof(T);
}

int main()
{
    std::cout << std::boolalpha << HasConstructor<int, int,int>() << "\n";
}

bei zeile 8 : |error: functional cast expression list treated as compound expression|

Des weiteren bin ich mir nicht sicher, ob es richtig ist es nach der Größe von False_Help zu testen(was ist wenn eine andere Klasse gleichgroß ist?).