Wie NULL zurück, von einer Methode in eine Vorlage-Klasse

Habe ich eine Methode die wie folgt aussieht:

template <typename T>
T Test<T>::FindItem(T item)
{
    if(found)
        //return original value, no problem here
    else
        //I want to return NULL here, like:
        return NULL; 
}

Dieser schlägt fehl, in bestimmten Fällen zur Laufzeit, weil einige die Werte nicht umgewandelt werden kann, um die NULL in C++ z.B. std::string. Welchen Ansatz sollte ich verfolgen hier?

Seine eine compile-Zeit-Fehler. Kein run-time.
Laufzeit für std::string, std::string(const char*) aufgerufen werden
Ich benutze Visual Studio 2005 und VC-compiler und es ist nicht eine compile-Zeit-Fehler in der it. Kann nicht sagen, über gcc.
Oops..sorry, mein Fehler. Ja es stürzt in VS2008 auch.
Initialisieren eines std::string mit NULL ist nicht eine compile-Zeit-Fehler, aber ruft nicht definiertes Verhalten, wahrscheinlich in Ermangelung an Zeit ausführen.

InformationsquelleAutor Aamir | 2009-09-08

c++templates

14

Wenn Sie zurückkehren möchten, von Wert und don ' T wollen, um Durcheinander mit der Rückkehr Zeiger und new/delete ist, können Sie nur tun, wie diese:
```
template <typename T>
boost::optional<T> Test<T>::FindItem(T item)
{
    if(found)
        //return original value
    else
        return boost::none; 
}
```
und verwenden Sie es auf diese Weise:
```
Test<int> var;
boost::optional<int> V = var.FindItem(5)

if (V)
{
    //found
    int val = *V;
}
else
{
    //not found
}
```
- Ich bin nicht mit boost, so können nicht die Verwendung von boost::keine
- Wenn Sie zurückkehren möchten einen einzigartigen Wert für eine Art, die keine haben, müssen Sie die optionale oder etwas vergleichbares. Wenn Sie keinen Zugang zu steigern, können Sie noch definieren, deine (eine weitere gemeinsame name für Sie ist Fehlbar).
InformationsquelleAutor Xeor
9

Hier, Stroustrup gibt ein paar Argumente, die für die Vermeidung von NULL in C++:
- Die definition ist einfach 0, so gibt es keinen tatsächlichen Gewinn [mehr zu geben]
- Es ein makro, Makros und am besten vermieden werden, in C++
Den Vorschlag, wieder von der Seite:
- Mit einem einfachen 0 oder (für C++0xwhatever) nullptr.
Zweitens, wenn Sie zurückkehren möchten, ein Ungültiger Zeiger als ein signal des Scheiterns, müssen Sie deklarieren Sie die Funktion als Rückgabe einen Zeiger auf einen Typ, nicht der Typ selbst.

Dritten, die meisten standard-Bibliothek finden () - Funktionen Iteratoren zurückgeben, anstatt die Elemente direkt. Das gibt Ihnen die Möglichkeit zu implementieren, die "nichts gefunden" Fall anders.
- Warum nicht NULL? Für mich ist es klarer, dass Sie den Umgang mit Zeigern iso. ganzen zahlen, Weg.
- +1 für den Vorschlag zurück, ein 'end' - iterator
- Die Verwendung oder nicht-NULL ist eine Frage des coding-Stil direkt neben der position des curcly Klammern oder die Anzahl der Leerzeichen verwendet werden, wenn Sie Einrücken. Ich habe beides verwendet, weiß ich nicht, lieber einen über den anderen, solange es ist, durchgängig verwendet. Es gibt Argumente auf beiden Seiten, die ich nicht fühlen ich habe gehört, der überzeugend ist.
- Stroustrup macht einen ziemlich marginalen argument gegen - research.att.com/~bs/bs_faq2.html#null
- Ich fügte hinzu, dass sehr link, um die Antwort selbst, bevor es zu sehen war alraedy hier in Ihrem Kommentar. Ich werde es verlassen, aber danke!
- Die Tatsache, dass C++ fehlt ein null Schlüsselwort ist ein Versagen der design-Sprache, trotz aller Argumente Stroustrup gegeben hat. Zeiger sind anders als die zahlen, Zeit, und so sollten Sie syntaktisch Verschieden.
- Naja, die nicht-Existenz des null-Schlüsselwort (korrigiert werden in C++0x) ist ein symptom der Tatsache, dass Zeiger und Integer kann implizit konvertiert werden. Ich denke, das ist ein schlechter ausfällt (und GCC Autoren sind sich einig, da gibt es eine Warnung für Sie), aber es ist geerbt von C und tun, Weg mit, es wäre vermutlich ein zu großer Kompatibilität brechen für die C++ - Komitee zu Magen.
- Sie sagen, "nicht NULL", eine Verknüpfung zu stroustrup die Aussage wo er sagt "In C++ die definition von NULL ist 0, es gibt also nur einen ästhetischen Unterschied.". Sieht seltsam aus - ich bin mir sicher, dass stroustrup würde nicht sagen, "nicht NULL".
InformationsquelleAutor unwind
7

Haben Sie eine Funktion, zurückgeben könnte ein gültiges Objekt, aber auch ein Indiz dafür, dass kein gültiges Objekt vorhanden ist. Kombiniert mit einer situation, wo alle möglichen Objekt-Werte gültig sind, ist dies ein design-problem mit der find-Funktion. (Auch wenn Sie optimiert die Funktion so, dass wäre es beispielsweise, eine leere Zeichenfolge zurück, wenn es keines findet, wie wäre dies zu unterscheiden von erfolgreichen Suche nach einem leeren string?)

Laufe der Zeit mehrere Wege aus diesem dilemma gefunden wurden. So könnte man zurück einen Zeiger/iterator zurückgegeben wird, sondern der tatsächliche Wert. Dann ein NULL Zeiger/Ende-iterator geben würde, "nicht gefunden". Oder man könnte einen Wert von nicht-const-Referenz, weisen Sie das Ergebnis und zeigen den Erfolg/Misserfolg durch ein boolean zurückgegeben. Oder nehmen Sie eine der anderen Lösungen hier gepostet. Aber alle verlangen, dass Sie ändern Sie die Funktion der Schnittstelle -- weil, wie es ist, hat es ein design-Fehler.

Sowieso, vor dem Sprung in und tun dies, sollten Sie sich Fragen, warum Sie schreiben Ihre eigenen container/Algorithmus anstelle der Verwendung eines aus der std-lib.

InformationsquelleAutor sbi

Meisten Arten sind in Standard-constructable haben Sie eine Eigenschaften-template-Klasse kann spezialisiert werden (mit der Standard-Rückgabe eines default-initialisiert Objekt).

template <class T>
struct Make {
    static T Default()
    {
         return T();
    }
};


class not_default_constructable {
public:
    explicit not_default_constructable(int i) {}
};

//specialize for not_default_constructable     
template <>
struct Make <not_default_constructable> {
    static not_default_constructable Default()
    {
         return not_default_constructable(42);
    }
};

InformationsquelleAutor Motti

2

Sollten Sie wieder T* nicht-T

InformationsquelleAutor Preet Sangha
2

Da bin ich jetzt vielleicht zu simpel, aber ich bevorzuge einfach die Rücksendung eines bool:
```
template <typename T>
bool Test<T>::FindItem(T item)
{
    if (!found)
        return false;    
    item = <found item>;        
    return true; 
}
```
- -1, Außer dass es nicht funktioniert, weil die Funktion nimmt item pro Exemplar.
- Wenn Sie eine Kopie des ursprünglichen Elements, wenn es gefunden wird (wie der Kommentar in asker code zeigt), Sie könnte genauso gut zurück ein bool. Der Anrufer hat bereits das Element.
InformationsquelleAutor Alan

Meiner Meinung nach versucht Ihr, erschweren Sie sich ein wenig, indem Sie versuchen, einen NULL-Wert zurück...

Stattdessen etwas tun, ähnlich wie diese:

class SomeError
{};
template <typename T>
    T Test<T>::FindItem(T item)
    {
        if(found) 
            //return original value, no problem here
        else
            throw(SomeError);
    }

Werfen eine leere Klasse kostet nichts...

InformationsquelleAutor Partial

1

Sie könnte eine exception werfen, wenn es nicht gefunden wird.

Da Sie keine Kenntnis von der Art sah-und zurückgegeben, Sie können nicht benennen, irgendeinen bestimmten Wert von diesem Typ als ein Fehler-code. Im wesentlichen werden Sie versuchen, drücken Sie die vollständige domain von einem Typ plus ein Fehler-Wert in der Domäne des Typ.

Vorschläge zu verwenden, Iteratoren oder anderen Verpackungen helfen, das problem zu lösen durch die Erweiterung der Domäne der return-Typ, umfassen die Fehler-Werte, aber wenn Sie wollen, zu bleiben, um die tatsächlichen Typen Sie es zu tun haben, Ausnahmen sind Sie am besten andere Wahl. Das ist, was Sie sind für.

InformationsquelleAutor camh
0

Zurück T(). Wenn T ist der Typ sometype * es wird initialisiert werden, um einen null-Zeiger. Wenn T ist der Typ sometype, wird es wieder ein Objekt erstellt mit den default-Konstruktor, das sollte reichen (std::string leer, Integrale Typen wie ints 0, etc).
- Das funktioniert nicht, wenn 0 ist ein Gültiger Rückgabewert ist. atoi() hat das gleiche problem.
InformationsquelleAutor moswald

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.