Ursprung von "Eine Methode sollte einen Wert zurückgeben oder Nebenwirkungen haben, aber nicht beides"

Ich habe einmal gelesen, dass eine Methode entweder einen Rückgabewert haben sollte (und referenziell transparent sein sollte) oder Nebenwirkungen haben sollte, aber nicht beides. Ich kann keine Verweise auf diese Regel finden, möchte aber mehr darüber erfahren.

Woher stammt dieser Rat? Aus welcher Person oder Gemeinschaft ist es entstanden?

Zusätzliche Gutschrift: Welche Vorteile ergeben sich aus der Befolgung dieses Hinweises?

Laut Greg Young stammt diese Idee von Bertrand Meyer : Trennung von Befehlen und Abfragen .

Jede Methode sollte entweder ein Befehl sein, der eine Aktion ausführt, oder eine Abfrage, die Daten an den Aufrufer zurückgibt, jedoch nicht beide. Mit anderen Worten, das Stellen einer Frage sollte die Antwort nicht ändern . ¹ Formal sollten Methoden nur dann einen Wert zurückgeben, wenn sie referenziell transparent sind und daher keine Nebenwirkungen aufweisen.

1: Eiffel: eine Sprache für die Softwareentwicklung Folie 43-48

Im domänengetriebenen Design ähnelt dies der von Greg Young genannten Trennung / Segregation (Command-Query-Read Separation / Segregation, CQRS).

Greg Young übernahm die Idee von CQS von Bertrand, um CQRS zu benennen, wie dies von Martin Fowler in diesem CQRS-Artikel erwähnt wurde

Leistungen

• Der Read (Query) -Teil kann anders skaliert / angepasst werden als der Write (Command) -Teil. Eine Trennung der beiden würde verhindern, dass sich beide gegenseitig im Weg stehen, wenn Optimierung / Leistung entscheidend sind.

Lesen Sie den Artikel im Martin Fowler Link für mehr.

Ich weiß nicht, woher es kommt, aber es ist ein guter Rat und ziemlich einfach zu verstehen.

Jedes sorgfältig gestaltete Programm wird in verschiedene Teile zerlegt, kombiniert und auf verschiedene Arten komponiert. Je schwieriger es ist zu überlegen, was ein bestimmtes Teil tut, desto schwieriger wird es, sicherzustellen, dass Ihr Programm auf vorhersehbare Weise reagiert.

Das Isolieren der Teile, die Nebenwirkungen hervorrufen, erleichtert das Überlegen, Testen und Debuggen des Rests. Wenn Sie die Anzahl der Nebenwirkungen in jedem Teil reduzieren, die Nebenwirkungen hervorrufen, können Sie mit diesem Teil auf die gleiche Weise leichter arbeiten.

Wenn Sie es noch weiter zerlegen, ist ein Rückgabewert ein Effekt. Nebenwirkungen sind ein Effekt. Eine Funktion sollte nur einen Effekt erzeugen (wenn möglich), da es umso schwieriger ist, zu überlegen, was sie tatsächlich tut, je mehr Eingänge und Effekte eine Funktion hat.

Zusätzliche Gutschrift: Was ist der ursprünglich geltend gemachte Vorteil, wenn Sie diesen Rat befolgen?

Einer der Vorteile der Trennung von Rückgabewert und Nebenwirkungen besteht darin, dass ein potenzielles Problem behoben wird, das durch die Kurzschlussbewertung verursacht werden kann .

bool FooWithSideEffect() {
    // do query
    // do side effect
    return resultOfQuery;
}

bool BarWithSideEffect() {
    // do query
    // do side effect
    return resultOfQuery;
}

void BadShortCircuitEvaluation()
{
    // the programmer's intent is to have side effects of both functions
    if (FooWithSideEffect() && BarWithSideEffect() ) {
        // do something
    }

    // in case FooWithSideEffect() returns true, 
    // then BarWithSideEffect() is not called at all
    // because of short-circuit evaluation
}