Partielle Spezialisierung einer Methode in einer Vorlage gebildete Klasse

Gegeben:

struct A
{
    virtual bool what() = 0;
};

template<typename T, typename Q>
struct B : public A
{
    virtual bool what();
};

Möchte ich teilweise spezialisieren what wie:

template<typename T, typename Q>
bool B<T, Q>::what()
{
    return true;
}

template<typename Q>
bool B<float, Q>::what()
{
    return false;
}

Aber es scheint, dass dies nicht möglich ist (ist es in C++11?) also versuchte ich SFINAE:

template<typename T>
typename std::enable_if<std::is_same<T, float>::value, bool>::type B<T>::what()
{
    return true;
}

template<typename T>
typename std::enable_if<!std::is_same<T, float>::value, bool>::type B<T>::what()
{
    return false;
}

Diese auch nicht funktioniert, ich habe keine Ahnung warum aber, hat jemand? Also ich fand dieser thread und endete mit:

template<typename T, typename Q>
struct B : public A
{
    virtual bool what()
    {
        return whatimpl(std::is_same<T, float>());
    }

    bool whatimpl(std::false_type)
    {
        return false;
    }

    bool whatimpl(std::true_type)
    {
        return true;
    }
};

Diese Letzte Lösung funktioniert, aber nicht warum das enable_if - Technik-Arbeit? Ich bin auch sehr offen für Vorschläge, die eine saubere Antwort, die ich noch nicht gestoßen noch.

Vereinfachte ich die Beispiele soweit wie möglich - in meiner realen Anwendungsfall what() nicht genannt was und tatsächlich ein gutes Stück Arbeit, und ich ' ll möchten 'spezialisiert' auf einen benutzerdefinierten Typ, nicht float.

Ich habe das bewußt, aber das ist nur eine vereinfachte Fall zu zeigen, was ich versuche zu tun 🙂 Lesen Sie die Letzte Zeile in der post.
was nicht template-Methode zu überschreiben::what() sollte es ein nicht-template-Methode der Klasse Vorlage B. Sie können nicht spezialisiert nicht-template-Methode, weder mit enable_if noch mit irgendeiner anderen Technik. Sie können jedoch spezialisieren sich die ganze Klasse B
Warum dann nicht diese Arbeit (vollständige Spezialisierung statt der partiellen): template<> bool B<float, float>::what() { return false; }
Interessant (BTW +1 für die Frage) scheint, dass ich falsch bin. Ich denke, der Grund, warum dies nicht funktioniert ist, dass partielle Spezialisierung ist nicht zulässig, Funktionen (wie der standard sagt).

InformationsquelleAutor David | 2012-04-23

c++sfinae template-specialization templates

12

Partielle Spezialisierung ist ausdrücklich erlaubt, von der Norm nur für Klassen-templates (siehe 14.5.5 Klasse Vorlage partielle Spezialisierungen)

Für die Mitglieder der Klasse-Vorlage nur explizite Spezialisierung erlaubt ist.

14.7 (3) sagt:

Einer expliziten Spezialisierung erklärt werden kann für eine Funktion template, eine Vorlage-Klasse, ein Mitglied einer Klasse
Vorlage oder ein Mitglied Vorlage. Eine explizite Spezialisierung-Deklaration wird eingeleitet von template<>.

So dass jede definition, beginnend mit
```
template<typename T>  
```
ist nicht erlaubt syntax für die Klasse Vorlage Spezialisierung.

[Bearbeiten]

Als auf SFINAE Versuch, der fehlgeschlagen ist, weil eigentlich gibt es weder überlastungen noch Spezialisierungen hier (SFINAE arbeitet, während Sie eine Reihe von Kandidaten-Funktionen für überlast Auflösung oder bei der Wahl der richtigen Spezialisierung). was() ist deklariert als einzige Methode der Klasse Vorlage und sollte eine einheitliche definition und diese definition sollte die form haben:
```
template<typename T, typename Q> 
B<T,Q>:: bool what(){...}
```
oder können auch explizit spezialisiert für bestimmte Instanziierung der Klasse B:
```
template<> 
B<SomeParticularTypeT,SomeParticularTypeTypeQ>:: bool what(){...}
```
Alle anderen Formen sind syntacticaly unwirksam sein, so SFINAE nicht helfen kann.
- Vielen Dank, dies erklärt auch die ersten gescheiterten Versuch. Jeder Einblick auf die SFINAE Versuch?
- SFINAE kürzt "SPEZIALISIERUNG Misserfolg ist nicht ein Fehler", so ist es eben eine Besondere Technik, die für Spezialisierung. Beginnend mit Vorlage<typename T>... Sie haben versucht, teilweise spezialisieren Sie sich einer Methode der Klasse Vorlage, die nur mit etwas komplizierteren Weg.
- Vorlage<typename T> kann die start-Methode definition für die Klasse Vorlage B<T>, aber in diesem Fall ist es nicht zu einer Spezialisierung und SFINAE auch nicht funktioniert.
- sorry... SFINAE bedeutet "substitution.."; doch alle oben genannten scheint das richtige :).
- sorry nochmal... etwas Falsches in meine Kommentare 🙂 ich habe bearbeitet die Antwort
- Wer kann erklären, warum partielle Spezialisierung ist nicht erlaubt?
InformationsquelleAutor user396672
0

Warum nicht einfach es zu ändern..
```
template<typename T, typename Q> 
struct B : public A 
{   
   bool what()
   {
      return false; //Or whatever the default is...
   }
}; 

template<typename Q>
struct B<float, Q> : public A 
{   
   bool what()
   {
      return true;
   }
}; 
```
- Denn B ist eine Riesen Klasse und ich möchte nicht kopieren/einfügen einer Riesen-Klasse 15-mal für jede Spezialisierung von what()
- obwohl Sie Erben von zwischen-Riese-Klasse hinzufügen, nur das, was() überschreiben, in der letzten Klasse.
- Ich konnte das nur tun, wenn ich eine zusätzliche Klasse in der erbschaft - beachten Sie, dass Eine nicht Vorlagen, so dass B die Funktionalität konnte wirklich nicht in es gesetzt. Die zusätzliche Klasse hätte sein müssen, Vorlagen und gehen zwischen A und B, der geschrieben werden kann als eine andere Antwort zu reagieren, um andere Techniken, um dies zu umgehen
- In der Tat, ich meinte eigentlich die Einführung eines zusätzlichen (zwischen - "Riese") Klasse Vorlage zwischen A und B.
- Sie sagte nie etwas über B ein Riesen-Klasse, basierend auf deinem Beispiel und Beschreibung allein habe ich vorgeschlagen, diese Lösung. Danke für den downvote.
InformationsquelleAutor clanmjc
0

Zwei mögliche Lösungen, je nach Anwendungsfall:
1. Flexible Implementierung Klassen: Ein problem mit deiner Methode ist, dass es einen Mangel der Flexibilität in den Arten - nicht mehr als wahr oder falsch geben. Basierend auf diese ausgezeichnete CppCon sprechen(Folie 77), schrieb ich diese Lösung durch die übertragung der Arbeit an andere Implementierung spezifische Klasse Vorlage. Können Sie sehen und ausführen dieses Codes hier. Der Nachteil dieser Methode ist, dass ich keinen Zugriff auf den rest der Klasse aber Sie kann übergeben werden.
2. Manipulation Ermöglichen, Wenn: ich habe nicht ganz verstanden, warum Ihr enable_if Lösung nicht funktioniert, aber hier ist meins und es funktioniert. Es ermöglicht Ihnen, teilweise spezialisieren Sie sich innerhalb der Klasse selbst.
P. S. ich versuche, fügen Sie den code hier direkt, aber es gibt einige Formatierungs-problem. Wenn mir jemand helfen könnte mit dem hinzufügen der formatierten code aus Coliru es würde groß sein.

InformationsquelleAutor tangy

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.