小编Pal*_*lec的帖子

如何实现rule1成功iff rule2返回两个或更多结果？

rule1(X) :-
    rule2(X, _).

如何计算结果,然后设置何时成功的最小值？

我有一个结构，如

typedef struct
{
    int a;  // Let's say this ends up being 4 bytes
    int b;  // 4 bytes
    char text[10]; // 10 bytes
} blah_t;

static blah_t myvar;

1. 假设字段的大小之和为18个字节blah_t，但sizeof(blah_t)由于填充而为20 个字节。
2. 该myvar是静态的，因此这将是零初始化。

题：

1. 对于静态变量，填充字节19和20是否保证为0？如果不是，我将需要使memset(&myvar, 0, sizeof(blah_t))任何memcmp结构有效-即使是静态变量也是如此。
2. 那calloc(1, sizeof(blah_t))呢 字节19和20是否保证为零？我相信情况就是如此。

定义一个函数

   pairMaybe :: Maybe a -> Maybe b -> Maybe (a,b)

Run Code Online (Sandbox Code Playgroud)

产生一个Just仅当两个参数都是结果Just,并且Nothing如果任一参数是Nothing.

我想出来:

pairMaybe (Just a) (Just b) = Just (a,b)
pairMaybe (Just a) Nothing = Nothing
pairMaybe Nothing (Just b) = Nothing

我不确定这是否是正确的写作方式.这有什么问题或者这是定义这个功能的方法吗？

另外我想我可能想要更好地解释这个函数实际上可以做什么,所以如果我pairMaybe用两个参数调用,它们可以是什么参数？当然,他们必须是类型Maybe,但什么是一个很好的例子？

我有两台电脑.我在两台计算机上配置了Web服务器,两者都正常工作.现在我想使用第二个访问第一个URL file_get_contents().

第一个网址:

http://46.7.234.111:8080/server/test_curl.php

第二个网址:

http://spicegururathgar.ie/client/test_curl.php

访问第一个URL的代码:

$url = "http://46.7.234.111:8080/server/test_curl.php";
$url = 'http://' . str_replace('http://', '', $url); // Avoid accessing the file system
$opts = array('http' => array('header' => "User-Agent:MyAgent/1.0\r\n"));
$context = stream_context_create($opts);
$header = file_get_contents('$url', false, $context); // Not working
//$header = file_get_contents('http://wordpress.org/plugins/about/readme.txt', false, $context); // Working Fine

Apache错误日志:

[27-Dec-2013 08:31:12 UTC] PHP Warning:  file_get_contents(http://46.7.234.111:8080/server/test_curl.php) [<a href='function.file-get-contents'>function.file-get-contents</a>]: failed to open stream: Connection timed out in /home/spicegur/public_html/client/test_curl.php on line 6

因为我可以访问其他文件,file_get_contents()但不能使用我想要的文件.所以请帮我解决这个问题.

我检查了两台服务器上的所有PHP配置,但是如果有人想检查,请使用以下URL:

1. http://46.7.234.111:8080/phpinfo.php
2. http://spicegururathgar.ie/phpinfo.php

请忽略文件名;)

我只是在尝试从spicegururathgar.ie …

我需要对字符串进行一些操作(比如在某些地方添加字母).我不知道它的大小,取决于输入.

如何定义字符串而不指定其大小？我希望它适应我放在里面的任何内容.

为什么我不能只将空char *方法传递给方法？编译器不允许这样做.

根据答案,我明白我无法创建无限大小的字符串.但是,例如,当我尝试创建char arr[100]并且我的字符串的长度只有8个字符时,当我打印时,arr我得到了更多的字母然后我想要.其中一些甚至不是字符串的一部分.怎么可能？

我正在研究C编程中的上下文切换,并在Internet上找到了以下示例代码.我试图弄清楚是否只有makecontext()函数可以触发一个做某事的函数.的其他功能,例如setcontext(),getcontext()和swapcontext()用于设置的上下文.

该makecontext()直到改变致力于其附加的功能和它的参数(一个或多个)的情况下,确实功能棒的背景下所有的时间？

  1 #include <stdio.h>
  2 #include <stdlib.h>
  3 #include <ucontext.h>
  4 #define MEM 64000
  5 
  6 ucontext_t T1, T2, Main;
  7 ucontext_t a;
  8 
  9 int fn1()
 10 {
 11   printf("this is from 1\n");
 12   setcontext(&Main);
 13 }
 14 
 15 void fn2()
 16 {
 17   printf("this is from 2\n");
 18   setcontext(&a);
 19   printf("finished 1\n");
 20 }
 21 
 22 void start()
 23 {
 24   getcontext(&a);
 25   a.uc_link=0;
 26   a.uc_stack.ss_sp=malloc(MEM);
 27 …

我想在日期选择器中禁用当前日期之前的日期.这该怎么做？

$(function() {
  var $dp1 = $("#datepicker1");
  $(document).ready(function() {
    $dp1.datepicker({
      changeYear: true,
      changeMonth: true,
      dateFormat: "yy-m-dd",
      yearRange: "-100:+20",
    });
  });
});

$(function() {
  var $dp2 = $("#datepicker2");
  $(document).ready(function() {
    $dp2.datepicker({
      changeYear: true,
      changeMonth: true,
      yearRange: "-100:+20",
      dateFormat: "yy-m-dd",
    });
  });
});

p.pfield-wrapper input {
  float: right;
}
p.pfield-wrapper::after {
  content: "\00a0\00a0 "; /* keeps spacing consistent */
  float: right;
}
p.required-field::after {
  content: "*";
  float: right;
  margin-left: -3%;
  color: red;
}

<link href="https://ajax.googleapis.com/ajax/libs/jqueryui/1.10.3/themes/smoothness/jquery-ui.css" rel="stylesheet"/>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.0.2/jquery.min.js"></script>
<script src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.10.3/jquery-ui.min.js"></script>
<p class="pfield-wrapper …

我something.js.tt使用Knockout和一堆something-else.ttHTML文件处理一堆JavaScript 文件.

该基础架构主要是带有Perl服务API的C后端,我们使用这些.tt文件来显示HTML并.js.tt提供Knockout.js代码.什么是.tt？

如果终结点的域仍使用 CNAME 记录指向前门，则 Azure 前门不允许删除前端终结点。即使只有验证域 (afdverify)，情况也是如此。

409 冲突
无法删除前端终结点“www.example.com”，因为它仍然直接或间接（使用“afdverify”前缀）CNAME 到前门“example.azurefd.net”。请删除 DNS CNAME 记录并重试。

虽然我讨厌无法删除这样的前端，但有一种方法可以解决这个问题，即使 Front Door 所有者无法更改 DNS 区域 - 只是不要将前端端点分配给任何路由规则并且别介意；它只消耗了开发人员的一点注意力，这使得它在某种程度上可以忍受。

问题在于这样的前端甚至阻止了整个前门的删除，这反过来又阻止了整个资源组的删除。

为什么这是一个问题？假设单个订阅由整个开发团队共享，并且有人创建了一个 Front Door 实例进行实验，使用自己的域，然后离开了团队。现在，资源会消耗金钱，因为默认前端端点必须至少有一个路由规则，并且路由规则按时间单位付费，并且没有明显的方法可以摆脱它。

除了联系 Microsoft 支持人员或请求域所有者删除指向 Front Door 的记录之外，还有其他方法可以删除此类 Front Door 实例吗？

在下面的代码段中free(x),为什么会y变为0？

根据我的理解,堆中被指向x并且仍然被指向的内存y尚未分配给其他人,那么如何将其更改为0？

此外,我认为不会free(x)将其改为0.

任何意见？

#include <stdio.h>

int main(int argc, char *argv[])
{
    int *y = NULL;
    int *x = NULL;

    x = malloc(4);
    *x = 5;

    y = x;
    printf("[%d]\n", *y); //prints 5

    free(x);

    printf("[%d]\n", *y); //why doesn't print 5?, prints 0 instead

    return 0;
}