Kritik und Optimierungen (Klassen mit Operatoroverloading)
-
ja arbeite noch mit MFC... und ich verwende vererbung;) deswegen nehm ich immer CTypedPtrArray:) So bin fertig mit areiten;) ich meld mich morgen wieder ..heheh
grüße und danke (besonders CStoll)
-
CStoll schrieb:
[...] Du solltest op+ lieber global und basierend auf op+= definieren [...]
Was bringt das?
Ist das schneller oder leichter zu programmieren???
-
AGS'ler schrieb:
CStoll schrieb:
[...] Du solltest op+ lieber global und basierend auf op+= definieren [...]
Was bringt das?
Ist das schneller oder leichter zu programmieren???1. Es macht die "offizielle" Schnittstelle der Klasse kleiner, das ist immer positiv, schon aus Gründen der Wartbarkeit.
2. Es ahmt das Verhalten eingebauter Datentypen und derer Operationen besser nach.
3. Es erlaubt, implizite Konversion zu verwenden, um dem Programmierer Arbeit abzunehmen:
class foo; foo a, b; int c; // Angenommen, folgendes soll gehen: b = a + c; // und b = c + a; // dann reicht es, den op+ in eine Richtung zu definieren und einen impliziten Konstruktor für foo zu definieren, der ein 'int' als Argument erhält.
-
Versteh ich nich: -> Du solltest op+ lieber global und basierend auf op+= definieren!
Folgednes Versteh ich auch nich:
1.Es macht die "offizielle" Schnittstelle der Klasse kleiner, das ist immer positiv, schon aus Gründen der Wartbarkeit.
2. Es ahmt das Verhalten eingebauter Datentypen und derer Operationen besser nach.
3. Es erlaubt, implizite Konversion zu verwenden, um dem Programmierer Arbeit abzunehmen:
class foo; foo a, b; int c; // Angenommen, folgendes soll gehen: b = a + c; // und b = c + a; // dann reicht es, den op+ in eine Richtung zu definieren und einen impliziten Konstruktor für foo zu definieren, der ein 'int'
-
Als Ergänzung zu Konrad:
Konrad Rudolph schrieb:
1. Es macht die "offizielle" Schnittstelle der Klasse kleiner, das ist immer positiv, schon aus Gründen der Wartbarkeit.
Wenn du etwas an der Semantik der Addition ändern willst, mußt du nur noch eine Funktion (op+=) anpassen - op+ übernimmt deren Verhalten dann automatisch.
2. Es ahmt das Verhalten eingebauter Datentypen und derer Operationen besser nach.
Für eingebaute Datentypen (int, double, Zeiger, etc) gilt laut Standard, daß "x+=y;" äquivalent zu "x=x+y;" ist. Indem du op+ über op+= definierst, erreichst du den selben Effekt für deine Klassen. ("do it as the int's" ist ein recht guter Vorsatz bei der Operator-Überladung ;))
(Der umgekehrte Weg, op+= durch op+ zu definieren, wäre zwar auch möglich, aber performance-technisch ungünstiger)
3. Es erlaubt, implizite Konversion zu verwenden, um dem Programmierer Arbeit abzunehmen:
Das hat jetzt nicht unbedingt etwas mit op+ vs. op+= zu tun, sondern mit der generellen Entscheidung "Operator global oder als Methode?" Wenn du den Operator als Methode deiner Klasse definierst, kann der Compiler keine Typumwandlungen für den linken Operanden vornehmen, d.h. ein Ausdruck wie
T x=4711+y;ist nicht möglich. Bei einem globalen Operator ist der Compiler in der Lage, die 4711 (mit dem Ctor T(int)) in ein T umzuwandeln und dieses zu addieren.
-
aber was ist mit einem GLOBALEN Operator gemeint?
-
Du kannst jeden Operator entweder als Memberfunktion
T::operator+(const T& rhs);(der linke Operand ist *this) oder als globale Funktion*operator+(const T& lhs,const T& rhs)anlegen.* mit einigen Ausnahmen - =, [], () und -> dürfen nur als Member angelegt werden (hab ich einen vergessen?)
-
BorisDieKlinge schrieb:
Folgednes Versteh ich auch nich:
Hm, wenn man versucht, etwas in Eile zu erklären, geht es halt immer schief.
Sorry.Aber CStoll hat ja im Prinzip schon die Rosinen rausgepickt.
CStoll schrieb:
Für eingebaute Datentypen (int, double, Zeiger, etc) gilt laut Standard, daß "x+=y;" äquivalent zu "x=x+y;" ist. Indem du op+ über op+= definierst, erreichst du den selben Effekt für deine Klassen. ("do it as the int's" ist ein recht guter Vorsatz bei der Operator-Überladung ;))
AFAIK gab es da auch noch ein paar Nuancen, was das Verhalten von lvalues und rvalues betraf. Weiß ich aber nicht mehr auswendig und campers bezüglichen Beitrag finde ich jetzt auf die Schnelle nicht.
BorisDieKlinge schrieb:
aber was ist mit einem GLOBALEN Operator gemeint?
Na, Operatoren, die außerhalb der Klasse definiert wurden.
class foo { }; foo operator +(foo const& a, foo const& b) { foo tmp = a; tmp += b; // hier greifen wir auf foo::operator += zu return tmp; }
-
ok , und wieso kann man:
foo operator +(foo const& a, foo const& b) { foo tmp = a; tmp += b; // hier greifen wir auf foo::operator += zu return tmp; }nicht in einer Klasse deklarien? muss es global sein um es zu benutzen? Dachte ich hätte den operator schon mal in einer klasse verwendet!
-
Klar kannst du den Operator auch in der Klasse definieren (in dem Fall entfällt der erste Parameter und du nutzt *this stattdessen) - der Grund, warum du es nicht tun solltest, sind die impliziten Konvertierungen:
class myNumber { public: myNumber(int); ... //a: myNumber operator+(const myNumber& r); }; //b: myNumber operator+(const myNumber& l, const myNumber& r); ... myNumber a,b,c; c=a+b;//klappt immer c=a+1;//klappt auch (wandelt 1 in ein myNumber um und addiert) c=1+b;//klappt nur mit Variante (b) c=1+2;//klappt ;) (Bonusfrage: Kannst du mir sagen, welche Operatoren/Methoden hier verwendet werden?)Kritisch ist in dem Beispiel die Anweisung
c=1+b;- der Compiler darf keine impliziten Umwandlungen für this anwenden, deshalb lässt sich sowas mit dem Member-Operator nicht umsetzen.
-
"1+2" : Denk mal globater + operator der foo klasse oder der std. von int
wobei noch der Zuweisungoperator gebruach wird oder? dereiname von Foo auf Foo zuweisen kann , udn von int auf Foo!!
c= a+b;
"a+b" : operator+ (l,r) dann das ergebenis (ab) und "c=ab" operator=(r).Hier mein code up-to-date:
class CRoute{ CTypedPtrArray<CPtrArray,CGroup*> m_paNode; int m_i; public: //Konstruktoren CRoute(CGroup *p){ m_paNode.Add(p); } CRoute(){ //Kein Tiefes löschen notwendig da nur Referenzen m_paNode.RemoveAll(); } CRoute(CRoute &oScr){ this->m_paNode.Append(oScr.m_paNode); } //Destruktor ~CRoute(){ m_paNode.RemoveAll(); } //Anzahl der knoten in einer Route inline int GetSize() const{ return m_paNode.GetSize(); } //Zugriff auf elemente der Route über Index inline CGroup& CRoute::operator[] (const size_t iIndex){ return *(m_paNode.ElementAt(iIndex)); } //Route an Route anhängen! void CRoute::operator+(CRoute *&p){ for(int k=0; k< p->GetSize(); k++) this->m_paNode.Add(&((*p)[k])); } //Knoten an Route anhängen void CRoute::operator+(CGroup *&p){ this->m_paNode.Add(p); } /*Route einer anderne Route zuweisen (Tiefe Kopie nich notwendige, da die Routen nur auf Knoten des Baumen zeigen*/ CRoute& CRoute::operator=(/*const*/ CRoute &oScr){ if(&oScr== this) return *this; ASSERT(&oScr!=NULL); this->m_paNode.RemoveAll(); for(int i=0; i< oScr.GetSize(); i++) this->m_paNode.Add(&(oScr[i])); return *this; } //Route an vorhanden Route anfügen CRoute& CRoute::operator+=(/*const*/ CRouteSector::CRoute &oScr){ if(&oScr==NULL) return *this; for(int k=0; k< oScr.GetSize(); k++) this->m_paNode.Add(&(oScr[k])); return *this; } //Route an vorhanden Route anfügen CRoute& CRoute::operator+=(CGroup &oScr){ if(&oScr==NULL) return *this; //for(int k=0; k< oScr.GetSize(); k++) this->m_paNode.Add(&oScr); return *this; } //Route ausgeben void DEBUG_TRACEOUT(){ TRACE("Pfad ADR.: %i\n",(int)this); for(int i=0; i< this->GetSize(); i++){ CGroup *p =this->m_paNode.ElementAt(i); TRACE("ADR.: %i NODE: %s\n", (int)p, p->GetName()); } } };wenn ich const bei den übergabeparameter anfeben (siehe /* const */) kommst aber immer der compilerfehler : d:\Multithreading\multithread\multithread\ProcGraph.h(368): error C2678: binary '[' : no operator found which takes a left-hand operand of type 'const CRouteSector::CRoute' (or there is no acceptable conversion)
-
BorisDieKlinge schrieb:
"1+2" : Denk mal globater + operator der foo klasse oder der std. von int
Fast richtig: "c=1+2;" verwendet (in dieser Reihenfolge) den op+ für int's (eingebaut), den Ctor myNumber(int) und den op= (entweder von dir geschrieben oder implizit angelegt)
wenn ich const bei den übergabeparameter anfeben (siehe /* const */) kommst aber immer der compilerfehler : d:\Multithreading\multithread\multithread\ProcGraph.h(368): error C2678: binary '[' : no operator found which takes a left-hand operand of type 'const CRouteSector::CRoute' (or there is no acceptable conversion)
Vielleicht solltest du auch eine const-Version deines operator[] bereitstellen
-
oh man das versteh ich nich mit den const. ich weis zwar was sie bedeuten, aber in welchem zusammmenhang sie hinsichtlich der funltionen udn operatoren stehen müssen ist so ein wirrwarr..
Trozdem noch mal ein Dankeschön zwischendruch an CStoll:) Kommst dir sicher vor wie im kindergarten:)
du meinst:
//Zugriff auf elemente der Route über Index inline const CGroup& CRoute::operator[] (const size_t iIndex){ return *(m_paNode.ElementAt(iIndex)); }??
kann ich dann überhaupt nicht const Objekte der klasse CRoute an die funltionen übergeben?
-
Nein, ich meinte
inline CGroup CRoute::operator[] (size_t iIndex) const { return *(m_paNode.ElementAt(iIndex)); }(an dieser Stelle gilt das const für *this - und bewirkt letztendlich, daß du den Operator auf 'const CRoute' Objekte anwenden darfst)
-
ok dann hab ich die const dinge doch nich so verstanden:
wenn ich die parameter des operator:
CRoute& CRoute::operator=(/*const*/ CRoute &oScr){ ..}const übergebe,
undc ich später:CRoute a; CRoute b; a=b;dann ist ja b nicht const oder???? aber der opertor erwarte ein const!
-
Ein nicht-konstantes Objekt kann problemlos als konstantes Objekt angesehen werden (umgekehrt gilt das nicht). Das heißt, für den
operator=(const CRoute& oSrc);ist das übergebene Objekt konstant (und daß du letztendlich die Möglichkeit hättest, dieses Objekt in anderen Teilen des Programms zu ändern, ist ihm egal). Also darf er auch nur Methoden des Objekts aufrufen, die es nicht verändern dürfen.Dabei ist es dem Compiler egal, was du wirklich in der Methode machst (das könnte sich ja später ändern). Wichtig ist nur die Deklaration - mit dem const hinter der Parameterliste sagst du dem Compiler, daß diese Methode ihr this-Objekt nicht ändern wird (und wenn sie es doch macht, warnt dich der Compiler).
PS: Du hast dir aber einiges vorgenommen
-
Du kannst ein non-const Objekt jederzeit in ein konstantes Objekt implizit umwandeln. Macht ja auch Sinn, denn const sagt ja aus dass das Objekt nicht geändert wird - und es spricht nichts dagegen ein änderbares Objekt nicht zu ändern
Umgekehrt funktioniert es nicht - ein konstantes Objekt kann nicht geändert werden und auch nicht ohne böse Casts in ein non-const Objekt umgewandelt werden.
-
aha, dann sag ich dem compiler nur das ich das obejekt in der funktion (operator) nich ändern werde.. aber was bringt ihm das?
@CStoll: Ja nehm mir immer viel vor. Bin ein kleiner Perfektionist. Wenn was nich geht will ich wissen warum, und wenn was geht auch;)
Und leider klappt das mit dem Konst nich. das MFC Array hat was dageggen wenn ich den operator[] (..) const {..} schreibe:
d:\Multithreading\multithread\multithread\ProcGraph.h(544): error C2662: 'CTypedPtrArray<BASE_CLASS,TYPE>::ElementAt' : cannot convert 'this' pointer from 'const CTypedPtrArray<BASE_CLASS,TYPE>' to 'CTypedPtrArray<BASE_CLASS,TYPE> &' with [ BASE_CLASS=CPtrArray, TYPE=CGroup * ] and [ BASE_CLASS=CPtrArray, TYPE=CGroup * ] and [ BASE_CLASS=CPtrArray, TYPE=CGroup * ]
-
BorisDieKlinge schrieb:
aber was bringt ihm das?
Nunja, am wichtigsten: Wenn das Objekt selbst bereits konstant ist, weiss er dass Du die Methode trotzdem aufrufen darfst.
Nicht weniger wichtig, aber für den Programmierer vielleicht in erster Linie nicht so interessant: Optimierungspotenzial.
-
BorisDieKlinge schrieb:
Und leider klappt das mit dem Konst nich. das MFC Array hat was dageggen wenn ich den operator[] (..) const {..} schreibe:
Ja, CTypedPtrArray::ElementAt() ist auch nicht-konstant - die const-Version davon nennt sich GetAt()
(habe ich schon erwähnt, daß du besser umsteigen solltest auf std::vector<>?)