问题标签 [definitions]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
isabelle - 为什么我对从有限集中选择元素的函数的定义不一致?
我想推理从有限集中选择一个元素的函数。
我试图定义一个谓词,告诉我某个给定函数是否是这样的“选择器”函数:
实际上,我想从中选择元素的那些有限集是具体类型,但是将具体类型放在'a
' 位置会导致同样的麻烦。
我也尝试省略finite A
,但我正在处理的集合是有限的,我什至不想在这里考虑选择公理。
现在这个定义似乎不一致:
我怎样才能chooser
以合理的方式定义?我想按如下方式使用它:
大多数时候,选择集合中的一个成员很重要,而不是如何选择它。
背景:我想正式确定拍卖中的决胜局(本文第 4 节)。假设正在拍卖的物品有两个最高出价,我们需要任意选择一个应该赢得拍卖的出价者。
这是,顺便说一句,一个非常小的例子(这有点难以理解):
c++ - 无法理解参考定义
如果 ri 是对 i 的引用,我不太明白为什么这个输出是 10 10...
有人可以帮我解决这个问题吗?
相似地,
如果 i = r2 并且当 d = 1 时 r2 是对 d 的引用,为什么输出不是 1?此外,当 r1 = d 时,为什么输出也不是 1?
c++ - 在 C++ 中使用相同的定义重载函数
通过使用不同的参数和定义,我知道 C++ 中函数重载的过程。但是,如果我有两个除了参数之外相同的函数,是否有办法只拥有这个定义一次。
我使用的功能是检查输入是否正确(即输入的数字不是字符)。一个用于int,另一个用于float。由于这一点以及我通过引用传递变量的事实,定义完全相同。
两个函数声明如下:
然后他们共享以下共同定义:
如果有办法解决必须拥有相同代码的两个相同副本同时仍用于两种参数类型的方法,那么我可以显着缩短程序的代码。我确定我不是唯一遇到这个问题的人,但我所有的搜索都返回了关于如何使用多个定义重载函数的解释。
任何帮助或建议将不胜感激。
mysql - 确定多对多关系的内容
这可能是一个简单的答案,但在过去的几天里,我一直在解决这个问题,它开始让我发疯
我有一个具有多对多关系的数据库
user2img 表指示允许用户查看哪个图像。
我正在尝试确定一个 SQL 查询,它将列出每个图像(一次不重复)并告诉我指定的用户是否有权查看该图像。
所以像这样的输出,
(其中用户 ID = '1')
谢谢,
mfc - 从标识符定义 MFC 开始
我是一个基于 MFC 的程序的初学者,并且在我目前正在处理的程序中遇到标识符定义问题。我在下面发布了有问题的代码段。程序的其余部分紧随其后。
//上面的行工作。下面这里不起作用,我收到一条消息说 IDC_H_SLIDER_BAR 和 IDC_H_SLIDER_ECHO 没有定义。
这是完整的实现文件:
这是 .h 文件:
c++ - 井字游戏功能定义错误
尝试进行 C++ 练习的井字游戏。不断收到以下错误
线
167 [错误] 输入结束时应为“}”
102 [错误] 在 '{' 标记之前不允许函数定义
97 [错误] 'gboard' 不是类型
91 [错误] 'c' 的名称查找已更改为 ISO 'for' 范围 [-fpermissive]
这些都在 void Board::draw() 内。我已尽我所知尝试纠正所有这些错误,但最终会产生更多错误。
完整代码:
symbols - DCL 符号的问题
我使用 VMS/OpenVMS 已有 30 多年了。昨天我发现了一些有趣的事情。
我总是有符号PU*RGE :== PURGE/CONF
,并且DE*LETE :== DELETE/CONF
在我的设置中。这是为了避免意外删除和清除。
但是,我的一位客户在清除文件时不小心输入PURGEE
了 而不是PURGE
,这清除了他目录中所有早期版本的文件而没有寻求确认。
当他向我提到这一点时,我也尝试了PURGEA
,PURGEB
等。所有这些都忽略了我的符号 for PU*RGE
,并在没有确认的情况下清除了文件。
以前有没有人注意到这种行为,和/或是否有人知道如何克服这一点?
javascript - 实现 declare() 函数的“好”做法
介绍
目前我对declare()
函数的实现感到好奇,这应该允许我使用原型继承(或某种继承,因为 javascript 使用不同的对象模型,而不是经典的 OOP)来声明 javascript 类。到目前为止,我发现了一些问题,我想知道某人的意见和澄清(如果可能的话)。
这是一个“重现脚本”(简化为重现问题),可以在控制台中执行:
一个概念
declare()
应该合并和extend()
的功能。作为参数,它需要一个包含以下部分的对象:inherit()
mixin()
config
- object - 对象类名(必需);
- parent - 要继承的对象类名称(非必需);
- mixins - 对象/类,哪些属性和方法需要包含到结果类/对象的原型中(非必需);
- 定义- 结果类原型属性和方法。
问题
#1 问题与构造函数有关:如果config.definition
没有constructor
方法,那么我会收到RangeError: Maximum call stack size exceeded
错误,这意味着我的“临时”构造函数
开始在无限循环中调用自己。要重现,您可以取消注释var c = new Test.C();
行。
问题: 我是否应该测试方法config.definition
的constructor
存在并注入一个空函数,而没有constructor
指定方法来避免这种情况?是否有任何其他可能的方法不会对性能产生重大影响?
#2 问题与调试有关:当我尝试记录a
或b
变量时,我进入ns.(anonymous function){ ... }
控制台,这意味着我在执行“动态声明”时丢失了命名空间和类/对象名称。
可能是没有名称的匿名函数中的问题,因此浏览器尝试保存最后一个符号,其中发生分配。我希望有可能动态创建函数并为其定义名称,并找到了这个问题,建议使用eval();
or new Function(...)();
。
问题: 有没有可能在没有任何evUl()
魔法的情况下保存命名空间和类名?
例如,这是我希望看到的:
显示:
我非常感谢您的帮助。谢谢。
function - SDL_GetTicks() 定义缺失。(SDL 2.0.3)
我在编译我不久前编写的程序时遇到了问题(当我使用 SDL 1.2 时)。缺少许多定义:
- SDL_GetTicks()
- SDL_FillRect()
- SDL_SetVideoMode()
- SDL_DisplayFormatAlpha()
还有更多。
这些是我包括的标题:
这是构建日志
这是我项目中的一些相关代码:
我一定错过了一些非常简单的东西。
- 我已经更新了所有的 include 和 lib 目录。
- 我已经更新了工作目录中的所有 .dll 文件。
- 我也更新了所有的链接器设置。
如果我能自己弄清楚,我会用我的解决方案更新这篇文章。
c++ - 取消引用指向另一个类的类成员指针的问题
我定义了两个简单的类。第一个类 (A) 包含一个指向第二个类 (B) 的对象的指针 (b_ptr),该对象包含一个 int 成员 (i)。我创建了第一个类的对象,只是试图返回指针对象中包含的 int。
起初我什至无法编译代码,但后来我移动了int A::returnInt()
定义,使其位于class B
定义之后。我现在可以编译了,但是当我打印对returnInt()
.
任何帮助是极大的赞赏!