内容来源于 Stack Overflow,并遵循CC BY-SA 3.0许可协议进行翻译与使用
我真的不明白什么时候该使用它们。
试试这样
public void Write(TextWriter tw, object o) { if(tw == null) { throw new ArgumentNullException("tw"); } if(o == null) { throw new ArgumentNullException("o"); } tw.WriteLine(o.ToString()); }
你应该用
public void Write(TextWriter tw, object o) { Contract.Requires(tw != null); Contract.Requires(o != null); tw.WriteLine(o.ToString()); }