问题列表 - 第7811页

托管可扩展性框架(MEF)和托管AddIn框架(MAF,又名System.AddIn)似乎完成了非常类似的任务.根据这个Stack Overflow问题,MEF是System.Addin的替代品吗？,你甚至可以同时使用两者.

你什么时候选择使用一个与另一个？在什么情况下你会选择同时使用它们？

如何在Coq中证明（forall x，P x / \ Q x）->（forall x，P x）？尝试了几个小时，无法弄清楚如何将前项分解为Coq可以消化的内容。（显然，我是新手：）

我正在开发一个项目,我正在使用SOAP Web服务验证来自用户的信息.我目前正在处理错误,假设我收到来自Web服务的响应,但还需要处理服务超时或不可用的边缘情况.

在超时或服务不可用的情况下,我需要假装请求成功(Web服务批准了该信息),但我不清楚抛出了什么异常.

一些伪代码:

// $client is PHP's SoapClient class
try {
  $response = $client->SomeSoapRequest();
}
catch(SoapFault $e){
  // handle issues returned by the web service
}
catch(Exception $e){
  // handle PHP issues with the request
}

我似乎无法找到的是:

1. 超时是一个SoapFault吗？如果是这样,区分超时错误和Web服务问题(如类型错误等)的最佳方法是什么？我发现一个页面提到了一个错误,其中消息是"错误加载标题"的效果,但没有提到这是否是Soap错误.
2. 服务不可用性如何可能发生？PHP异常似乎有意义(从Web服务返回SoapFault,其中不可用性是套接字问题或类似问题)？
3. 是否存在可以测试超时的现有服务(例如示例)？大多数与超时相关的讨论似乎与通过扩展默认超时设置来防止超时有关,这在这种情况下并不理想.

我有以下内容:

KeyValuePair<string, string>? myKVP;
// code that may conditionally do something with it
string keyString = myKVP.Key;  
// throws 'System.Nullable<System.Collections.Generic.KeyValuePair<string,string>>' 
// does not contain a definition for 'Key'

我确信这有一些原因,因为我可以看到该类型可以为空.是因为我试图在null可能导致坏事发生时访问密钥？

我可以在Windows上嵌入C++应用程序吗？

我需要典型浏览器的所有功能(HTTP客户端,cookie支持,DOM样式HTML解析器,JavaScript引擎),除了渲染.因为我不需要渲染功能(而且这是浏览器的相当大的一部分),我宁愿使用非单片设计的浏览器,所以我不必将渲染内容包含到我的项目中.

如果它有C++而不是C API会很好.

我需要这个嵌入式浏览器主要是因为我很难找到可以像浏览器一样处理破坏的HTML的C++ HTML解析器.
如果您知道任何问题,请回答图书馆建议:C++ HTML Parser SO问题或至少投票,以增加有人给出一个好答案的机会.

以此查询为例:

select * from publisher 
where id not in (
    select publisher_id from record 
    where year = 2008 and month = 4
)

任何人都可以帮助我如何使用NHibernate构建和运行此查询？假设我有两个类:Publisher和Record.

谢谢

现在我有一个简单的类来处理将XML文件解析为对我有用的int.看起来像这样:

int* DataParser::getInts(){
    *objectNumbers = new int[getSize()];
    for (int i=0;i<getSize();i++){
            objectNumbers[i]=activeNode->GetNextChild()->GetContent();
    }
    return objectNumbers;
 }

在该计划的主要部分,我通过以下方式收到:

int* numbers= data->getInts();
///Do things to numbers[]
delete numbers;

一切正常,直到删除命令,崩溃一切.这样做的正确方法是什么？

我有这个简单的代码,记录将日志附加到文本文件:

    public static void RecordToFile(string filename, Log log)
    {
            TextWriter textWriter = new StreamWriter(Constants.APP_PATH + 
                "\\" + filename, true);
            textWriter.WriteLine(log.ToString());
            textWriter.Close();
    }

这在Windows窗体应用程序中完美运行.但是,使用instsrv和srvany技巧,我将其作为Windows服务.该服务运行正常,访问数据库,执行查询和所有...除了这个StreamWriter.日志不会得到应有的更新.有什么想法吗？

我试图显示和隐藏一些表单字段,具体取决于我的一个选择字段的值.我希望使用数组来保存应该显示的内容和不应该为每个选择值显示的内容,以便从庞大的switch语句中保存,但无法弄清楚如何执行它.

我正在使用PHP和jQuery.任何帮助都会很棒.

有没有办法隐藏IE中下拉菜单的边框(使其看起来平坦,融入背景)？在Firefox中,将边框设置为0px非常简单,但即使将边框设置为0px,IE仍会呈现边框.