如何在结构中强制执行合同

Question

我想强制一个结构对于某个合同始终有效,由构造函数强制执行.但是,default运营商违反了合同.

请考虑以下情况,例如:

struct NonNullInteger
{
    private readonly int _value;

    public int Value
    {
        get { return _value; }
    }

    public NonNullInteger(int value)
    {
        if (value == 0)
        {
            throw new ArgumentOutOfRangeException("value");
        }

        _value = value;
    }
}

// Somewhere else:
var i = new NonNullInteger(0); // Will throw, contract respected
var j = default(NonNullInteger); // Will not throw, contract broken

作为一种解决方法,我将结构更改为类,因此我可以确保在初始化新实例时始终调用构造函数.但我想知道,是否绝对没有办法获得与结构相同的行为？

Answer 1

我不知道你怎么能这样做,因为,与一个类不同,一个struct总是有一个默认的无参数构造函数 ; 给定结构的编写方式,不能阻止值0:

结构不能包含显式无参数构造函数.Struct成员会自动初始化为其默认值.

Answer 2

一种方法是进行安排，使默认值满足合同：

struct NonNullInteger
{
    private readonly int _valueMinusOne;

    public int Value
    {
        get { return _valueMinusOne + 1; }
    }

    public NonNullInteger(int value)
    {
        if (value == 0)
        {
            throw new ArgumentOutOfRangeException("value");
        }

        _valueMinusOne = value - 1;
    }
}