casting相关内容

CoQ:对定义中的术语进行类型检查时使用类型相等

我有一个关于Coq中类型检查定义的问题。我遇到了一种情况,我有两个T1和T2类型的项,从定义上我知道T1和T2是相等的(T1=T2)。但是,我不能同时使用这两个术语,因为类型检查器认为这两个类型不相等。我试图分离出一个模拟情况的最小示例(是的,我知道这是一个愚蠢的属性,但我只想检查它的类型;): Require Import Coq.Lists.List. Lemma myLemma : ..
发布时间:2022-08-20 10:33:33 其他开发

#(散列符号/井号)在类型签名中是什么意思?

与仅seq>相比,#在seq>这样的类型签名中意味着什么? 推荐答案 这称为灵活类型。简而言之,#type表示从type继承的任何类型。因此,在您的具体示例中,seq>将是包含'a值的任何集合的序列。 调用函数时,F#自动将具体类型强制转换为接口-例如,您可以使用数组'a[]以seq作为参数来调用函数。但是,当您有数组时 ..
发布时间:2022-08-14 20:38:58 其他开发

将流转换为文件流

可能的重复项: Convert a Stream to a FileStream in C# 我的问题是关于将STREAM转换为FileStream... 基本上我需要这样做才能获得文件的名称,因为如果我只有一个对象流,它没有Name属性,而FileStream有... 那么如何正确操作,如何将Stream对象强制转换为FileStream...? 另一个问题是该流来自w ..
发布时间:2022-06-19 14:59:50 C#/.NET

在for of循环中强制转换声明变量

在“for of”循环内转换声明变量是否有更短、更简化的版本。 let array1: Array; for (let a of array1) { let ab: String = a; } 我知道强制转换整个数组是可行的,但如果我可以强制转换或设置声明变量“a”的数据类型,而不是强制转换整个数组,我会感到更高兴,这样的事情可能 ..
发布时间:2022-04-14 21:01:47 其他开发

简单乘法的PHP舍入误差

使用(int)强制转换变量时,PHP似乎不正确地进行舍入。为什么? $multiplier = 100000000; $value = 0.01020637; echo (int)($value*$multiplier); 输出:1020636。(意外输出) $multiplier = 100000000; $value = 0.01020637; echo ($value*$mu ..
发布时间:2022-04-01 23:12:58 PHP

为什么要从整型转换为浮点型?

我正在读CS:APP,关于强制转换,它说在将从整型强制转换为浮点型时,数字不能溢出,但可以四舍五入。 这对我来说似乎很奇怪,因为我不知道有什么可以绕过去的,所以我试过了。我认为这只适用于非常大的整数(接近INT_MAX/INT_MIN),但舍入也是在上亿附近进行的。(不确定这种情况最先发生在哪里)。 为什么会发生这种情况?float的范围远远超过int。有人可能会说,浮点数不能准确表示 ..
发布时间:2022-04-01 23:08:41 其他开发

C++/CLI中的安全强制转换-等同于C#s";As";?

之前我问过在C#中使用as是否安全(即不会爆炸):Is using "as" in C# a safe way of casting? 我喜欢这个答案,最后用了一些基于它的东西: Foo x = y as Foo; if (x != null) { ... } 但现在我正在将C#代码转换为C++/CLI(由于依赖问题..)所以问题是.. 我正在寻找等同于“as”的C+ ..
发布时间:2022-03-15 20:43:05 C#/.NET

红移创建表错误-无效字符

我有两张红移表。我可以在它们之间的联接上执行SELECT*(在id列上执行联接): SELECT * FROM table1 t1 LEFT JOIN table2 t2 ON t1.id = t2.user_id 但是,当我将此语句包装在CREATE TABLE子句中时,我得到以下内容: error: Invalid characters: code: 8001 context: ..
发布时间:2022-03-02 09:09:08 其他开发

如何在 PHP 中将数组转换为对象?

如何将这样的数组转换为对象? [128] =>大批([状态] =>“图A.Facebook 的水平滚动条显示在 1024x768 的屏幕分辨率上.")[129] =>大批([状态] =>“前几天上班,我有一些空闲时间") 解决方案 在最简单的情况下,将数组“强制转换"为对象可能就足够了: $object = (object) $array; 另一种选择是将标准类实例化为变量,并在重新分配 ..
发布时间:2022-01-31 08:27:58 PHP

直接铸造与'as'运营商?

考虑以下代码: void Handler(object o, EventArgs e){//我发誓 o 是一个字符串字符串 s = (字符串)o;//1//-或者-字符串 s = o 作为字符串;//2//-或者-字符串 s = o.ToString();//3} 这三种类型的施法有什么区别(好吧,第三种不是施法,但你明白了).应该首选哪一个? 解决方案 string s = (str ..
发布时间:2022-01-30 10:24:32 C#/.NET

'iterator' 可以只键入'const_iterator' 的子类吗?

在关于迭代器的另一个问题之后我对自定义容器有一些疑问.在我的容器中,iterator 是 const_iterator 的子类,因此我可以“免费"从非 const 转换为 const.但这是否允许,或者这样的设置是否有任何缺点或不工作的情况? 解决方案 是的,这很好.例如,这就是 VC10 的 vector 迭代器实现的结构.请参阅 中的 _Vector_iterator 和 _Vecto ..
发布时间:2022-01-24 20:46:23 C/C++开发

铸造给孩子

我实际上想要做的是将构造的 moneypunct 转换为 this question 无需像 this answer 中那样编写复制构造函数. 但为了编写最小、完整、可验证的示例,假设我有这两个类: 父类{上市:父级(复杂& args);父操作符=(const Parent&) = delete;Parent(const Parent&) = 删除;父母()=默认;虚拟无效函数();私人的 ..
发布时间:2022-01-24 16:53:42 C/C++开发

Java 转换为超类并调用重载方法

抽象类 A {诠释遇见(A一){返回0;}诠释遇见(B b){返回 1;}诠释遇见(C c){返回 2;}}B 类扩展 A {诠释遇见(A一){返回 3;}诠释遇见(B b){返回 4;}诠释遇见(C c){返回 5;}}C类扩展B {诠释 f() {返回 ((A)this).met((A)this);}}公共类测试{公共静态无效主要(字符串参数[]){C x = 新 C();System.out ..
发布时间:2022-01-24 16:53:18 Java开发