Frage über [Pure] Methoden

Question

Ist die folgende Methode rein? Ich würde es so sagen, da sich die aktuelle Klasse sowieso nicht ändert, also kann alles, was wir jetzt in der Klasse "sehen" können, bevor diese Methode ausgeführt wird, immer noch genauso sein. Hab ich recht?

class Set { 
    ... 
    public ISet<T> UnionWith(ISet<T> set) { 
     ISet<T> unionSet = ... 

     foreach (Element element in this) { 
      unionSet.Add(element); 
     } 

     foreach (Element element in set) { 
      unionSet.Add(element); 
     } 

     return unionSet; 
    } 
} 

Answer 1

Wenn von [Pure] Sie mit dem Pure Attribute von System.Diagnostics.Contracts markiert bedeuten, die Dokumentation sagt:

Reine Methoden machen keine sichtbaren Zustandsänderungen.

Da Ihre Methode erscheint alle sichtbaren Zustandsänderungen nicht machen (das heißt keine Nebenwirkungen), wäre es für das [Pure] Attribut qualifizieren.