我想强制一个结构对于某个合同始终有效,由构造函数强制执行.但是默认运算符违反了合同.
请考虑以下情况,例如：
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
作为一种解决方法,我将结构更改为类,因此我可以确保在初始化新实例时始终调用构造函数.但我想知道,是否绝对没有办法获得与结构相同的行为？
解决方法
一种方法是安排事情,以便默认值满足合同：
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;
}
}
