如何指示方法永远不会使用代码契约返回null？
在编程中，为了确保方法永远不会使用代码契约返回null，可以采用以下几种方法：
- 使用Optional类：Java 8引入了Optional类，可以用来表示一个值可能存在，也可能不存在。使用Optional类可以避免NullPointerException异常。
Optional<String> optionalName = Optional.ofNullable(name);- 使用Preconditions类：Guava库中的Preconditions类提供了一系列checkNotNull方法，可以用来检查参数是否为null，如果为null则抛出NullPointerException异常。
import com.google.common.base.Preconditions;
public String getName(String name) {
Preconditions.checkNotNull(name, "Name cannot be null");
return name;
}- 使用Objects类：Java 7引入了Objects类，提供了一个非空判断方法requireNonNull，可以用来检查对象是否为null，如果为null则抛出NullPointerException异常。
import java.util.Objects;
public String getName(String name) {
Objects.requireNonNull(name, "Name cannot be null");
return name;
}- 使用assert关键字：在Java中，可以使用assert关键字来编写断言，确保在调试时检查条件是否满足。如果条件不满足，则抛出AssertionError异常。
public String getName(String name) {
assert name != null : "Name cannot be null";
return name;
}- 使用错误处理：可以使用错误处理机制来处理异常情况，例如使用try-catch语句捕获异常并进行处理。
public String getName(String name) {
if (name == null) {
throw new IllegalArgumentException("Name cannot be null");
}
return name;
}通过以上方法，可以确保方法永远不会使用代码契约返回null，从而避免程序出现异常或错误。
相关·内容
我有一个TreeSet<Floor>对象，它存储电梯要访问的楼层。Floor是一个抽象类，它由具体的地板类e.x、FloorOne、FloorTwo等扩展而来。根据逻辑，我的TreeSet<Floor>应该只存储每个Floor子类型的一个实例，但我可以插入每个子类型的多个实例。Floor类实现了Comparable，因此我可以在TreeSet<Floor>中根据楼层的编号对楼层进行排序。以下是类Floor的代码
public abstract class Floor implements Comparable<Floor>{
prote
浏览 0提问于2014-09-26得票数 1
我有一个像这样的方法的接口：
public interface MyInterface {
void myMethod(@Nonnull String userEmail);
}
该接口具有以下实现：
public class MyInterfaceImpl implements MyInterface {
@Override
public void myMethod(@Nonnull String userEmail) {
if ((userEmail== null) || !userEmail.endsWith("something"
浏览 3提问于2021-06-04得票数 3
回答已采纳
在尝试读取从BLOB中获得的InputStream时，如下面的代码一样，InputStream会进入无限期等待状态。
我从运行在Jboss应用服务器上的web应用程序中设置了这些数据，读写工作非常好，问题是使用普通JDBC运行独立的java代码。
环境是JDK6，Oracle10g。
ResultSet rs = this.stmt.executeQuery();
log.println("ResultSetType: " + (rs != null ? rs.getClass() : null));
while (rs != null &&am
浏览 3提问于2012-09-11得票数 2
例如，这个介绍了它们。
好处是什么？
静态分析似乎很酷，但同时也会阻止单元测试中将null作为参数传递的能力。(如果您遵循了本文中的示例，即)
在单元测试的主题上--考虑到现在的情况，如果您已经进行了自动化测试，那么代码契约就没有意义了？
更新
玩了代码合同，我有点失望。例如，根据接受的答案中的代码：
public double CalculateTotal(Order order)
{
Contract.Requires(order != null);
Contract.Ensures(Contract.Result<double>() >= 0);
浏览 10提问于2009-09-05得票数 38
回答已采纳
2回答
我想知道当调用方法返回意外结果时，应该抛出什么异常(.NET中有异常)。
例如，想象一下我有工厂的情况：
public abstract class Factory
{
public A Create()
{
var a = new A();
var b = CreateDependencyOfA();
a.Something = b.Property;
}
protected abstract B CreateDependencyOfA();
}
我记录了该类，并创建了一个假设，即CreateDependen
浏览 1提问于2014-10-02得票数 5
回答已采纳
我有这样的代码：
public class CodeContractSample
{
private readonly List<object> _items = new List<object>();
public IEnumerable<object> Query()
{
Contract.Ensures(Contract.Result<IEnumerable<object>>() != null);
//if (_items == null) throw new Exce
浏览 5提问于2011-01-31得票数 4
回答已采纳
我不断地从web服务中获取数据。
URLConnection connection;
BufferedReader in = null;
try {
SharedPreferences preferences = context.getSharedPreferences(
"MyPreferences", Context.MODE_PRIVATE);
int timeoutConnection = Integer.parseInt(preferences.getString(
浏览 4提问于2014-10-19得票数 1
回答已采纳
2回答
I have a class :
class A
{
private:
vector<int> x;
public:
const vector<int>& immutable_data() {
return x;
}
vector<int>* mutable_data() {
return &x;
}
}
现在，如果我在我的代码中使用这个类，我是否必须检查mutable_data()返回的指针是否为空(假设我知道这个类的结构)。就我个人而言，
浏览 2提问于2013-06-19得票数 1
我有一个实体对象，它通过FK引用了其他实体对象。在我的示例中，batch.Equipment引用了设备实体。如果我试图使用以下代码插入对象：
var batch = new Batch();
batch.Equipment = session.Load<Equipment>(someEquipmentId);
session.Save(batch);
一切正常，但我希望，如果不存在带有someEquipmentId的设备，nhibernate会抛给我ObjectNotFoundException，而是抛出GenericAdoException，表示存在违反外键的行为，这很明显，因为
浏览 5提问于2014-01-22得票数 1
回答已采纳
3回答
代码契约、空检查和值/引用类型
、、、、
更新的post__：为了避免混淆我正在做和不做的事情，我从根本上编辑了这篇文章，以包含一个导致此问题的完整代码示例。为了使这个帖子可读性无论如何，所有的代码张贴在底部。
背景：
我正在编写一个用于测试的流畅界面(我知道已经完成了，但其中一半的目的是学习它是如何工作的……)，在这个界面中，我想用如下代码行验证myNumber在3到10之间
myNumber.ShouldBeLessThan(10).And.ShouldBeGreaterThan(10);
myListOfCars.ShouldNotBeNull().And.ShouldBeA<IEnumerable<Car>
浏览 0提问于2011-03-08得票数 4
1回答
我们正在实现一些web服务，并且需要确保我们的一些方法总是返回非空值。
我们研究了两种方法：
使用代码契约，并使用返回值上的Ensures约束返回默认值。
使用面向方面的编程方法使用PostSharp。
这两种方法都有效，但我想知道是否还有其他方法值得我们考虑。
如何执行非空返回值？
好像有个类似的问题和Contract建议采用代码契约方法。
浏览 0提问于2011-05-29得票数 8
回答已采纳
1回答
我有一段代码，看起来有点像这样：
public TReturn SubRegion(TParam foo)
{
Contract.Requires(foo!= null);
Contract.Ensures(Contract.Result<TReturn>() != null);
if (!CheckStuff(foo))
foo.Blah();
return OtherStuff(foo);
}
CC给我一个警告：
警告301 CodeContracts:考虑添加后置条件Contract.Ensures(Contract.Res
浏览 5提问于2016-04-04得票数 5
回答已采纳
2回答
我一直在WCF中弄脏我的手。现在我想到的一个问题是关于WCF中的错误合同。
我想知道我们为什么需要它。考虑一个示例应用程序，其中我添加了两个数字。
所以在响应中，我有两个字段
结果-成功/错误
错误-错误详细信息(代码+文本)
现在，如果我的WCF服务有任何异常，我可以在catch块中捕获它并将值分配给Response对象
结果-成功/错误
错误-错误详细信息(代码+文本)
那么，错误契约在哪里出现呢？
浏览 17提问于2014-08-08得票数 1
2回答
我对代码契约和linq有问题。我设法将问题缩小到以下代码示例。现在我被困住了。
public void SomeMethod()
{
var list = new List<Question>();
if (list.Take(5) == null) { }
// resharper hints that condition can never be true
if (list.ForPerson(12) == null) { }
// resharper does not hint that condition can never be
浏览 4提问于2010-06-19得票数 2
1回答
基本上，我想知道使用代码契约来确定键是否存在于ConcurrentDictionary中是否是代码契约的可接受使用。我觉得这并不合适，因为它不仅仅是参数检查，因为它依赖于运行时字典的状态。
public class MyClass
{
private ConcurrentDictionary<string, object> someItems =
new ConcurrentDictionary<string, object>();
public object GetItem(string itemName)
{
浏览 0提问于2013-03-16得票数 0
回答已采纳
2回答
我刚开始接触Code Contracts --刚刚开始尝试弄明白它。我刚刚遇到了一些我不确定如何完成的事情：
我有一个私有的只读字段，可以通过一个属性公开“获取”：
private readonly string name;
public string Name
{
get
{
return this.name;
}
}
此字段不应为空，也不应为空，并且不应包含任何空格。因此，我在构造函数中加入了各种“要求”，以确保实现这些功能：
public Thing(string name)
{
Contract.Requires<ArgumentN
浏览 1提问于2015-02-14得票数 3
我使用正常的数据上下文编写了以下代码，效果非常好：
var dc = new myDataContext();
Contract.Assume(dc.Cars!= null);
var cars = (from c in dc.Cars
where c.Owner == 'Jim'
select c).ToList();
但是，当我将过滤器转换为如下扩展方法时：
var dc = new myDataContext();
Contract.Assume(dc.Cars!= null);
var cars = dc.Cars.Wit
浏览 1提问于2010-06-16得票数 6
3回答
我的类中有一组子项目，我有一个公共访问器。我希望提供一个后置条件，以确保集合中的项不是null (我知道，在测试2和3调用方中，调用方可以更改集合，但目前我的目标只是确保从属性返回的集合不包含空项)。
我认为使用假设和ForAll就足够了，但这并没有帮助
下面是我尝试过的3个类的示例代码。除了第一次暴露ReadOnlyObservableCollection，2- ObservableCollection，和3-列表外，所有3例病例都是完全相同的。
- ReadOnlyObservableCollection
class Test1
{
public Test1()
{
_ch
浏览 5提问于2011-11-25得票数 6
还在学习代码契约。当我创建一个小的测试时，我从检查器得到以下消息: CodeContracts:调用这个方法总是会导致错误。如果需要，可以考虑添加Contract.Requires(false)来记录它。
我不明白你想告诉我的是什么。如何将Contract.Requires(false)添加到此示例中，以便不显示警告？
这就是代码。请注意，这是一个人为设计的示例，仅用于学习CC。
void DoSomething(object test) {
Contract.Requires(test != null);
MessageBox.Show(test.ToStr
浏览 0提问于2013-06-23得票数 1
在我的应用程序中，有一个单独的线程，由ScheduledExecutorService.scheduleAtFixedRate()每分钟运行，它解析来自多个网站的rss提要。我正在使用Apache HttpClient来接收xml。
样本代码：
InputStream inputStream = HTTPClient.get(url);
String xml = inputStreamToString(inputStream, encoding, websiteName);
public static String inputStreamToString(InputStream in
浏览 2提问于2017-04-07得票数 2
正如标题所说，下面是一些代码：
- (void)refreshMap {
NSLog(@"refreshing");
[[UIApplication sharedApplication] setNetworkActivityIndicatorVisible:YES];
lat = [[NSNumber numberWithDouble:myUserLocation.coordinate.latitude] stringValue];
lon = [[NSNumber numberWithDouble:myUserLocation.coordina
浏览 3提问于2011-06-06得票数 2
回答已采纳
我正在致力于将C/C++应用程序的输入国际化。我最近遇到了一个从多字节字符串转换为宽字符串的问题。
代码需要跨平台兼容，所以我尽可能使用mbstowcs和wcstombs。
我目前在一台WIN32机器上工作，并且我已经将语言环境设置为非英语语言环境(日语)。
当我尝试转换多字节字符串时，我似乎遇到了一些转换问题。
以下是代码的示例：
int main(int argc, char** argv)
{
wchar_t *wcsVal = NULL;
char *mbsVal = NULL;
/* Get the current code page, in my cas
浏览 15提问于2010-05-18得票数 2
回答已采纳
我是新手，我想更多地了解如何使用可选的
public class UsingOptional {
public static void main(String... args) {
multipleOptional(null, null);
}
public static void multipleOptional(Optional<String> string1, Optional<Integer> string2) {
string1.ifPresent(s -> System.out.println("string1:
浏览 1提问于2019-07-03得票数 0
回答已采纳
1回答
向WCF服务公开现有类库
、、、
我有一个现有的类库，其中包含与我的服务器通信的所有类。我已经创建了一个WCF服务，它将作为不同应用程序域的一部分托管在我现有的服务器上。因为我已经有了这些类，所以我认为它可以在我的WCF服务上公开，以减少我的开发时间。
我成功地托管了我的WCF服务，并在我的开发pc上运行。问题出在添加我的web服务的客户端。它们只能使用我的库的基类。
我如何使我的库的基类之外的所有类都在我的web服务上可用？例如，助手类、从我的基类继承的子类以及在我的泛型集合中使用的其他类。
我的所有类都使用Serializable和DataContract属性进行了修饰。
顺便说一句，我的类库是在3年前创建的，我只是修补了
浏览 0提问于2010-07-05得票数 1
回答已采纳
我需要为函数的依赖项编写一个ACSL规范，该函数将指针作为输入，并在指针为not NULL时使用其内容。我认为这个规范是正确的：
/*@ behavior p_null:
assumes p == \null;
assigns \result from \nothing;
behavior p_not_null:
assumes p != \null;
assigns \result from *p;
*/
int f (int * p);
但我宁愿避免这些行为，但我不知道这是否正确(以及等效的)：
//@ assigns \result
浏览 5提问于2013-06-06得票数 1
回答已采纳
我正在尝试读取一个公司向量，如果两个公司具有相同的名称，则返回true，否则返回false，这是我使用ComapareTo方法完成的。在我的方法中，它将调用类Company中的“equals”方法。我的“equals”方法必须覆盖类对象中相应的方法。
我想知道的是，是否可以使用Equal方法覆盖CompareTo。如果是这样，我如何在main中检查它。
这个程序的目标是检查向量中的两个公司，如果是，则返回true，否则返回false。下面是我在main中测试它的代码。
public class Company implements Comparable <Company> {
/
浏览 0提问于2011-05-12得票数 4
我有两个合同:A和B。
合同B的callFoo()必须调用合同A的方法foo()，如果合同A上存在方法foo()，则callFoo()必须返回true，否则必须返回false。
以下是代码：
pragma solidity >=0.8.14;
contract A {
function foo() external returns(bool) { return true; }
}
contract B {
function callFoo(A _addr) public view returns(bool) {
try _addr.foo() returns(bool
浏览 0提问于2022-05-29得票数 0
回答已采纳
考虑以下代码片段：
object C {
@JvmStatic
fun main(vararg args: String) {
val s: String? = null
check(s != null) {
"The string is null"
}
require(s != null) {
"The string is null"
}
assert(s != null) {
浏览 0提问于2018-11-06得票数 4
回答已采纳
在使用WCF服务时，我遇到了以下问题:从客户端(简单控制台应用程序)调用服务，我无法访问标记为DataContract和ServiceContract的类的方法，即使该方法被标记为。有办法解决这个问题吗？我在这里遗漏了一些要点，我想，但仍然无法处理，需要帮助^^这是一个类的代码：
[ServiceContract]
[DataContract]
public class AmountSpecification : IOrderSpecification
{
[DataMember]
public int Amount {get ; set;}
public Amoun
浏览 4提问于2013-12-24得票数 0
回答已采纳
我有一个从不返回空对象的方法。我想说清楚，这样我的API的用户就不必像这样写代码了：
if(Getxyz() != null)
{
// do stuff
}
我如何才能表现出这种意图？
浏览 3提问于2009-01-27得票数 10
回答已采纳
我想知道如何识别在智能契约中接收到的特定令牌的单位。
我正在构建一个智能契约，它可以接收以太或其他以太令牌，作为交换，接收到的其他令牌将被颁发。
我可以在智能契约中使用哪些代码来识别接收到多少个以太或任何其他令牌？
它应该在什么功能中使用呢？
浏览 0提问于2017-05-02得票数 8
我正在编写一个使用Spring Integration over TCP的缓存服务。我在service class中有一个方法，它使用service-activator调用并从缓存中返回值。我需要在此方法中创建一个异步线程，以防缓存未命中异步加载数据，而调用服务激活器的线程应该立即返回一个空值。服务java方法代码如下。
public Object getValue(Object key){
Object valueObj = cache.get(key);
if(null == valueObj) {
taskExecutor.
浏览 0提问于2017-08-17得票数 0
1回答
我已经在我的Android应用程序Db中添加了一些记录。
然后我尝试检索这些行，但我总是将光标设置在位置-1。
我的语法有什么问题？
public class PhoneDal extends SQLiteOpenHelper {
// Database Version
private static final int DATABASE_VERSION = 1;
// Database Name
private static final String DATABASE_NAME = Constants.DB_NAME;
public static f
浏览 0提问于2014-12-27得票数 0
回答已采纳
我有以下c#代码：
myClaimsIdentity.FindFirst(ClaimTypes.NameIdentifier).Value;
CodeContract知道myClaimsIdentity从来不是空的。但是它抱怨FindFirst(string)方法可能返回null：
警告CodeContracts:可能对空引用调用方法。您期望System.Security.Claims.ClaimsIdentity.FindFirst(System.String)返回非空值吗？
我确实期待这一点，但我如何才能告诉CodeChecker呢？当然，我不能更改FindFirst(string
浏览 2提问于2015-05-11得票数 0
回答已采纳
我找不到明确的答案，而且微软的博士们也不是最伟大的，所以我们来找一个答案，而不是被投进地狱。
考虑一下这个简单的代码：
try
{
if (errMessage.Contains(EXCEPTIONCOMPARISONMESSAGE))
{
//do stuff;
}
}
catch (Exception ex)
{
eventLog.WriteEntry("isAbleConvertToPDF: " + ex.Message, EventLogEnt
浏览 0提问于2017-08-28得票数 0
回答已采纳
有许多信息表明，Contract.ForAll的静态检查只支持有限的或不支持的。
我做了很多实验，发现可以和一起工作
Contract.ForAll(items, i => i != null)
Contract.ForAll(items, p)，其中p是Predicate<T>类型的
it 无法使用：
现场访问
财产存取
方法组(我认为无论如何都会在这里分配委托)
实例方法调用
我的问题是：
ForAll可以使用哪些其他类型的代码？
代码是否减少了，并且在Contract.ForAll(items, i => i !=
浏览 4提问于2015-05-29得票数 12
1回答
下面是我为了让静态分析工具失效而创建的一个示例：
using System.Diagnostics.Contracts;
using System;
namespace ConsoleApplication1
{
class Program
{
static void Main(string[] args)
{
object x = null;
Contract.Assert(x != null);
}
}
}
运行时分析抛出正确的异常，但静态分析构建时甚至没有警告。我已经
浏览 0提问于2013-02-13得票数 0
回答已采纳
ReSharper很聪明，它知道string.Format需要一个不为空的format参数，所以当我只编写一个format参数时，它就会警告我。
_message = string.Format(messageFormat, args);
其中messageFormat确实可以是空的。一旦我为这个变量添加了一个条件：
if (!string.IsNullOrEmpty(messageFormat))
{
_message = string.Format(messageFormat, args);
}
警告就消失了。不幸的是，当我使用扩展方法时，情况并非如此：
if (messageFo
浏览 3提问于2017-10-06得票数 15
回答已采纳
1回答
我使用以下代码来检查S3上是否存在文件。不幸的是，我从来没有得到一个错误。看起来AWS SDK应该返回一个错误，但它没有返回，因为主体是空的，并且不能在S3错误中反序列化。
我该如何解决这个问题？一种解决方案是在响应中检查自己的404，但我找不到使用task这样做的方法。
s3.headObject(headRequest).continue({ task in
task.
if let taskError = task.error {
if let error = task.error as NSError? {
浏览 3提问于2016-12-17得票数 1
代码如下：
private TreeNode GetTopLevelNode(TreeNode childNode)
{
if (childNode == null)
throw new ArgumentNullException("childNode", "childNode is null.");
if (childNode.Parent == null) return childNode;
TreeNode node = childNode;
while
浏览 0提问于2010-01-12得票数 3
回答已采纳
A a = null;
try {
a = setA(); // set A throws exception
} catch (AException e) {
a = null;
}
在上面的代码中，如果发生异常，我是否需要在catch块中使用a = null来确保a为null？
浏览 4提问于2013-01-21得票数 2
回答已采纳
在
ImageIO.write(RenderedImage，String，File)
方法时，ImageOutputStream是通过
#en0#= createImageOutputStream(output);.
在createImageOutputStream中，捕获运行时异常并从catch块返回null。
try {
iter = theRegistry.getServiceProviders(ImageOutputStreamSpi.class,true);
} catch (IllegalArgumentException e) {
浏览 1提问于2014-05-29得票数 2
回答已采纳
我正在尝试设置基本的用户注册，登录，编辑个人资料，查看个人资料页面。目前，注册，登录和编辑配置文件工作正常，我可以写到firestore。然而，我在检索数据时遇到了一些问题，我查看了如何检索数据的代码，但它不适用于我的代码。我有一个user类，它获取用户的当前信息，并设置一些变量，以便我只能从数据库中获取信息一次。但是，当我尝试在profile页面类中构造一个用户并获取信息时，发生的情况是它跳过了get info方法，因为它是异步的，因为嵌套在其中的getCurrentUser是异步的，因为auth.currentuser方法需要是异步的。
所以我知道问题是什么了，我测试了它，并在控制台中获得
浏览 0提问于2019-06-14得票数 1
似乎dialog结果返回一个可空布尔值(bool? )，所以每当使用返回对话框时，您都应该处理null选项(我还在等待.)。
上面的代码(VS2012，ReSharper8)表明左操作数从不为空。知道为什么吗？
bool? dlg_result = some_window.ShowDialog();
bool some_bool = !dlg_result ?? true; // Resharper suggests this won't happen.
这里有一个截图，更容易看到：
编辑：
我查看了resharper文件，似乎ShowDialog在从CommonDialog
浏览 7提问于2014-11-13得票数 2
2回答
我连接到一个Ethereum节点(运行Geth)，我管理并且能够使用RPC连接到它。发出web3后，我可以访问终端中的geth console。我可以访问和运行这里文档中列出的RPC函数调用。我必须在不同的库之间切换，比如webpy和web3.js，所以在这两种库中都可以实现。
给定一个事务哈希，我可以获取事务的详细信息，比如使用web3.eth.getTransaction(transaction_hash)。但我得到的所有细节只包括：hash、input、nonce、from、to、transaction_index、value、v、r、s。
我想知道的是，本网站如何访问传输了多少令牌的其
浏览 0提问于2018-06-12得票数 1
回答已采纳
2回答
我可能误解了代码契约，但这是我的情况。
我有以下代码：
interface IFetch<T> // defined in another DLL
{
T Fetch(int id);
}
interface IUserFetch : IFetch<User>
{
IEnumerable<User> GetUsersLoggedIn ();
}
class UserFetch : IUserFetch
{
public User Fetch(int id)
{
return (User) Databa
浏览 0提问于2012-01-13得票数 8
回答已采纳
我有一些使用MIPS编译器从SGI系统移植过来的代码。它具有声明为具有双返回类型的函数。如果函数找不到正确的双精度值，这些函数将返回"NULL“
英特尔C编译器不喜欢这样，但我想看看是否有一个编译器选项来启用这个“功能”，这样我就可以在不更改代码的情况下进行编译。我查看了手册页，似乎找不到它。
谢谢
当前存在的代码示例，可以很好地使用MIPS
double some_function(int param){
double test = 26.25;
if(param == 10){
return test;
}
return (NULL);
}
英特尔编译器
浏览 1提问于2010-05-28得票数 2
回答已采纳
2回答
泛型参数何时不能为空
、、、、
在泛型GetHashCode(T foo)方法中，我检查foo是否为null。然而，我只是偶然发现了一个奇怪的Resharper警告。
在下面的代码中，foo永远不能为null吗
private class FooComparer<T> : IEqualityComparer<T> where T: Foo
{
public int GetHashCode(T foo)
{
// resharper warning: "Expression is always false"
if (Object.Refe
浏览 5提问于2012-09-17得票数 5
回答已采纳
3回答
基于的文档
返回此线程的标识符。线程ID是在创建此线程时生成的正长号。线程ID是唯一的，在其生存期内保持不变。当线程终止时，可以重用此线程ID。
但是，在什么情况下，线程ID将被重用？查看，获取下一个线程ID的方法只会增加一个静态long：
private static synchronized long nextThreadID() {
return ++threadSeqNumber;
}
我不明白这段代码将如何重用旧ID，除非通过重用，它们只是意味着递增的long最终会返回到以前的值(但这是没有意义的，因为long在这样做之前会变成负值--这会破坏文档)。
简单地说，问题
浏览 1提问于2016-11-11得票数 3
回答已采纳
3回答
我正在为microsoft代码契约使用3.5库
public object RetrieveById(int Id)
{
//stuff happens...
Contract.Ensures(newObject != null, "object must not be null");
return newProject;
//No error message if I move the Contract.Ensures to here
//But it isn't asserting/throwing a contrac
浏览 5提问于2010-05-21得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
