问题列表 - 第18087页

这是静态合同检查器中的错误吗?

如果我写这个:

public sealed class Foo
{
    private int count;
    private object owner;
    private void Bar()
    {
        Contract.Requires(count > 0);
        Contract.Ensures(owner == null || count > 0);

        if (count == 1)
            owner = null;
        --count;
    }
}
Run Code Online (Sandbox Code Playgroud)

静态合同检查器可以证明所有断言.

但如果我写这个:

public sealed class Foo
{
    private int count;
    private object owner;
    private void Bar()
    {
        Contract.Requires(count > 0);
        Contract.Ensures(owner == null || count > 0);

        --count;
        if (count == 0)
            owner = null;
    }
}
Run Code Online (Sandbox Code Playgroud)

它声称后置条件owner == null || count > …

.net code-contracts

6
推荐指数
1
解决办法
139
查看次数

Python:获取和操作(作为整数)浮点数的位模式

在Python V.2.5.4中,我有一个浮点数,我想获取并操作(作为整数)浮点数的位模式.

例如,假设我有

x = 173.3125
Run Code Online (Sandbox Code Playgroud)

在IEEE 754格式中,x的位模式(十六进制)是x.

如何在该位模式上获取和操作(例如,执行按位操作)?

python floating-point bit-manipulation

12
推荐指数
2
解决办法
6087
查看次数

jQuery:你如何测试一个类*缺席*?

鉴于这是查看'this'是否已选择"类"的正确方法:

if ($(this).hasClass('selected')) {
   // logic goes here
}
Run Code Online (Sandbox Code Playgroud)

测试缺少课程的正确方法是什么?

也就是说,我如何测试'this'是否没有 '选择'类?

jquery css-selectors

1
推荐指数
1
解决办法
957
查看次数

从ac#ASP.NET应用程序创建和保存文本文件

我希望能够创建一个文本文件,让用户将其保存到自己的PC中.目前我必须这样做:

StreamWriter sw;
sw = File.CreateText("C:\\results.txt");
Run Code Online (Sandbox Code Playgroud)

哪个obv保存在Web服务器上但是如何用链接到自己的计算机替换该字符串?我看了SaveFileDialog,但它似乎只适用于Windows Forms而不是ASP站点,有什么建议吗?

提前致谢

c# asp.net

2
推荐指数
1
解决办法
2892
查看次数

VisualSVN有免费的替代品吗?

是否有VisualSVN(用于颠覆控制的Visual Studio 2008插件)的免费替代品?Visual Studio Express 2008支持非常棒.

svn visualsvn ankhsvn visual-studio

9
推荐指数
3
解决办法
7478
查看次数

SQL加入参数问题

我之前问过这个问题:

如何在两个日期之间的SQL中恢复整个日期范围,即使没有数据?

但我现在只需要选择状态为"E"的紧急事件.

我不能把WHERE status ='E',因为这将阻止它返回每个日期的条目.

我怎么解决这个问题?

sql-server

0
推荐指数
1
解决办法
58
查看次数

泛型类的通用集合?

我有一个从数据库中填写的类:

public class Option<T>
{
  public T Value { get; set; }
  public T DefaultValue { get; set; }
  public List<T> AvailableValues { get; set; }
}
Run Code Online (Sandbox Code Playgroud)

我想要一个他们的集合:

List<Option<T>> list = new List<Option<T>>();
Option<bool> TestBool = new Option<bool>();
TestBool.Value = true;
TestBool.DefaultValue = false;
list.Add(TestBool);
Option<int> TestInt = new Option<int>();
TestInt.Value = 1;
TestInt.DefaultValue = 0;
list.Add(TestInt);
Run Code Online (Sandbox Code Playgroud)

它似乎不起作用.想法?

c# generics collections

4
推荐指数
2
解决办法
613
查看次数

布尔查询

如果:

x = 0
b = x==0
Run Code Online (Sandbox Code Playgroud)

我打印它会打印'真'

但如果我做了:

x = 0
b = x == 3

我印的是假的.而不是它打印假如何我将采用布尔值'b'来打印我想要的文本?

让我进一步解释一下:

bool = all(n > 0 for n in list) 

if bool != 'True':
    print 'a value is not greater than zero'
Run Code Online (Sandbox Code Playgroud)

但它什么都不打印?

python syntax boolean

-2
推荐指数
2
解决办法
526
查看次数

C#-Excel互操作性

我想从C#4.0(VS 2010 Express Edition)调用Excel Sheet.

当我宣布时,

Microsoft.Office.Interop.Excel.ApplicationClass excel =
    new Microsoft.Office.Interop.Excel.ApplicationClass();

excel.Visible = true;
Run Code Online (Sandbox Code Playgroud)

我收到错误了

无法嵌入Interop类型"Microsoft.Office.Interop.Excel.ApplicationClass".请改用适用的界面.

什么是灵魂?

excel c#-4.0

24
推荐指数
2
解决办法
3万
查看次数

jquery ajax不起作用

嘿,我试图在ajax请求后更改div的html,ajax请求有效.数据是正确的,但选择器似乎无法找到div

这是代码

$(".home .up_0").click(function(){
  $.post("includes/vote.php",   
        {
         truc : $(this).attr("id")
        },
       function(data){ 
        if(data=='fail') 
        {
          alert("Error.");
        }
        else
        {
          $(this).parents('.home').find('.score_neutre').html(data);
        }
       }
  );
});
Run Code Online (Sandbox Code Playgroud)

ajax jquery

0
推荐指数
1
解决办法
765
查看次数