Guter Stil in C++

[HumeSikkins]

0xdeadbeef schrieb:

Den NULL-Wert kannst du an dieser Stelle eh nicht sinnvoll benutzen

Ah. Wie schön das du das weißt ohne den Kontext zu kennen. Ich nutze hier den Nullwert zwar gerade völlig ohne Probleme, aber...

Wenn du schon policy-basiert arbeitest, solltest du es auch richtig tun, und dann ist genau dieser Ansatz der einzig sinnvolle.

Ah. Und wie es richtig ist, dass weißt nur du und das selbst wo du mein tatsächliches Problem gar nicht kennst.
Genau so war das. Design ist eine crispe Wissenschaft und es gibt immer nur eine richtige Lösung. Hatte ich vergessen.
Schade. Eigentlich hatte ich mir von meinem Posting mehr erhofft. Ein paar Ideen oder vielleicht ne Rückfrage.
Über ein simples "du bist doof und so ist's richtig" bin ich ehrlich gesagt längst hinaus. Denn das ich doof ist mir nicht neu und das es nicht die eine richtige Lösung gibt, dass weiß ich nicht erst seit Fred Brooks' "No silver bullet".

Im Endeffekt sähe das dann so aus: [...]

Huh? Meine Kontext-Klasse muss den konkreten Typ der Policy kennen? Das gefällt mir aber ganz und garnicht.
Ich sprach vom klassischen Strategy-Pattern. D.h. nicht, dass deine Lösung schlecht ist, sie passt nur nicht zu meinem Problem.

Ansonsten bist du ja ständig am überprüfen if(foo_policy == NULL) default_stuff(); else foo_policy->stuff(); - ziemlich schlechter Stil imho.

So schlimm ist es in meiner Situation gar nicht.
Eher so:
if (!filter.get() || (*filter)(entry))
...
Kein else und kein doppelter Boden.
Wichtig: In 97.24% der Fälle ist kein Filter nötig. In diesen 97.24% der Fälle spare ich mir so einen virtuellen Aufruf. Was, wie mir Messungen bestätigt haben, doch was bringt, da dieser Code sehr oft in einer Schleife aufgerufen wird. Noch besser wäre ein Template, da ich dann noch vom inlining profitieren könnte. Leider passt das aber nicht so gut zu meinen anderen Anforderungen.

Ich wette mit dir, du hättest fast Java-Programmierer geschrieben.

Die Wette hast du verloren. Ich habe einfach nur mit den Worten von Scott Meyers gesprochen. Aber schön das wir drüber geredet haben.

[Walli]

groovemaster schrieb:

otze schrieb:

jeder kann sich mal im zeichen irren, es gibt sowas,d ass nennt sich flüchtigkeitsfehler^^

Dann kannst du mir ja verraten, welche(s) Zeichen Flüchtigkeitsfehler waren. Meine Kristallkugel ist leider in der Reparatur.

Komisch, du korrigierst einen offensichtlichen Flüchtigkeitsfehler und sagst nachher die Kristallkugel ist in Reparatur? Des check i net!

[peterchen]

@otze: du könntest z.B. boost::shared_ptr mit einem custom deleter verwenden: Policy 1 nimmt den Standard-Deleter, und policy 2 einen NULL-Deleter.

Aber wahrscheinlich baust du mir jetzt schon was mit ner zirkulären Referenz

Nix gegen Pointer, oft genug ist es sinnvoll einen nackten Pointer einzusetzen, aber einen solchen zu verwenden wenn effiziente Alternativen vorhanden sind, halte ich für production code schon für schlecthen Stil.

[0xdeadbeef]

HumeSikkins schrieb:

Ah. Wie schön das du das weißt ohne den Kontext zu kennen. Ich nutze hier den Nullwert zwar gerade völlig ohne Probleme, aber...

Nur, dass etwas funktioniert, heißt nicht, dass es auch guter Stil ist. Den Kontext hab ich mir halt so gut es ging hergereimt, zumal ich davon ausging, dass du nicht über ein konkretes Problem, sondern über policy-basiertes design allgemein sprichst - ich werd nen Teufel tun und hier ne Aura der Unfehlbarkeit anstreben.

Den nächsten Absatz will ich nicht kommentieren, weil destruktiv.

HumeSikkins schrieb:

Huh? Meine Kontext-Klasse muss den konkreten Typ der Policy kennen? Das gefällt mir aber ganz und garnicht.

Wo bitte hab ich das geschrieben? Du musst lediglich den Basistypen sowie eine default-policy kennen. Wenn du ne bessere Möglichkeit für runtime-policies kennst, sags mir.

HumeSikkins schrieb:

So schlimm ist es in meiner Situation gar nicht.
Eher so:
if (!filter.get() || (*filter)(entry))
...
Kein else und kein doppelter Boden.

Dass das legaler Code ist, wage ich gerade mal zu bezweifeln - es sei denn, du erwartest von deiner policy, dass sie einen *-Operator hat, und wenn du keine Pointer annimmst.

Wenn filter ein pointer sein und das eigentlich filter->get() heißen soll, musst du NULL-Pointer vorher trotzdem abfangen, womit wir wieder bei unseren ifs wären.

Soviel kann ich dazu sagen, ohne das Problem genauer zu kennen (wobei ich erst jetzt weiß, dass es um ein konkretes Problem geht). Erzähl mir mehr und ich kann dir was sinnvolleres sagen.

[peterchen]

@ShadeOfMine:

Sind Zeiger jetzt schlechter Stil?

Nö, nur sollten sie meistens gekapselt sein.

Ein Zeiger in C++ ist sehr ambivalent: Zeigt er auf ein Element oder viele? wieviele? Wer soll ihn wieder löschen? delete oder delete[] oder vielleicht MyAllocator::Delete() oder so ne schreckliche Microsoft-Funktion? Und wann genau wird er mir von jemand anderem unterm Hintern weggezogen?

Wenn eine Factory-Klasse z.B. dokumentiert "you must call delete on the return value when no longer using it", ist das perfekt. Es sei denn, Du hast noch zwei anderer Factories mit anderen Policies. (Oder, noch viel schlimmer: neun Factories mit der gleichern Policy, und einen "Abweichler")

Beispiel "mehrere Elemente": vector (Auch wenn ich mir dafür eine andere Schnittstelle wünschen würde)
beispiel iterator: Der Zeiger ist gekapselt, und für iteratoren gelten immer feste regeln. Die sind zwar auch hinreichend kompliziert, aber immer noch weit unter einem Elementzeiger, und man sieht das es ein Iterator ist.

[otze]

beispiel iterator: Der Zeiger ist gekapselt, und für iteratoren gelten immer feste regeln. Die sind zwar auch hinreichend kompliziert, aber immer noch weit unter einem Elementzeiger, und man sieht das es ein Iterator ist.

mein std::vecor::iterator ist ein zeiger auf T.

@otze: du könntest z.B. boost::shared_ptr mit einem custom deleter verwenden: Policy 1 nimmt den Standard-Deleter, und policy 2 einen NULL-Deleter.

ginge, aber ich bin eh immer kurz vorm pc zusammenbruch durch chronischen speichermangel*problem dramatisier*

[groovemaster]

MaSTaH schrieb:

Komisch, du korrigierst einen offensichtlichen Flüchtigkeitsfehler und sagst nachher die Kristallkugel ist in Reparatur? Des check i net!

Mir ging es keineswegs darum, kingruedi einen Fehler unter die Nase zu reiben. Ich wollte einfach nur wissen, was richtig ist. Und da es mehrere Korrekturmöglichkeiten gibt, war ich mir nicht sicher. Aber offensichtlich haben hier einige Leute mächtig Spass daran, auf solchen Dingen rumzureiten. Wenn's für dich so offensichtlich ist, wieso hast du's nicht denen, für die es das nicht ist, einfach mitgeteilt? Und wenn du dir die Beiträge mal genauer durchgelesen hättest, hättest du gemerkt, dass der Codeschnipsel jetzt eh nicht mehr von Bedeutung ist, da die Absicht der Aussage geklärt ist (denk ich zumindest).

Optimizer schrieb:

Und findest du das jetzt guten Stil?

groovemaster schrieb:

Hier nur mal so als schlechtes Beispiel

Wer lesen kann, ist klar im Vorteil.

otze schrieb:

was meinste, was ich mit den pointern meinte? na? richtig, genau das, was du jetzt gemacht hast.

Du hast aber mit deiner Aussage impliziert, dass jemand Zeiger mit Referenzen gleichsetzt. Und das ist in dem Codebeispiel nicht der Fall.

[Gast]

Nein hat er nicht. Vielleicht solltest du selber mal anfangen, besser zu lesen. Die Frage ist, ob das sinnvoll ist, was du da mit den Referenzen gemacht hast.
Was du wiederum als Antwort darauf gepostet hast, dass man Referenzen nicht löschen kann. Was zwar natürlich so nicht stimmt, aber man macht es trotzdem nicht. In so einem Fall ist ein Zeiger angebrachter, weil ein Zeiger gemeint ist, wie es volkard so schön gesagt hat. Dein Code hat den Eindruck erweckt, es ist super, zeiger hinter referenzen zu verstecken und dann auf umwege doch wieder das Objekt zu deleten.
Aber das ist kein guter Stil. Ob du jetzt diese Ansicht vertrittst oder nicht, ist mir nicht klar geworden und mir auch ziemlich egal. Aber dein Code mit delete &myReference ist auf jeden Fall kritikwürdig und um nichts anderes geht es.

[Walli]

groovemaster schrieb:

Aber offensichtlich haben hier einige Leute mächtig Spass daran, auf solchen Dingen rumzureiten. Wenn's für dich so offensichtlich ist, wieso hast du's nicht denen, für die es das nicht ist, einfach mitgeteilt?

Schon gut, reg dich ab... Wir haben aneinander vorbei geredet.

[groovemaster]

Optimizer schrieb:

Nein hat er nicht.

Und wie liest du dann

otze schrieb:

wenn du mit tricksen pointer meisnt, dann sind das immernoch keine referenzen

?

Optimizer schrieb:

Die Frage ist, ob das sinnvoll ist, was du da mit den Referenzen gemacht hast.

Und die Antwort darauf hab ich ja auch schon gegeben. Aber für dich sag ich es nochmal ganz ausführlich: N-E-I-N

Optimizer schrieb:

Was du wiederum als Antwort darauf gepostet hast, dass man Referenzen nicht löschen kann.

Nee, ich hab das als Antwort auf

otze schrieb:

referenzen können nicht auf den nächsten speicherbereich inkrementiert werden

gegeben, und dachte eigentlich, dass das aus dem Beitrag hervorgeht.

Optimizer schrieb:

Aber dein Code mit delete &myReference

könntest du mir mal auf die Sprünge helfen, wusste gar nicht, dass ich sowas gepostet hab...

[Gast]

Gut, es ging ums inkrementieren, nicht ums löschen. Ich hab da nicht extra noch mal nachgesehen.

Und die Antwort darauf hab ich ja auch schon gegeben. Aber für dich sag ich es nochmal ganz ausführlich: N-E-I-N

So deutlich war das IMHO nicht.
"Hier nur mal so als schlechtes Beispiel" kann auch einfach heißen, dass nur dieses Beispiel schlecht ist und sonst die Vorgehensweise gut ist.

Und wie liest du dann [...]

So, dass otze meint, dass du immer noch insgesamt keine Referenz verwendet hast, sondern nur hinter einem Pointer versteckt und insgeheim doch wieder für alles die Adresse nimmst.
Du hast also nicht "mit Tricks" eine Referenz inkrementiert sondern den Pointer. Die Referenz wird dadurch nicht verändert.

[HumeSikkins]

0xdeadbeef schrieb:

HumeSikkins schrieb:

So schlimm ist es in meiner Situation gar nicht.
Eher so:
if (!filter.get() || (*filter)(entry))
...
Kein else und kein doppelter Boden.

Dass das legaler Code ist, wage ich gerade mal zu bezweifeln

Und wieder urteilst du etwas vorschnell.

class IFilter
{
public:
    virtual bool operator()(const std::string&) = 0;
    ...
};
class Context
{
private:
    std::auto_ptr<IFiler> filter;
};

Und wie du siehst erwarte ich von meiner Policy weder einen operator* noch muss sie der Nutzer per Pointer reingegeben haben (wobei ich das in meinem Fall ja wie im ersten Posting beschrieben derzeit so handhabe).

Wenn filter ein pointer sein und das eigentlich filter->get() heißen soll

Soll es nicht.

musst du NULL-Pointer vorher trotzdem abfangen

Das tut mein Code.

womit wir wieder bei unseren ifs wären.

Ich weiß nicht wo "du" bist, aber ich bin nicht bei "unseren" ifs.

Erzähl mir mehr und ich kann dir was sinnvolleres sagen

Danke für das Angebot, aber in diesem Fall möchte ic1h dann doch lieber darauf verzichten. Das Gesprächsklima ist ehrlich gesagt absolut nicht nach meinem Geschmack.

[peterchen]

mein std::vecor::iterator ist ein zeiger auf T.
Das weißt du aber nicht

[otze]

peterchen schrieb:

mein std::vecor::iterator ist ein zeiger auf T.
Das weißt du aber nicht

doch, habs nachgeschaut :p, benutzen darf ich das wissen aber leider nicht(aufjedenfall nicht ohne zuerst meine magischen traits zu befragen^^)

[0xdeadbeef]

@HumeSikkins: Stimmt, du hast recht - an auto_ptr hab ich grad nicht gedacht. Jetzt gibt der Code auch Sinn.

Wie dem auch sei, im Grunde implementierst du an der Stelle auch nur ne verdeckte Default-policy, die halt nichts macht. Was Pointer angeht, es mag konkrete Anwendungen geben, bei denen du nicht um dynamische Allokation herumkommst (wenn du die policies z.B. aus einer factory beziehen musst), aber auch dann halte ich es designtechnisch für sinnvoller (weil konsistenter), einen Pointer auf eine tatsächliche Instanz zu verlangen und ggf. NULL-Pointer schon im Konstruktor zu asserten. Das im Wesentlichen aus Gründen der Flexibilität (für den Fall, dass die default-policy doch mal was anderes als nichts machen soll). In dem Fall erwartest du aber sowieso, dass die Instanz auf dem Heap liegt, von daher ist foo_policy fp = new foo_default_policy() in der Parameterliste des Konstruktors unkritisch und es gibt überhaupt kein Problem.

[groovemaster]

Optimizer schrieb:

Du hast also nicht "mit Tricks" eine Referenz inkrementiert sondern den Pointer. Die Referenz wird dadurch nicht verändert.

Nee, wie auch. Eine Referenz kann ja nach Initialisierung nicht mehr verändert werden. Mit "tricksen" meinte ich einfach, dass man aus einer Referenz eine neue "inkrementierte" Referenz machen kann, die sich für den Client wie die ursprüngliche Referenz darstellt ohne dabei die Implementierung mit Zeigern offen zu legen. Da dies aber afaik nicht üblich ist, und imo nicht unbedingt sinnig, schrieb ich von einem "schlechten Beispiel".

[Gast]

Jop. Ich habe auch nicht behauptet, zu wissen, ob du das jetzt gut findest oder nicht.
Es geht mir nur einfach darum, dass du die Referenz nicht inkrementiert hast, auch wenn du behauptet hast, dass das "mit Tricks" geht. Ich denke mal, das war das, was otze gemeint hat (um mal den ganzen Stack jetzt wieder abzubauen ).
Und eigentlich gehts ja darum, dass es nicht sinnig ist, mit Gewalt Pointer zu vermeiden, um "sichere" Referenzen ö.ä. zu benutzen.
Darin sind wir uns ja einig.