问题标签 [definitions]

我正在编写一个程序，它读取“.exe”文件并将它们的十六进制值存储在一个字节数组中，以便与包含一系列值的数组进行比较。（就像一个非常简单的病毒扫描程序）

然后我使用 BitConverter 创建了这些值的单个字符串

下一步是在此字符串中搜索一系列值（定义）并返回正数以进行匹配。这是我遇到问题的地方。我的定义是十六进制值，但在记事本中创建并保存为 defintions.xyz

我一直在尝试将它们读入字符串数组并将数组的定义元素与字符串十六进制进行比较

这是作业中的一部分，这就是为什么我没有发布我的整个程序代码的原因。上周五之前我没有使用过 C#，所以此时我很可能会犯一些愚蠢的错误。

非常感谢任何建议:)

我整个晚上都在尝试这样做，但我无法让它工作。

我正在从包含其他 PHP 常量的数据库中提取文本字符串，并尝试将整个内容定义为常量，显示代码可能比解释它更容易：

在这个例子中，$thisConfigItem['contentTag'] 的内容是 WELCOME，$thisConfigItem[LANGUAGE_DEFAULT] 的内容是“Welcome to SITE_NAME”。SITE_NAME 是一个先前定义的常量，其值为“thisSite”。

我希望常量 WELCOME 包含“Welcome to thisSite”。

这可能吗？

干杯安迪

我有一个定义在 Python 中的方法字典。这def在类外部使用对象调用。每当def调用时，我都会返回字典中最后一项的结果。在这种情况下，我返回了def spc_summary:.

有人可以解释一下这里发生了什么吗？让我知道是否需要更多详细信息。谢谢！

让我添加一些细节：functions.get(filename)正在检索最后一个字典项，而不管文件名是什么。我已经完成了这个 =>functions('spc.php')并且它仍然返回了 `def spc_summary' 的结果。那些def不应该有相同的结果。

所以在使用类方法时遇到了一些麻烦。我会发布我拥有的所有信息。我需要为给出的问题编写相关方法。

第一个问题；我需要添加一个名为 disttopoint 的方法，该方法将另一个点对象 p 作为参数并返回两点之间的欧几里德距离。我可以使用 math.sqrt。

测试用例：

第二个问题；添加一个名为 isear 的方法，该方法将另一个点对象 p 作为参数，如果该点与 p 之间的距离小于 epsilon（在上面的类框架中定义）则返回 True，否则返回 False。使用距离点。

测试用例：

第三个问题；添加一个名为 addpoint 的方法，该方法将另一个点对象 p 作为参数并更改此点，使其成为 oint 的旧值和 p 的值之和。

测试用例;

新的 puppet 用户，试图围绕名称空间等等。

我目前正在开发一个名为user. 它在 and 中有一个类unixuser和一个unixgroup类。我将把我的问题限制在创建用户上。unixuser.ppunixgroup.pp

init.pp目前仅包含：

而我只想定义虚拟资源unixuser.pp。unixgroup.pp这样做的功能应该是functions.pp为了可读性。

问题 1：functions.pp应该只包含定义还是应该将定义放在一个类中？所以在代码中，应该functions.pp包含这个：

或者define login不应该在 user::functions 类中？如果是这样，该define行应该是define user::login还是其他？

更进一步，unixuser.pp将包含类似于以下（不完整）节的内容：

如果所有这些都完成了，那么我将realize使用nodes.pp类似realize User::Something['admin'].

问题 2：应该如何让类user::unixuser知道该login功能？这是通过拥有class user::unixuser inherits user::functions或应该拥有include user::functions或class {'user::functions': }或......来完成的吗？

问题 3：基于问题 2，@something当user::unixuser班级与functions.pp.

我试图尽我所能提出这个问题，但如果它仍然有点混乱，我道歉。:)

我必须证明一些正式的东西。有两个函数，获取一些字符串和字符串数组，比较是否匹配，并返回 bool。我想在引理中测试它们，并验证它。在编程中，函数如下所示。

我想在 Coq 中声明一个引理，如果两个函数都返回 true 并证明它，它应该为 true。喜欢

问题：

1）如何定义这些功能？这些不是归纳函数或递归函数（我认为）。他们应该像以下或任何其他选项吗？

2）如何处理子集？比如我该如何处理世界和欧洲的一组国家？请记住，我的要求是该函数获取一个名称和一个字符串数组。

3）Countryname、World、Name、Student这四个元素的类型应该是什么？

我很想获得帮助我在 Coq 中解决此类问题的材料的参考。

谢谢，

维拉亚特

我有点卡住了。我几乎完成了这段代码，但是在尝试使其与 Windows 和 linux 兼容之后，我遇到了这个我无法解决的问题。我在这方面没有太多经验。以下是错误-

............

我有 4 个文件-client.c-

客户端.h-

客户端数据.c-

客户端数据.h-

我对这个领域非常陌生，并且已经查看了其他问题，但我没有在标题中声明和值，它们都是函数原型。所以迷路了！在我添加#ifdef win32 的东西之前一切正常 :( 但是当我试图将它改回来时，它仍然出现了这些错误。

我正在使用 TypesScript，但是当我使用 HTMLCanvasElement 等浏览器类型时编译器会报错。我想我需要这些类型的定义文件。我敢打赌，有一个 DOM 和大多数流行框架的定义文件存储库，但 Google 无法帮助我找到它。

你们知道这样的存储库吗？

我们通常的理解是，javascript 中的函数用于通过一次调用来执行代码块。但是，我目前正在一个包含许多函数的系统中工作，这些函数需要定义许多变量，所以我看到了很多重复代码。我很想将变量声明放在一个函数中，这样它们就不会占用一大堆空间，但是类似的东西甚至可能吗？

我不确定我是否拥有所有能够直接描述问题的术语，但我将如何描述我想知道的内容：

假设我有 A 类和第二个 B 类，它在其方法中使用来自 A 的数据

我很好奇的是，一般来说，做类似的事情是否被认为更好：1。

相对

2.

是否就使用哪种方法达成共识？如果是这样，选择一种方法而不是另一种方法的原因是什么？