- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我对这些东西很好奇:
如果您可以引用任何来源,那将非常有帮助。我查看了 IEEE-754 文档,但找不到任何关于实现的具体说明。
编辑:假设 IEEE-754 规范
最佳答案
Does the C language always store the floating-point numbers in the normalized form?
“这取决于。”正如我们将看到的,决定这一点的是硬件而不是 C 语言。
如果实现使用的不是 IEEE-754 ,我们无话可说。
如果实现确实使用了 IEEE-754,那么所有数字总是被规范化存储,除了那些不是的数字,即 subnormals。
Does this also hold true for the results obtained after some arithmetic (addition, multiplication)?
是的。 (更多内容见下文。)
Is it dependent on the language or the hardware - FPU?
它通常取决于硬件。大多数时候,假设目标处理器完全支持浮点,C 程序直接编译为 native 浮点指令,无需任何语言或编译器强加的额外处理。 (这与例如 Java 形成对比,Java 确实具有语言强加的浮点定义,该定义部分由 JVM 实现。)
C 标准确实有一个可选部分“附件 F”,它指定了一组特定的浮点行为,符合 IEEE-754。
现在,如果 C 实现采用 Annex F 并符合 IEEE-754(通常是因为底层硬件也是如此),您的前两个问题的答案变得更加容易。在 IEEE-754 二进制算术中,除了一个异常(exception),表示没有歧义。每个可以以规范化形式表示的数字都只有一个规范化表示。每个不能以规范化形式表示但可以表示为次正规的数字都只有一个次正规表示。这些约束适用于每个 IEEE-754 float ,包括(自然而然地)其他运算的结果。
(异常(exception),正如 Eric 和 Chux 在评论中提醒我的那样,为零,IEEE-754 有两个,正面和负面。)
所以“结果是否总是归一化”的答案?是“否”(因为 IEEE-754 最肯定有那些次正规,当然是零),但如果问题是“每个数字都有唯一的表示吗?”,答案大多是"is"。 (同样,零除外。或者,如果您是少数使用 IEEE-754-2008 十进制 格式的人之一,这种格式的独特性要低得多。)另见 How to distinguish between 1 and zero floating-point values?
我想最后一个问题是“有多少 C 实现采用附件 F?”,或者换一种说法,“有多少处理器符合 IEEE-754?”对于通用计算机(大型机和个人计算机)上的 CPU,据我所知,这些天的答案是“全部”。另一方面,GPU 故意与 IEEE-754 不太兼容(因为那样的话它们的效率会更高)。微处理器,对于“嵌入式”工作,我不太确定。 (通常它们根本没有可行的 float 。)
关于C: 浮点运算的结果总是归一化的吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/70043174/
我不明白 int 63823 为何比 double 1.0 占用更少的空间。在这个特定实例中,int 中是否没有存储更多信息? 最佳答案 I don't understand how an int 6
这可能不是一个直接的代码问题,但它是一个经常出现在 SO 上的问题,我发现阅读它非常有用。 App Store - Help answering “Missing Compliance” (using
我在我们的应用程序中使用 syncfusion 寻呼机和下拉列表请打开以下链接。 https://stackblitz.com/edit/angular-nv6myv?file=src%2Fapp%2
以便解释指针和引用in this question我写了这段代码。 MyClass& MyClass::MyInstance() { static MyClass & myLoca
在 C 和 C++ 中,assert 是一个非常 重量级例程,将错误写入 stdout 并终止程序。在我们的应用程序中,我们实现了一个更强大的 assert 替代品,并为其提供了自己的宏。已尽一切努力
我已经创建了一个 MVC webApi 项目,现在我想使用身份验证和授权。我想我已经实现了这种安全措施,但由于某种原因,有些事情变糟了,当我编写我的凭据并尝试调用一些 webApi 方法时,显示消息“
我发现自己使用一种奇怪的方式向我的函数添加回调函数,我想知道是否有更通用的方式向函数添加回调函数,最好的情况是我的所有函数都检查最后给定的作为函数的参数,如果是,则将其用作回调。 我以前是这样的: v
几乎从来没有我只想获取某个 Remote 的情况;我总是想要所有的 Remote 。我认为这将是一个足够常见的用例,git 会考虑它(与他们有 pull.rebase true 的方式相同)。 那么,
我正在尝试使用 inarray 但它总是返回 true?有任何想法吗? (所有 li 均已显示) $("#select-by-color-list li").hide(); // get the se
我正在尝试为我公司的开发环境设置过期网址。我们使用 lighttpd在此环境中提供上传的文件,我发现 these docs这似乎相当有希望。 问题是我似乎根本无法让它工作,而且我有点不知所措,试图找出
我无法让“文件夹”外部变量工作。我总是得到[:]。 我正在 Windows 下的 Grails 上进行开发(这就是为什么外部配置文件看起来像 file:C:\path\to/file)。 我在另一个项
这个问题是出于对 PL 如何工作的好奇,而不是其他任何事情。 (它实际上是在查看与 Haskell 不同的 SML 时想到的,因为前者使用按值调用 - 但我的问题是关于 Haskell。) Haske
我有一个高速缓存内存模块,我希望它是可字寻址的,但有字节的写使能信号。 always @ (posedge clk) begin //stuff... if(write) begin
我正在处理一些代码,其中一个对象“foo”正在创建另一个对象对象“bar”,并向其传递一个Callable。之后 foo 将返回bar,然后我希望 foo 变得无法访问(即:可用于垃圾收集)。 我最初
我已将我的程序与此方法相关联: public static void CreateFileAssociation(string extension, string key, string descri
所以我正在进行目录遍历,但我无法让 opendir 按照我想要的方式工作。它总是无法打开我发送的目录,它给出了一些未知的错误。我通常传入 argv[1],但我放弃了,只是开始硬编码路径。 char *
这个问题在这里已经有了答案: How do I compare strings in Java? (23 个回答) 关闭 9 年前。 出于某种原因,我的(基本)程序总是打印我为 else 语句保留的
我不想冒为此提出破解的风险,因为它涉及 datetime 对象。基本上,我想按如下方式进行转换: 2010-04-21 06:37:53 -> 2010-04-21 06:40:00 2010-08-
我正在用 C 语言玩文件 I/O。我正在尝试使用 fgets 从一个文件中读取数据并将其输出到另一个文件。问题是它总是返回 NULL,因此没有任何内容被复制到输出文件中。这是我的代码: #includ
class MyClass { // empty class with no base class }; int main() { MyClass* myClass = new MyC
我是一名优秀的程序员,十分优秀!