何时在构造函数上使用[Pure]？

我正在学习.NET中的代码协定，并且试图了解纯构造函数的概念。该代码合同文档状态：

合同中调用的所有方法都必须是纯函数。也就是说，它们不得更新任何先前存在的状态。允许使用纯方法修改进入纯方法后创建的对象。

并且PureAttribute文档指出：

指示类型或方法是纯类型，即，它不进行任何可见状态更改。

对于方法，我理解这些语句，但是构造函数呢？假设您有一个像这样的课程：

public class Foo
{
    public int Value { get; set; }

    public Foo(int value) {
        this.Value = value;
    }
}

显然，此构造函数确实会影响新Foo对象的状态，但是它没有其他副作用（例如，它不操纵任何参数或调用任何非纯方法）。这是候选人[Pure]吗？[Pure]在构造函数上放置属性的意义是什么？何时应该在自己的代码中执行此操作？

您使用以下方法装饰方法[Pure]：

• 如果该方法没有副作用。例如，如果该方法访问数据库并对其进行修改，或者其结果取决于数据库，则它不是纯粹的。

• 并且如果您希望在代码合同中使用它。例如，如果该方法是pure方法，但是您无意在代码契约中使用它，那么添加[Pure]将没有任何好处，也不会使您的代码更快。

就构造函数而言，看起来它们在.NET中被视为纯函数，不需要显式属性。我查看了.NET Framework源代码中的几个构造函数，例如DateTime，它们没有[Pure]属性。

我认为这样做是出于以下几个原因：

• [Pure]仅仅为了能够在合同中使用类/结构而不得不编写具有属性的无参数构造函数可能太不切实际。

• 有些，例如String，没有显式的构造函数。

• 构造器甚至在外部代码合同中也得到特殊待遇；例如，您不应该在其中抛出异常。

• [Pure]只是为了简化您的生活而制定的约定，但是没有实际的静态检查来确保用此属性修饰的方法是纯净的。void DestroyDatabase()可能被修饰为纯净，并且代码合同不会发现任何错误。

  当前，代码合同中没有组件可检查声明为pure的方法是否确实为pure。因此，如果程序员用[Pure]装饰了方法，那就相信了。

  ^{从代码合同5：方法纯度}

• .NET Framework本身包含不纯的构造函数。例如，List<T>(IEnumerable<T> collection)如果循环遍历集合有副作用，则实际上是不纯的。

• 合同喊叫要保持简单。我可以轻松地想象一个诸如的合同Contract.Requires(!string.IsNullOrEmpty(name))，因此有充分的理由声明静态string.IsNullOrEmpty纯。

  另一方面，如果您需要a StringBuilder来构建字符串，然后通过调用业务类的实例方法来检查某些内容，则可能是在滥用合同。这就是为什么StringBuilder.ToString即使它可能不是也未标记为纯（是吗？）的原因

在这种情况下，除非构造对象，否则无法使用该对象。因此，构造函数是纯净的。如果构造函数调用了其他代码或调用了委托，而其他代码修改了mutable属性，那么它将不是纯粹的。为了更安全，最好使属性不变。