腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
不带基数
参数
的
类型
不等式
怎样才能让Coq让我证明句法
类型
的不等式?我读过的答案,它表明,如果假设是单价的,那么证明
类型
不等式的唯一方法就是通过基数
参数
。
类型
构造函数的不等式能办到吗?上下文 我有一个多态
判断
(实际上是带有
参数
forall X : Type, x -> Prop的
浏览 5
提问于2020-04-18
得票数 3
回答已采纳
3
回答
如何在javascript中
判断
IE事件
类型
、
从几本书中学习一些
js
代码,比如 if (!第二个问题是,假设它可以工作,每次我使用它时, 我必须发送一个事件
参数
,不是吗?不带
参数
可以
判断
IE事件
类型
吗?
浏览 0
提问于2012-02-21
得票数 0
1
回答
如何根据
参数
类型
判断
函数
类型
、
、
在以下情况下,如何根据
参数
b
类型
判断
函数
类型
const getData = (a: string, b?
浏览 4
提问于2020-12-10
得票数 0
回答已采纳
2
回答
const isType = <T>(type: string) => ( obj :未知)的平均值是T => toString.call(obj) === `[object ${type}]
、
<T>(type: string) => (obj: unknown): obj is T => toString.call(obj) === `[object ${type}]`const isType = <T>(type: string) => (obj: unknown): obj is T 第一部分指出该函数接受一个
参数
并返回一个
类型
判断
的布尔值
浏览 8
提问于2022-06-28
得票数 1
回答已采纳
1
回答
检查对象是否是有前途的函数
、
、
、
、
在protractor.
js
中, /*****deferred.fulfill();*****/}; 我有一个将接收myFunc作为
参数
的方法,但是这个方法也可以接收字符串和查找器我需要知道如
浏览 3
提问于2015-07-27
得票数 3
回答已采纳
2
回答
如何从具有变量的联合
类型
中选择
类型
我有一个这样的
类型
type CreateOrUpdateMutationResult = { createArticle: boolean } | { updateArticle: boolean}
参数
result的
类型
为CreateOrUpdateMutationResult 我有一个额外的变量isCreate,它可以
判断
结果
类型
但是我怎样才能让typescript知道真实
类型
的结果呢?result.createArticle : result.updateArticle 我希望
浏览 16
提问于2019-06-21
得票数 0
4
回答
C++模板和基本数据
类型
有没有办法
判断
一个模板
参数
是一个特定的基本数据
类型
,比如int还是unsigned int?std::is_base_of不会这么做,我试过了。我想写一些可以封装所有基本数据
类型
的集合,但我找不到一种方法来辨别它是哪种
类型
……
浏览 2
提问于2013-01-17
得票数 1
回答已采纳
1
回答
确定属性
类型
是否是泛型
类型
参数
、
、
GenericModel<T1, T2> public T1 Model1 { get; set; }} 如何使用反射
判断
Model1的
类型
是泛型
参数
T1,而Model2的
类型
是泛型
参数
T2?我在找一个能告诉我模型1的
类型
映射到typeof(GenericModel<,>).GetGenericArguments()[0]的属性或其他东西。
浏览 2
提问于2014-06-18
得票数 0
回答已采纳
2
回答
如何
判断
websocket onmessage的
参数
类型
?
、
、
、
这里声明属性数据的
类型
为DOMString| Blob | ArrayBuffer。我如何告诉它我想要哪种
类型
?或者我如何知道我得到的是哪种
类型
?
浏览 534
提问于2012-02-27
得票数 26
1
回答
检查函数调用是否具有正确的
参数
类型
、
、
、
、
有没有办法检查函数调用是否有正确的
参数
类型
。假设我有一个名为changeCar的函数,它有两个
参数
,一个是Car
类型
,另一个是String
类型
。function changeCar(car,mytype){} changeCar(mycar,"ferrari"); 有没有办法
判断
mycar和"ferrari“是否是运行changeCar所需的正确
类型
?该应用程序
浏览 0
提问于2013-09-11
得票数 0
4
回答
如何确定两个变量在不同作用域的引用相等性?
、
、
、
在某一点上,您在方法A中,它有一个Foo
类型
的
参数
foo。稍后,您将进入方法B,该方法也接受Foo
类型
的
参数
foo。 这两个变量可能是相同的Foo实例,但是如何
判断
呢?
浏览 1
提问于2011-09-02
得票数 7
回答已采纳
1
回答
如何注释转发到另一个函数的
参数
类型
?
、
、
、
假设我们有一个调用open()的平凡函数,但是有一个固定的
参数
: kwargs['mode'] = 'w'return open(*args, **kwargs) 如果我现在尝试调用open_for_writing(some_fake_arg = 123),任何
类型
检查器(例如mypy)都不能
判断
这是一个不正确的调用:它缺少所需的file
参数
,并且正在添加另一个不属于open签名的
参数</e
浏览 4
提问于2022-02-24
得票数 9
回答已采纳
2
回答
更精致的Javascript
类型
?
、
、
类型
有返回对象的方法吗?返回"object“还返回"object“。在
js
中有返回“数组”的方法吗?最重要的是,是否有一种方法可以
判断
一个对象是DOM对象、javascript对象还是其他对象?
浏览 4
提问于2016-02-23
得票数 6
回答已采纳
1
回答
oldRecord和newRecord在NetSuite的用户事件脚本中有什么不同?
、
有三种
类型
的用户事件:beforeSubmit() - oldRecord, newRecordbeforeSubmit()和afterSubmit()都有newRecord和oldRecord
参数
,而beforeLoad()有newRecord,但没有oldRecord
参数
我对newRecord和oldRecord的名称感到困惑,是否根据从数据库加载或提交到数据库的记录来
判断
差异?
浏览 0
提问于2019-03-13
得票数 0
回答已采纳
1
回答
如何
判断
fortran过程指针是否与特定子程序相关联
、
、
我想知道如何
判断
fortran过程指针是否与特定子例程相关联。mainimplicit none我知道关联的函数可以用来
判断
过程指针是否关联我试过了编译器(gfortran 4.8.2)给出了一个错误,即boundaryA上的“associated”内在变量的“target”
参数
必须与“pointer”的
类型
和
浏览 16
提问于2018-02-25
得票数 3
回答已采纳
1
回答
Clang Pragma错误:标记为‘override’,但不覆盖
、
我试图在clang中添加一个新的杂注,并遵循中的步骤(从第30页开始)。我在TokenKinds.def中添加了新注释,并在Parser.h中定义Pragma Handler然后我在ParsePragma.cpp中添加了新的结构。我还覆盖了HandlePragma函数,如下所示。struct PragmaBeginMarkHandler : public PragmaHandler{ Prag
浏览 4
提问于2021-03-29
得票数 0
1
回答
将numpy数组的python元组转换为cv::Mat cpp的向量
、
、
我正在尝试在python和c++之间进行通信。下面是我使用的主要源代码的链接:,它主要来自于这里的。我希望能够在python端获取numpy数组(OpenCV图像)的元组,c++中的进程,然后返回numpy数组的元组(OpenCV图像)。In function ‘PyObject* pbcvt::getStitchingParams(PyObject*)’: /home/**/pyImageListToVectorMatcpp/src/python_module.cpp:96:69: error: cannot convert ‘std::vector<cv::
浏览 2
提问于2017-03-21
得票数 0
回答已采纳
1
回答
Coq:我可以使用
类型
参数
作为连续
参数
的
类型
吗?
、
、
、
. (* for example *) 这样X就是一个
参数
,而不是一个
参数
,所以我可以让构造函数使用X进行即席多态性 上下文 我正在尝试编码一个
类型
判断
,我希望它是多态的,因为我有许多不同
类型
的术语(Coq
类型
)的
类型
规则,但所有规则都有相同的
判断
形式。这意味着,对于Coq
类型
A、B,我希望能够执行以下操作 Inductive typing_judgement : (X : Type) -> context -> X -&
浏览 26
提问于2020-03-29
得票数 2
回答已采纳
2
回答
Linux中代码
判断
参数
的确定
、
我正在开发一个c/c++/java代码的在线代码
判断
软件。还有其他可以用来
判断
代码的
参数
吗?
浏览 4
提问于2013-05-08
得票数 0
回答已采纳
1
回答
如何等待一个函数完成后再继续?
我有三个函数。调用层次结构如下所示: b();} d();我想要的是完成b,然后继续执行c,但是d是异步的。我没有权利更改b和d中的任何内容。有没有办法处理这种情况?对不起,我的英语不好。
浏览 1
提问于2016-09-29
得票数 0
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
Python 序列类型以及函数参数类型
JS如何判断是否是函数
如何判断放大电路反馈类型?
JS判断浏览器关闭和刷新
关于宏函数的参数类型问题
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM
活动推荐
运营活动
广告
关闭
领券