eq_refl的奇怪隐式类型
eq_refl是一个奇怪的隐式类型，它在云计算领域并没有具体的定义或广泛应用。隐式类型通常是指在编程语言中，由编译器自动推导出的类型，而不需要显式地声明或指定。然而，eq_refl并不是一个常见的隐式类型，因此无法给出具体的概念、分类、优势、应用场景或相关产品。
在云计算领域，隐式类型通常与编程语言的类型推导、泛型编程、函数式编程等概念相关。例如，在函数式编程中，类型推导可以自动推断函数的输入和输出类型，从而简化代码的编写和维护。在云计算中，编程语言的类型系统和类型推导可以帮助开发人员更好地处理云原生应用程序的复杂性和可扩展性。
然而，针对eq_refl的奇怪隐式类型，由于缺乏具体的定义和应用场景，无法给出相关的推荐产品或链接地址。如果有更具体的问题或其他云计算相关的主题，我将非常乐意为您提供更详细和全面的答案。
相关·内容
我试图理解sign中的@在所有上下文中都做了什么。我看到的上下文是，我正在尝试在Coq中打印和删除符号(或尽可能多地)。特别是，我正在打印(Gallina)与Set Printing All相关的术语。我定义了我自己的添加和nats，并在这样做的时候得到了这个
my_add_eq =
fun x y : my_nat => @eq_refl my_nat (my_add x y)
: forall x y : my_nat, @eq my_nat (my_add x y) (my_add x y)
但我不确定@标志是什么意思。什么意思？
注意，我看到了这个问题，但似乎他们在
浏览 3提问于2021-06-25得票数 1
2回答
定义如下：
Inductive eq (A : Type) (x : A) : A → Prop := eq refl : (eq x) x
Parameter a b : A.
当我考虑它的一个实例eq a b时，我阅读了类型为A -> Prop的(eq a)。
那么，我的问题是，(eq a) b如何能够确定a和b对应于同一个对象这一事实？
对我来说，奇怪的是，我们没有关于(eq a)实际做什么的信息。
浏览 0提问于2017-07-18得票数 1
回答已采纳
考虑下面定义的函数。它做什么并不重要。
Require Import Ring.
Require Import Vector.
Require Import ArithRing.
Fixpoint
ScatHUnion_0 {A} (n:nat) (pad:nat) : t A n -> t (option A) ((S pad) * n).
refine (
match n return (t A n) -> (t (option A) ((S pad)*n)) with
| 0 => fun _ => (fun H => _)(@nil (o
浏览 6提问于2015-06-06得票数 4
回答已采纳
在Coq中，命题是类型，证明是值。例如，我们可以写一个这样的简单证明，它证明了0=0。
Definition test : (eq 0 0) := eq_refl 0.
有趣的是，当检查eq_refl的类型时，它显示
eq_refl
: ?x = ?x
where
?A : [ |- Type]
?x : [ |- ?A]
这意味着eq_refl的所有参数都是隐式的。在Coq中，除非使用@，否则通常不允许显式确定隐式参数。为了证明0=0，我们可以显式地编写@eq_refl nat 0，或者只编写eq_refl，因为可以推导出nat和0。但在前面的示例中，eq_refl 0也可以工作
浏览 8提问于2018-02-13得票数 4
回答已采纳
我注意到在C#中对byte使用按位异或运算符有些奇怪。至少在我看来很奇怪。
byte a = 0x11;
byte b = 0xAA;
a ^= b; // works
a = a ^ b; // compiler error: Cannot implicitly convert type "int" to "byte"
我在使用short，而不是int或long时也看到了这个问题。
我认为最后两行是等价的，但事实似乎并非如此。这里发生了什么事？
浏览 1提问于2010-07-30得票数 5
回答已采纳
2回答
HOTT的书在第51页写道：
..。我们可以通过p: x=y上的路径归纳法证明
$(x, y, p) =_{ \sum_{(x,y:A)} (x=y)} (x, x, refl x)$ .
有人能告诉我如何在Coq中证明这一点吗？
浏览 1提问于2016-09-13得票数 2
回答已采纳
我的一般问题是:当我不熟悉我正在使用的类型时，有没有一种简单的方法来逐步在Coq中建立定义？ 考虑来自Coq.Narith.BinNat的Coq中的自然数的一个定义 Definition discr n : { p:positive | n = pos p } + { n = 0 }. 现在，对我来说，这个术语看起来有点令人困惑。假设我试图从定义中提取这个正p。我第一次尝试失败了： Require Import Coq.Narith.BinNat.
Fail Definition NToPos (x : N) : positive :=
match N.discr x with
|
浏览 18提问于2020-07-02得票数 0
回答已采纳
我可以在Coq中证明以下内容吗？
Lemma bool_uip (H1 : true = true): H1 = eq_refl true.
也就是说，true = true的所有证明都是相同的？
如下所示，例如，forall c (H1 H2: c = true), H1 = H2.
最好不用添加任何公理(比如UIP)。我发现了以下线索，表明情况可能是这样的：
浏览 0提问于2018-06-13得票数 3
回答已采纳
1回答
我发现了一个奇怪的编译错误：
class A
class B
object M {
implicit val mA: M[A] = d => new A
implicit val mB: M[B] = d => new B
}
trait M[K] {
def get(d: D): K
}
object D {
implicit def f[K](d: D)(implicit m: M[K]): K = m.get(d)
}
class D
object Main {
val d = new D
val a: A = d // This line
浏览 0提问于2018-12-21得票数 0
回答已采纳
1回答
我在Scala上有个问题，我真的被困住了。我知道标题可能更令人困惑，所以让我尽量简单地解释一下。想象一下，我有一个名为abstract class的Repo。这个类描述了它们上的几个方法，其中大多数已经实现。类Repo如下所示：
abstract class Repo[T](name: String) {
implicit def collection(implicit db: DefaultDB): JSONCollection =
db.collection[JSONCollection](name)
def findOne(selector: JsObject)(im
浏览 0提问于2015-05-24得票数 0
回答已采纳
这是一种奇怪的情况：
如果我注释掉了下面对feed_usingExplicitTypeClassInstance的调用，那么我就会得到一个编译器错误。
非常令人费解。有什么解释吗?
我的意思是，我注释掉一个函数调用(它不返回值)，然后代码就不再编译了？
在理论上，这是否完全是可能的？用任何编程语言吗？
我的意思是，我注释掉了一些类似println("hello")的东西，然后代码就不再编译了？
当然，如果我要注释掉一个声明或什么的话，这是可以理解的，但是调用一个不返回任何东西的函数呢？
object AnimalFeeder extends App {
def feed_
浏览 4提问于2018-04-29得票数 2
回答已采纳
我有Node.js应用程序，我试图连接到一个FTP服务器，并列出文件夹/文件中的FTP服务器文件夹。
服务器配置为: TLS/SSL隐式加密。
这是我的密码：
async function listFilesInFtpFolder() {
const client = new ftp.Client()
client.ftp.verbose = true;
try {
await client.access({
host: ftpConfig.host,
user: ftpConfig.user,
passwor
浏览 4提问于2019-10-18得票数 3
3回答
我有一个奇怪的行为，我想了解它。但我还没有在网上找到好的答案：
情况是这样的，我抽象出了名称和逻辑来关注这个问题。有三种类型，A，B和C。B&C定义隐式运算符来转换为A对象。
public class A
{
public static implicit operator A(B input){ /* Convert B to A */ }
public static implicit operator A(C input) { /* Convert C to A*/ }
}
public class B { }
public class C { }
然后，当我这样做
浏览 3提问于2013-09-27得票数 0
回答已采纳
我今天遇到了一个奇怪的问题。请看下面的代码：
class A {
var button1: UIButton!
var button2: UIButton!
func foo() {
let array = [button1, button2]
}
}
Xcode说array是[UIButton?]类型。出于某种原因，Swift4将UIButton!元素转换为UIButton?。为什么？
浏览 5提问于2018-01-03得票数 14
回答已采纳
我正在处理一个可以为空的DateTime对象，结果遇到了一些奇怪的行为。下面是一个示例函数：
public DateTime? Weird()
{
DateTime check = DateTime.Now;
DateTime? dt;
if (check == DateTime.MinValue)
dt = null;
else
dt = Viewer.ActiveThroughUTC.ToLocalTime();
//this line give
浏览 2提问于2010-10-07得票数 3
回答已采纳
我之前遇到了一个奇怪的问题，我在一个新的控制台应用程序中复制了这个问题。我想知道，有人能解释一下为什么会发生这种事吗？
static void Main(string[] args)
{
DoSomething(0);
Console.Read();
}
public static void DoSomething(int? value)
{
Console.WriteLine("Do Something int? called");
}
public static v
浏览 5提问于2010-11-26得票数 9
回答已采纳
我正在将我的设计从Verilog转换到SystemVerilog，默认情况下我有'default_nettype none指令。这是我的设计：
`default_nettype none
module my_design
#(
parameter INPUT_WIDTH = 16,
parameter OUTPUT_WIDTH = 2*INPUT_WIDTH
)
(
input wire signed [INPUT_WIDTH-1 : 0 ] x_in,
input wire signed [INPUT_WIDTH-1 : 0 ] y_in,
ou
浏览 316提问于2018-09-05得票数 0
回答已采纳
当我回答时，我观察到了一种非常奇怪的行为--当它们有模糊类型时，它们似乎能够推断出它们的类型。
例如，这不能编译
double a = new Random().Next(2) == 0 ? (short)1 : (uint)1;
因为编译器在类型检查时“不查看”double a部件，并看到表达式的类型为short或uint。表达式不能有两种类型，因此输出错误。这很好。众所周知，C#不考虑要分配给的变量类型，就像泛型中的那样：
static T F<T>() => default(T);
double d = F(); // can't infer that T is
浏览 1提问于2020-08-05得票数 4
回答已采纳
我正在为即将到来的一次考试而练习，在一次练习中我偶然发现了一段奇怪的代码。对于上下文，这是一个练习，您必须确定代码是否运行，以及它有什么问题等等。我觉得奇怪的代码如下：
class A {
int x;
public:
A(int i = 0) { x = i;}
A operator+(const A& a) { return a.x + x;}
...\\ rest of the code is not relevant
};
当然，我假设操作符会生成一个错误，因为它会返回一个int值，而它的返回类型被定义为A类。然而，在我的IDE中插入整个示例之后
浏览 4提问于2020-06-06得票数 0
回答已采纳
5回答
public class MyClass
{
public const Decimal CONSTANT = 0.50; // ERROR CS0664
}
产生此错误：
错误CS0664:类型为double的文字不能隐式转换为‘十进制’类型；使用'M‘后缀创建该类型的文字
作为。但这样做是可行的：
public class MyClass
{
public const Decimal CONSTANT = 50; // OK
}
我不知道他们为什么禁止第一个。我觉得很奇怪。
浏览 7提问于2011-08-04得票数 35
回答已采纳
2回答
默认为0(零)值的属性索引器
、、、、
在使用属性索引器(C#)时，我发现了一个奇怪的行为。
考虑以下程序：
public class Program
{
public static void Main(string[] args)
{
CustomMessageList cml = new CustomMessageList
{
new CustomMessage(), // Type1
new CustomMessage(), // Type1
new CustomMessage(), // Type1
浏览 1提问于2013-05-16得票数 5
回答已采纳
这对我来说似乎很奇怪:假设我有一个变量，即Option[someType]，并且我给它分配了一个someType对象，为什么我必须显式地将我的对象转换成一个选项？
var num: Option[Int] = Option[Int](3) // works
var num: Option[Int] = 3 // seems reasonable, but doesn't compile
编辑：--我的意思是，我的问题更多是关于“为什么Scala这样实现它”，而不是“如何解决这个问题”。正如你所看到的，我知道如何解决这个问题。
我好奇的是，它的基本原理是，Int
浏览 4提问于2017-03-19得票数 0
1回答
在g++ 3.4和4.7中，我观察到以下奇怪的行为：
如果需要用户定义的转换，则函数模板不匹配，而普通函数将与此匹配。我在C++98标准中找不到相应的规则。g++是正确的吗(正如我所假设的)？还是一只虫子？
template <class T>
int x(auto_ptr_ref<T> p)
{
return 1;
}
// this would match
/*
int x(auto_ptr_ref<int> p)
{
return 2;
}
*/
void dummy()
{
cout << x(auto_ptr<int
浏览 2提问于2016-07-19得票数 6
回答已采纳
这是失败的：
> the ({A : Type} -> A -> {B : Type} -> B -> (A, B)) MkPair
(input):1:5:When checking argument value to function Prelude.Basics.the:
Type mismatch between
A -> B1 -> (A, B1) (Type of MkPair)
and
A1 -> B -> (A1, B) (Exp
浏览 1提问于2017-10-21得票数 2
回答已采纳
构造器策略允许您通过自动应用构造函数来完成一个目标，即归纳数据类型。然而，在Coq中，定义等式并不是一个归纳积。那为什么Coq会接受这个证据呢？
Example zeqz : 0 = 0. constructor.
浏览 1提问于2021-01-29得票数 1
回答已采纳
在Coq我有
Definition f (s:Unit) : tt=tt := match s with tt => idpath end.
Definition g (p:tt=tt) : Unit := match p with idpath => tt end.
我想证明forall (p:tt=tt), (f o g) p = p。
我想使用HoTT书中1.12.1中描述的路径归纳来完成它。
显然，对于p是idpath的情况，我们可以证明
assert( (f o g) idpath = idpath).
simpl.
reflexivity.
但是，如何使用Coq中的路径
浏览 1提问于2017-11-16得票数 0
回答已采纳
1回答
我在Java中遇到了一些奇怪的东西，但却找不到很多关于它的信息。考虑以下代码：
public class TestClass {
private static abstract class AbstractClass {
abstract List<? extends Object> getList();
abstract Map<Long, List<? extends Object>> getMap();
}
private static final class ConcreteClass ex
浏览 4提问于2016-07-05得票数 8
回答已采纳
1回答
假设我有一个由多个多态变量(协变)组成的类型，如下所示： [> `Ok of int | `Error of string] 让我们进一步假设，我希望将此定义分解为某种类型构造函数和一个具体的类型int。我的第一次尝试是这样的： type 'a error = [> `Ok of 'a | `Error of string] 然而，使用这样的定义会产生一个非常奇怪的类型错误，它提到了一个类型变量'b，该变量没有出现在定义中的任何地方。 $ ocaml
OCaml version 4.07.0
# type 'a error = [
浏览 20提问于2020-01-21得票数 5
回答已采纳
今天，我在Server 2008中发现了一件奇怪的事情。我编写了一个ROUND函数，并随机测试这个函数。
从9.50-9.99开始，这一行代码：
SELECT ROUND(X.XX, 0);
抛出此错误：
执行批处理时发生错误。
错误消息是:算术溢出。
但从9点到9点49点，它运行得很好。
有人能告诉我密码有什么问题吗？
浏览 5提问于2017-11-17得票数 2
如果我的问题的答案已经在这里，请连接它..。我确实看过了。
我正在学习一些教程，这让我感到有点奇怪，这段代码：
val my_set = Set("one","two","three")
println("First Value:" + my_set.toArray(0))
当从命令行运行时，会导致以下错误：
$ scala settoarray.scala
/Users/rwheadon/devStuff/scala_sandbox/so_settoarray.scala:2: error: type mismatch;
fo
浏览 0提问于2013-01-29得票数 1
回答已采纳
我们有一个安静的大型SQL Server数据库(在最大的表中大约有3000万行)。当我试图在它上面运行一个存储过程时，我遇到了一个奇怪的问题。如果我使用下面的代码，它是有效的：
cmd = new SqlCommand("query", conn);
cmd.CommandType = CommandType.StoredProcedure;
cmd.CommandText = "StoredProcedureName";
cmd.Parameters.Add("myParameter", myParameter);
浏览 0提问于2015-03-23得票数 3
当在值中具有混合类型的表中插入多行时，我有一种奇怪的行为。
创建表的SQL是：
CREATE TABLE [dbo].[insert_test]
(
[col1] [nchar](10) NULL
) ON [PRIMARY]
当插入多个值(使用混合类型)时，我会得到一个错误：
INSERT INTO insert_test (col1)
VALUES ('test'), (1);
错误：
将varchar值“test”转换为数据类型int时，转换失败。
我不明白服务器为什么要将'test‘转换为int。
我希望它使用我所使用的列的类型(在本例中是来自
浏览 2提问于2017-09-04得票数 1
回答已采纳
有时，为了避免类型不匹配，需要使用这种(看起来相对奇怪的)语法。但是这种语法到底叫什么名字呢？
来自 (R07)的使用示例：
定义了一个方法
public static <K, V> Builder<K, V> builder()
它可以像这样使用：
ImmutableMap<String, String> map =
ImmutableMap.<String, String>builder().put("a", "A").build();
顺便说一下，这是的内联版本：
Builder<St
浏览 4提问于2010-11-20得票数 4
回答已采纳
我有一个这样的结构
#[derive(Copy, Clone)]
enum Command {
Quit,
Error { msg: String },
}
编译器抱怨它不能为Error生成复制构造函数。
我需要使结构可复制，以便将一个通道传递给另一个线程。
error: the trait `Copy` may not be implemented for this type; variant `Error` does not implement `Copy` [E0205]
#[derive(Copy, Clone)]
^~~~~~~~~~~~~~~~~~~~~~
note
浏览 0提问于2016-07-11得票数 22
我有一种情况，我希望允许从A到B的转换：
A a{4};
B b = a;
这是设置：
class A
{
public:
explicit A(int value)
: member{value}
{
}
private:
int member;
};
class B : public A
{
public:
explicit B(A a)
: A{a}
{
}
};
int main()
{
A a{4};
B b = a;
}
我可能会删除B构造函数中的B修饰符，但是Clang
浏览 1提问于2021-02-26得票数 1
回答已采纳
我有一个C类，我想通过使用operator string()语法将其转换为string，但是正如我在注释中所写的，发生了一些奇怪的事情。
class C {
public:
operator string()
{
return string("anything");
}
};
int main()
{
C c;
cout << string("test:").append(c) << endl; //success
//cout << string("te
浏览 1提问于2022-01-18得票数 4
我正在学习同伦型理论(HoTT)及其与COQ的关系。尤其是路径归纳法中的同一性概念对我来说仍然是神秘的。
因此，我用COQ做了一些实验。
让我们从使用路径归纳的标准相等类型的简单引理开始：
Lemma eq_sym: forall (x y:nat), x = y -> y = x.
intros.
apply (match H in (_ = y0) return y0 = x with eq_refl => eq_refl end).
Defined.
现在让我们看看这是否是COQ "eq“类型的特殊处理。因此，让我们用类似的对称引理定义一个新的相等类型(仅适用于nat
浏览 0提问于2016-02-01得票数 0
回答已采纳
2回答
我有一个关于在雪花中使用lead函数的问题。
假设我有一个'881885895.1636104601'的文本字段。当我运行lead函数(假设这个数字重复并从lead结果中返回)时，我注意到输出被裁剪/截断为'881885895.16361'。
有人知道为什么会这样吗，或者以前见过这种奇怪的行为吗？
浏览 3提问于2021-11-11得票数 1
回答已采纳
1回答
我正在努力弄清楚如何使用絮凝包。下面我有一个简单的脚本，其中我创建了一个简单的函数。但是，我不知道如何创建两个二进制32，我可以使用它们来计算这个函数。我被困在如何创建“有界”的证明上。我还想证明，例如，对于一个特定的x和y，我不会得到一个NaN。这是絮凝的好处吗？或者我还需要调查另一个包裹？任何帮助都是非常感谢的！
Require Import Psatz.
From Flocq Require Import Fcore_FTZ Fcore Fcalc_ops Fappli_IEEE Fappli_IEEE_bits.
Definition b32_my_fun (x y : binary
浏览 0提问于2018-05-04得票数 3
回答已采纳
1回答
如果destruct H包含连接或分离，这是非常清楚的。但我不知道它在一般情况下会起什么作用。它做了一些奇怪的事情，特别是如果H: a -> b。
下面是一些例子：
Lemma demo : forall (x y: nat), x=4 -> x=4.
Proof.
intros. destruct H.
这个假设被摧毁了：
1 subgoal
x, y : nat
______________________________________(1/1)
x = x
另一个：
Lemma demo : forall (x y: nat), (x = 4 -> x=4) -&
浏览 5提问于2021-08-18得票数 2
回答已采纳
我发现这段代码的结果很奇怪
@IBOutlet weak var firstButton: UIButton!
@IBOutlet weak var secondButton: UIButton!
func selectButton(_ selectThis: UIButton) {
var deselectThis = (selectThis == firstButton) ? secondButton : firstButton
setButtonSelectionColor(deselectThis, selectIt: false)
浏览 1提问于2018-02-21得票数 0
回答已采纳
根据 (据我所能收集的)：
是一个特性类，需要类型From & To使返回类型To的函数能够编译From值。
是一个概念，要求类型From & To必须像上面所解释的那样，和，这样就可以用static_cast<To>转换From类型的r值引用。
提出的要求似乎相对来说是直截了当的.相反，对于这样一个通用概念，的r值参考转换要求似乎非常特殊，这在C++20特性的简单示例中得到了展示。
作为C++的新手，我无法完全理解两个网页中提供的一些术语和部分补充说明，我无法想象两者的需求之间的确切区别。
一些相互关联的问题：
From和To类型不仅受到的约束
浏览 1提问于2020-06-29得票数 37
回答已采纳
当使用Program时，match语句被重写为“验证传递”样式。这使得在分支中可以找到匹配的证据--这是非常关键的。
然而，这似乎也使案件分析更加困难。例如：
Require Import ZArith.
Open Scope Z_scope.
Program Definition test (x:Z) : option (x <= 100) :=
match Z_le_gt_dec x 100 with
| left bound => Some _
| right bound => None
end.
Lemma test_gt_100 : foral
浏览 4提问于2016-05-06得票数 2
回答已采纳
1回答
我有一个事实表，将运行与一个适当的计划，在我们上午的处理。偶尔，在一天晚些时候，如果我去查询它，它会有一个非常奇怪的计划。
在查询按日期分区的表时，通常会看到如下所示的查找谓词：
📷
但出于某种原因，它变成了这样：
📷
是的，我知道上面有两个不同的表格。我从一个配置类似的表中提取了一个很好的示例，它适当地显示了我期望的查找谓词。
这两种都是聚集索引查找操作符。更新统计数据似乎没有帮助，但Ola的维护脚本的某些部分似乎每天早上都会修复它。
有人见过这个吗？关于如何恢复好的计划有什么建议吗？
浏览 0提问于2016-08-04得票数 0
回答已采纳
下面是导致此错误的代码片段：
for (a=0; a<cabinets[index].length; a++) {
if (cabinets[index][a].xPos>cabinetMap.xPos) {
var newX:Number = cabinets[index][a].xPos-symbolParams.X_SPACING;
enableSwitch(cabinets[index][a].mc,false);
TweenMax.to(cabinets[index][a].m
浏览 0提问于2011-09-09得票数 0
回答已采纳
我很想了解Coq中的类型推断。我希望在Coq中找到一种具体的方法来生成类型(定理)，给出一个证明项/对象/程序。因此，给出一个证明项(可能有一个洞，也许没有洞，或者一个证明子项)，我能确定地生成它的类型吗？我想知道Coq是否为我们提供了这个功能，例如在伪Coq中：
program := (fun n : nat =>
nat_ind (fun n0 : nat => n0 + 0 = n0) eq_refl
(fun (n' : nat) (IH : n' + 0 = n') =>
eq_ind_r (fun n0 : nat => S n0
浏览 6提问于2021-12-17得票数 0
这是我在这里的第一个问题，所以希望我能提供足够的细节。请随时要求澄清。
考虑到以下几点，这是可行的：
implicit def optionBsonReader[T, U](implicit ev: BsonReader[T, U]) = new BsonReader[Option[T], Option[U]] {
def read(obj: Option[U]): Option[T] = {
obj match {
case Some(x) => Some(x.fromBson[T])
case None => None
}
}
}
浏览 3提问于2011-09-06得票数 3
回答已采纳
1回答
铸后复合型
、、、
在Postgres 9.6中，当使用函数转换为复合类型时，我面临着一种奇怪的行为。
我已经将一个复合类型的“向量”声明为x，y，z--每一个都是双精度的，并且强制转换如下：
create type vector as(
x double precision,
y double precision,
z double precision
);
create cast (text as vector)
with function vector_from_text(text) as implicit;
函数vector_from_text如下所示：
create or replace fu
浏览 7提问于2017-11-02得票数 1
1回答
类型等于数值
、、
我已经在Server中创建了表：
create table tblVehicleRegistration (
vehicleid int identity(1,1) primary key,
registrationNumber varchar(5),
registrationDate date,
userId int
)
并执行以下查询：
select UserId from tblVehicleRegistration
where registrationNumber = 20012
and registrationDate > '2016-
浏览 2提问于2020-06-04得票数 0
回答已采纳
1回答
当在vb.net中减去两个数字时，会出现一个非常奇怪的问题，它返回一个非常简单的数学方程的错误结果:我使用VisualStudio2019，我不想使用任何math.round来为这样简单的方程修正值，知道为什么会出现这个问题吗？
Dim diff As Decimal = 100.1 - 100
MsgBox(diff)
它返回0.0999999999999943
浏览 3提问于2022-01-31得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
