Aus der MSDN Hotline: Eager and Lazy Evaluation in einer if/else - Bedingung

Question

Hallo zusammen,

heute wurde uns bei der MSDN Hotline unter anderem folgende Frage gestellt:
Kann man den folgenden Code nicht irgendwie schöner formulieren?

if (obj != null){
 if (obj.Module != null){
  obj.Module.Execute();
 }
}

Zum Beispiel so:

if (obj != null && obj.Module != null){
 obj.Module.Execute();
}

Dieser Code wird aber ein NullReferenceException werfen bei der Auswertung von dem zweiten Teil (obj.Module != null), wenn obj == null ist.

Geht das irgendwie anders?

Unsere Antwort bzw. unser Lösungsvorschlag darauf war:
Der zweite Code wird eigentlich kein Exception werfen. Die C# Operatoren && und || arbeiten nach dem Prinzip vom Lazy Evaluation [1]. Das heißt, ein Ausdruck wird erst dann ausgewertet, wenn seinen Wert unbedingt notwendig ist. In dem Beispiel (obj != null && obj.Module != null) ist die Auswertung von (obj.Module != null)-Teil nur dann notwendig, wenn (obj != null) true zurückliefert. Wenn (obj != null) false zurückliefert, dann ist der gesammten Ausdruck falsch, egal was der Wert von dem zweiten Teil ist. Dann wird diesen auch nicht ausgewertet.

Die Operatoren & und | arbeiten nach dem Prinzip von Eager Evaluation [2]. Diese Operatoren werden den zweiten Teil auswerten, unabhängig davon, was der Wert von dem ersten Teil des Ausdrucks ist. Wenn man in dem Beispiel oben den &-Operator anstatt von && verwendet, wird ein Exception geworfen.

Mehr Informationen über lazy und eager Evaluation findet man auf den folgenden Webseiten:

1. Wikipedia: Lazy Evaluation
2. Wikipedia: Eager Evaluation

Viele Grüße,
Atanas Dimitrov
MSDN Hotline für MSDN Online Deutschland

Disclaimer:
Bitte haben Sie Verständnis dafür, dass wir hier auf Rückfragen gar nicht oder nur sehr zeitverzögert antworten können.
Bitte nutzen Sie für Rückfragen oder neue Fragen den telefonischen Weg über die MSDN Hotline: http://www.msdn-online.de/Hotline 


Es gelten für die MSDN Hotline und dieses Posting diese Nutzungsbedingungen, Hinweise zu Markenzeichen sowie die allgemein gültigen Informationen zur Datensicherheit sowie die gesonderten Nutzungsbedingungen für die MSDN Hotline.

Answer 1

Die C# Operatoren && und || arbeiten nach dem Prinzip vom Lazy Evaluation [1].

zur Vollständigkeit,
MS spricht da bei C#  im speziellen von:
"short-circuit" evaluation  ("Kurzschlussauswertung")
http://msdn.microsoft.com/de-de/library/2a723cdk.aspx

Wikipedia
http://en.wikipedia.org/wiki/Short-circuit_evaluation

Answer 2

Hier auch weitere Informationen zur "Lazy Computation in C#" des Kollegen Tomas Petricek:

[MVP-Submitted: Lazy Computation in C#]
http://msdn.microsoft.com/en-us/vcsharp/bb870976.aspx

________________

by the way: Anderer Bereich: Zum den Zugriff und das Importieren von trägen Exporten (Lazy Exports) und Zugreifen auf Metadaten zu ermöglichen, nutzt das MEF eine neue API von .NET Framework 4: System.Lazy<T>. Diese API erlaubt das Verzögern der Instanziierung einer Instanz, bis auf die Value-Eigenschaft des Lazy-Elements zugegriffen wird. MEF erweitert Lazy<T> außerdem um Lazy<T,TMetadata>, um den Zugriff auf Exportmetadaten zuzulassen, ohne dass der zugrunde liegende Export instanziiert wird.

---

ciao Frank