腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
圈层
工具
MCP广场
文章/答案/技术大牛
搜索
搜索
关闭
发布
文章
问答
(9999+)
视频
沙龙
1
回答
避免
定点
的
隐
式
参数
在
证明
模式
下
变得
显
式
有没有办法强制Fixpoint
隐
式
参数
在
证明
模式
下
保持
隐
式
?
浏览 16
提问于2020-08-14
得票数 3
回答已采纳
2
回答
关于F#面向对象编程
、
我们
在
f#中创建类
的
方式存在二分法,这确实让我感到困扰。我可以使用
隐
式
或
显
式
格式创建类。但是,我想要
的
一些特性只能与
隐
式
格式一起使用,而有些功能仅适用于
显
式
格式。例如: 我不能在
显
式
定义
的
类中单独使用let inline* (或let )。
在
隐
式
定义
的
类中定义不可变<em
浏览 9
提问于2009-07-31
得票数 5
回答已采纳
3
回答
如果一个人不知道它
的
参数
类型,怎么能默认一个特殊
的
成员函数呢?
、
、
具有相同
的
已声明函数类型(除了可能
的
differing ref-fiers,以及
在
副本构造函数或副本赋值操作符
的
情况
下
,
参数
类型可以是“对非const T
的
引用”,其中T是成员函数
的
类
的
名称),就像它是
隐
式
声明
的
那样, 如果
隐
式
声明
的
复制构造函数将具有A &类型,则我希望使用
参数
类型A &<
浏览 11
提问于2011-05-29
得票数 4
回答已采纳
1
回答
eq_refl
的
奇怪
隐
式
类型
在
Coq中,命题是类型,
证明
是值。例如,我们可以写一个这样
的
简单
证明
,它
证明
了0=0。eq_reflwhere?x : [ |- ?A] 这意味着eq_refl
的
所有
参数
都是
隐
式
的
。<e
浏览 8
提问于2018-02-13
得票数 4
回答已采纳
2
回答
我应该在C++11中
显
式
声明转换操作符吗?
、
、
、
在
C++11中,建议:
显
式
声明一个
参数
构造函数为
显
式
,以
避免
隐
式
转换(根据)。在这个思路中,应该声明转换操作符explicit,以防止编译器使用它们来执行
隐
式
转换吗?
浏览 1
提问于2015-12-23
得票数 1
回答已采纳
2
回答
为什么
在
Server中使用
隐
式
和
显
式
事务
模式
?
、
在
Server中读取有关不同事务
模式
的
MS文档。自动提交
模式
可以完成
隐
式
和
显
式
事务
模式
在
代码较少
的
情况
下
所做
的
一切,那么为什么我应该在代码中使用
隐
式
和
显
式
事务
模式
?
浏览 2
提问于2014-05-14
得票数 0
回答已采纳
1
回答
对于复制构造函数,我应该仍然使用关键字
显
式
吗?
、
、
、
当不允许进行
隐
式
转换时,C++提供关键字
显
式
以通过转换构造函数抑制
隐
式
转换。声明显
式
的
构造函数不能用于
隐
式
转换。
在
不应由编译器使用
的
单
参数
构造函数上使用
显
式
关键字执行
隐
式
转换。这是有意义
的
,但我应该仍然使用关键字
显
式
的
复制
浏览 1
提问于2015-12-15
得票数 0
回答已采纳
1
回答
内
隐
式
的
case类
显
式
参数
、
有办法
避免
这样
的
代码吗?class Foo(bar: Int, baz: String, ec: ExecutionContext) {}
在
参数
列表
的
前面增加
隐
式
的
效果与期望
的
效果不同我希望executionContext是构造器
的
显
式
参数
,但被视为类体中
的
<
浏览 2
提问于2015-11-06
得票数 1
回答已采纳
2
回答
为什么新版本
的
TLS对CBC套件使用
显
式
IV?
、
、
、
SSL 3.0和TLS 1.0
在
以CBC
模式
加密记录时使用了一种不安全
的
方案来生成
隐
式
IVs :它们使用了前一条记录
的
最后一部分,攻击者可以预测该值。这种攻击在野兽攻击中得到了
证明
。为了
避免
这些问题,TLS 1.1和以后使用
显
式
IVs,这些IVs作为记录
的
一部分发送。这
避免
了攻击,但也增加了每条记录16字节
的
开销。CBCATT描述了对TLS
的
选择
浏览 0
提问于2012-05-20
得票数 20
1
回答
如何
显
式
提供
隐
式
参数
?
假设我有一个带有这个签名
的
函数:我尝试将它应用于另一个函数体中,如下所示
的
myNatToFin k (S k),得到错误: GT (S k) k 所以,我认为我必须
显
式
地传递一个GT (S k) k
的
证明
如何
显
式
传递
隐
浏览 1
提问于2015-04-28
得票数 4
1
回答
在
Scala中使用in
的
良好实践
、
在
代码中到处使用
隐
式
参数
只是为了减少应该传递
的
参数
数量,是否有任何客观原因 我有一个REST API。端点
的
每次调用都有一个唯一
的
id,为了调试
的
目的,应该在调用触发
的
每个函数中逐字传递该id。消除
显
式
传递
参数
的
第一个想法是使其成为每个函数中
的
隐
式
参数
。但是,我
的</
浏览 0
提问于2019-10-17
得票数 5
1
回答
处理内
隐
参数
列表所需
的
显
式
参数
、
我目前正在使用一个代码库,它需要一个
显
式
参数
才能对其实现
的
部分具有
隐
式
范围: implicit val systemImplicit= system }
在
不影响类
的
签名
的
情况
下
,是否有更整洁
的
浏览 7
提问于2014-05-19
得票数 8
2
回答
未定义和NaN,转换为布尔值
隐
式
vs
显
式
。
、
、
、
在
"“一节中,
在
讨论
隐
式
和
显
式
布尔转换时,作者提到
浏览 0
提问于2017-07-28
得票数 1
3
回答
在
C++中实现运算符*
(even with non-explicit ctor)即使Rationl
的
构造函数不是
显
式
的
,也可以编译而不编译原因如下:与调用成员函数
的
object相对应
的
隐
<em
浏览 0
提问于2011-01-22
得票数 3
回答已采纳
6
回答
摆脱错误C2243
、
、
、
: protected B {}; B *p = &d; // conversion from 'D *' to 'B &' exists, but is inaccessibleD d;我不明白为什么从B继承
的
类D使得
隐
式
转换
变得
不可访问。我试图通过
在
类D
浏览 1
提问于2009-09-24
得票数 10
回答已采纳
1
回答
在
scala play操作中
隐
式
参数
请求
的
范围和好处?
、
、
我可以理解如何使用
隐
式
参数
,但我怀疑它对于scala play actions...in
的
必要性,play文档如下所示:now...reading此另一个堆栈溢出答案:1)来自
隐
浏览 3
提问于2013-07-23
得票数 5
1
回答
为什么
在
scala中不推荐
隐
式
转换?
、
、
摘自“带猫
的
Scala”(第18页):当使用
隐
式
def创建类型类实例构造函数时,请确保将
参数
标记为
隐
式
参数
。如果没有这个关键字,编译器将无法
在
隐
式
解析期间填充
参数
。具有非
隐
式
参数
的
implicit方法形成一个不同
的
Scala
模式
,称为
隐<
浏览 3
提问于2020-12-05
得票数 1
1
回答
在
Scala类定义中,“
隐
式
val”
的
含义是什么?
、
我正在努力提高Scala
的
速度,并对关键字“
隐
式
”
的
用法感到有点困惑。case class DemoApp() { implic
浏览 1
提问于2020-07-01
得票数 1
回答已采纳
2
回答
用CPS编写
的
函数是如何使许多事情
显
式
化
的
?
、
、
说 用连续传递样式编写
的
函数需要额外
的
参数
:
显
式
“延续”,即一个
参数
的
函数。当CPS函数计算了它
的
结果值时,它通过调用带此值作为
参数
的
延续函数来“返回”它。这意味着
在
调用CPS函数时,需要调用函数提供要用子例程
的
“返回”值调用
的
过程。以这种形式表示代码,使许多事物成为
显
式
的
,它们
在
直接样式中
浏览 0
提问于2019-08-05
得票数 2
2
回答
为什么我们需要Scala
的
CanBuildFrom中
的
From类型
参数
、
当我向Factory添加一个未使用
的
第三个类型
参数
时,所有这些“解决方案”都
变得
不必要了。:为什么似乎未使用
的
-Source类型
参数
是解决
隐
式
问题所必需
的
?Clarification根据
的
说法,嵌入是
在<
浏览 5
提问于2015-05-22
得票数 7
回答已采纳
点击加载更多
相关
资讯
微信提出推荐中的深度反馈网络,在“看一看”数据集上达到SOTA
JavaScript 函数参数|JavaScript 教程
那就设计一个能理解的!
520继续卷,JS中this的指向问题
在 vim 编辑中使用 perl 单行命令
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
云直播
活动推荐
运营活动
广告
关闭
领券