Auswählen einer Mitgliedsfunktion unter Verwendung verschiedener „enable_if“-Bedingungen

Die „enable_if“-Metafunktion wird verwendet, um Vorlagenfunktionsparameter anzugeben und darauf basierend geeignete Mitgliedsfunktionen auszuwählen . Betrachten Sie den folgenden Code:

template
struct Point
{
  // Check if T is int and call MyFunction for int
  void MyFunction(typename std::enable_if<:is_same int>::value, T &>::type* = 0)
  {
    std::cout ::value, float &>::type* = 0)
  {
    std::cout 
Dieser Code kann jedoch Compilerfehler verursachen, die darauf hinweisen, dass „kein Typ namens ‚type‘ in ‚struct std::enable_if‘“ vorhanden ist.
Grundlegendes zu „enable_if“
enable_if stellt sicher, dass bei der Überladungsauflösung nur realisierbare Funktionsüberladungen berücksichtigt werden. Wenn die Ersetzung eines Vorlagenarguments fehlschlägt, wird diese Überladung aus dem Kandidatensatz entfernt.
Im obigen Beispiel ist das Vorlagenargument T beim Instanziieren der Mitgliedsfunktionen bereits bekannt. Um das gewünschte Verhalten zu implementieren, können wir ein Dummy-Vorlagenargument mit der Standardeinstellung T erstellen und SFINAE damit ausführen:
template
struct Point
{
  template
  typename std::enable_if<:is_same int>::value>::type
    MyFunction()
  {
    std::cout 
  typename std::enable_if<:is_same float>::value>::type
    MyFunction()
  {
    std::cout