Warum kann ich den Klassenkonstruktorparameter nicht auf einen Standardwert setzen?

Question

template<class KeyType, class ValueType, class Hash = std::hash<KeyType> > 
class HashMap { 
public: 
    Hash hasher; 

    HashMap(Hash override_ = hasher) { 
     hasher = override_; 
    } 
}; 

Hier ist mein Code. Was ich erwarte, ist, dass ich den Standardwert für hasher beibehalte, wenn keiner vom Konstruktor geliefert wurde, oder ändere es andernfalls in new. Was ich bekomme ist das: invalid use of non-static data member 'hasher'. Ich habe bereits gedacht, dass ich hasher durch Hash() als Standardwert ersetzen kann; aber was, wenn ich kein Standard Hash Objekt, aber etwas komplizierter benötigt? Und warum hat mein erster Versuch nicht kompiliert?

Answer 1

Sie versuchen, als Standardwert für Konstruktorparameter ein Mitglied einer Klasse zu verwenden, während das Objekt noch nicht erstellt wurde. Das kann nicht funktionieren, wenn das Mitglied nicht statisch ist. Um zu tun, was Sie wollen, können Sie 2 Konstruktoren auf diese Weise definieren:

#include <map> 
template<class KeyType, class ValueType, class Hash = std::hash<KeyType> > 
class HashMap { 
public: 
    Hash hasher; 

    HashMap(Hash override_) { 
     hasher = override_; 
    } 
    HashMap() { 
    } 
}; 

Answer 2

Es ist wie Standards verboten. Dies wird in Abschnitt 8.3.6 des C++ 03-Standards beschrieben. Es ist im Grunde jeder Ausdruck, der nicht von irgendetwas im lokalen Gültigkeitsbereich abhängt, so dass jeder Ausdruck, der von lokalen Variablen, Parametern einer Funktion oder von "diesem" abhängt, ausgeschlossen ist.

Answer 3

Nun, was Sie tun können, ist dies:

template<class KeyType, class ValueType, class Hash = std::hash<KeyType> > 
class HashMap { 
public: 
    Hash hasher; 

    HashMap(Hash override_ = {}) : hasher{std::move(override_)} {} 
}; 

Wenn keine angegeben, wird der Standard Konstruktor aufgerufen.

Ich persönlich denke, die beste Option, um einen Standard-Konstruktor hinzuzufügen wäre:

template<class KeyType, class ValueType, class Hash = std::hash<KeyType> > 
class HashMap { 
public: 
    Hash hasher; 

    HashMap() = default; 
    HashMap(Hash override_) : hasher{std::move(override_)} {} 
};