当前位置:首页 > 文章列表 > Golang > Go问答 > 有关 Go 语言浮点数舍入规则的误解

有关 Go 语言浮点数舍入规则的误解

来源:stackoverflow 2024-02-14 12:00:27 0浏览 收藏

学习Golang要努力,但是不要急!今天的这篇文章《有关 Go 语言浮点数舍入规则的误解》将会介绍到等等知识点,如果你想深入学习Golang,可以关注我!我会持续更新相关文章的,希望对大家都能有所帮助!

问题内容

go 语言规范中有关常量表达式的部分指出:

编译器在计算无类型浮点或复杂常量表达式时可以使用舍入;请参阅常量部分中的实现限制。这种舍入可能会导致浮点常量表达式在整数上下文中无效,即使在使用无限精度计算时它是整数,反之亦然。

这句话是吗

这种舍入可能会导致浮点常量表达式在整数上下文中无效

指向类似以下内容:

func main() {
    a := 853784574674.23846278367
    fmt.Println(int8(a)) // output: 0
}

正确答案


规范中引用的部分不适用于您的示例,因为 a 不是常量表达式而是变量,因此 int8(a) 正在转换非常量表达式。 Spec: Conversions 数字类型之间的转换涵盖了此转换:

floating-point number 转换为整数时,小数部分将被丢弃(截断为零)。

[...] 在所有涉及浮点或复数值的非常量转换中,如果结果类型不能表示转换成功的值,但结果值取决于实现。

由于您将非常量表达式 a(即 853784574674.23846278367)转换为整数,因此小数部分将被丢弃,并且由于结果不适合 int8,因此未指定结果,它取决于实现。 p>

引用的部分意味着,虽然常量的表示精度比内置类型(例如 float64int64)高得多,但编译器(必须)实现的精度不是无限的(出于实际原因),甚至如果浮点文字可以精确表示,则对其执行运算可能会通过中间舍入进行,并且可能不会给出数学上正确的结果。

The spec includes the minimum supportable precision:

实现限制:尽管数字常量在语言中具有任意精度,但编译器可以使用精度有限的内部表示来实现它们。也就是说,每个实现都必须:

  • 表示至少 256 位的整数常量。
  • 表示浮点常量,包括复数常量的各个部分,尾数至少为 256 位,带符号二进制指数至少为 16 位。
  • 如果无法精确表示整数常量,则给出错误。
  • 如果由于溢出而无法表示浮点或复数常量,则给出错误。
  • 如果由于精度限制而无法表示浮点或复数常量,则舍入为最接近的可表示常量。

例如:

const (
    x = 1e100000 + 1
    y = 1e100000
)

func main() {
    fmt.println(x - y)
}

此代码应输出 1,因为 xy 大 1。在 Go Playground 上运行它会输出 0,因为常量表达式 x - y 是通过舍入执行的,因此 +1 会丢失。 xy 都是整数(没有小数部分),因此在整数上下文中结果应为 1。但数字 1e100000 表示它需要大约 333000 位,这不是编译器的有效要求(根据规范,256 位尾数就足够了)。

如果我们降低常数,我们会得到正确的结果:

const (
    x = 1e1000 + 1
    y = 1e1000
)

func main() {
    fmt.Println(x - y)
}

这会输出数学上正确的 1 结果。在 Go Playground 上尝试一下。表示数字 1e1000 需要大约 3333 位,这似乎是受支持的(并且远远高于最低 256 位要求)。

int8 是有符号整数,并且可以有值从 -128 到 127。这就是为什么您会在 int8(a) 转换中看到意外的值。

以上就是本文的全部内容了,是否有顺利帮助你解决问题?若是能给你带来学习上的帮助,请大家多多支持golang学习网!更多关于Golang的相关知识,也可关注golang学习网公众号。

版本声明
本文转载于:stackoverflow 如有侵犯,请联系study_golang@163.com删除
VS Code - Go 调试错误 - 无法执行进程:fork/exec - 权限被拒绝VS Code - Go 调试错误 - 无法执行进程:fork/exec - 权限被拒绝
上一篇
VS Code - Go 调试错误 - 无法执行进程:fork/exec - 权限被拒绝
处理json数据的格式化和生成动态结构
下一篇
处理json数据的格式化和生成动态结构
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    542次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    508次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    497次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    484次学习
查看更多
AI推荐
  • 茅茅虫AIGC检测:精准识别AI生成内容,保障学术诚信
    茅茅虫AIGC检测
    茅茅虫AIGC检测,湖南茅茅虫科技有限公司倾力打造,运用NLP技术精准识别AI生成文本,提供论文、专著等学术文本的AIGC检测服务。支持多种格式,生成可视化报告,保障您的学术诚信和内容质量。
    39次使用
  • 赛林匹克平台:科技赛事聚合,赋能AI、算力、量子计算创新
    赛林匹克平台(Challympics)
    探索赛林匹克平台Challympics,一个聚焦人工智能、算力算法、量子计算等前沿技术的赛事聚合平台。连接产学研用,助力科技创新与产业升级。
    60次使用
  • SEO  笔格AIPPT:AI智能PPT制作,免费生成,高效演示
    笔格AIPPT
    SEO 笔格AIPPT是135编辑器推出的AI智能PPT制作平台,依托DeepSeek大模型,实现智能大纲生成、一键PPT生成、AI文字优化、图像生成等功能。免费试用,提升PPT制作效率,适用于商务演示、教育培训等多种场景。
    69次使用
  • 稿定PPT:在线AI演示设计,高效PPT制作工具
    稿定PPT
    告别PPT制作难题!稿定PPT提供海量模板、AI智能生成、在线协作,助您轻松制作专业演示文稿。职场办公、教育学习、企业服务全覆盖,降本增效,释放创意!
    65次使用
  • Suno苏诺中文版:AI音乐创作平台,人人都是音乐家
    Suno苏诺中文版
    探索Suno苏诺中文版,一款颠覆传统音乐创作的AI平台。无需专业技能,轻松创作个性化音乐。智能词曲生成、风格迁移、海量音效,释放您的音乐灵感!
    69次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码