Java 17 更新后的 strictfp 關(guān)鍵字
strictfp 可能是最沒有存在感的關(guān)鍵字了,很多人寫了多年 Java 甚至都不知道它的存在。接下來,它也沒有必要繼續(xù)存在了。
我們今天聊的內(nèi)容來自于 JEP 306: Restore Always-Strict Floating-Point Semantics。看到這個(gè)提案的標(biāo)題的時(shí)候,我就知道很多人懵了。這玩意歷史感太強(qiáng)了,說實(shí)話我也沒怎么接觸過。
Java 17 剛發(fā)布的那天 Kotlin 的群里短暫地提到了這一條,結(jié)果大家都以為是這玩意兒:
看到 0.3 后面那高貴的 4 了嗎,正是因?yàn)樗拇嬖冢?.1 + 0.2 跟 0.3 不一樣!
這恐怕沒什么令人驚喜的,稍微有點(diǎn)兒踩坑經(jīng)歷的小伙伴都不會(huì)這么被坑,對(duì)吧,對(duì)吧,對(duì)吧。
說起這事兒,我以前做地圖業(yè)務(wù)的時(shí)候經(jīng)常需要用到經(jīng)緯度,為了防止精度丟失,在計(jì)算之前都要先把經(jīng)緯度乘以 10^6 轉(zhuǎn)成整型。我當(dāng)年剛?cè)肼汄v訊地圖的第一天,隔壁的大哥就因?yàn)榻o某常年被教做產(chǎn)品的聊天 APP 接入地圖 SDK 時(shí)遇到了 Marker 反復(fù)橫跳的事情,后來分析就是跟精度有關(guān)。
那么,strict fp
跟這個(gè)高貴的 4 有關(guān)系嗎?如果有關(guān)系,那這次更新是特意加入了這個(gè)高貴的 4 嗎?顯然不應(yīng)該這么搞笑。因?yàn)檫@個(gè)高貴的 4 其實(shí)是源自于 IEEE 754 對(duì)浮點(diǎn)型的定義,編程語言只要是按照標(biāo)準(zhǔn)實(shí)現(xiàn)了浮點(diǎn)型,結(jié)果都是一樣的:
所以這個(gè) strict fp
是什么呢?
Java 從 1.2 開始引入了一個(gè)關(guān)鍵字:strictfp
,字面意思就是嚴(yán)格的浮點(diǎn)型。這玩意兒居然還有個(gè)關(guān)鍵字,可見其地位還是很高的。
那么問題來了,為什么要引入這么個(gè)奇怪的東西呢?我翻了翻文檔發(fā)現(xiàn)(不然還能怎樣,那個(gè)時(shí)候我才剛開始學(xué)五筆。。。),在上世紀(jì) 90 年代,Java 虛擬機(jī)為了保持原有的浮點(diǎn)型語義,在兼容 x86 架構(gòu)的處理器上執(zhí)行 x87 指令集(是 x86 指令集的一個(gè)關(guān)于浮點(diǎn)型的子集)的情況時(shí)開銷很大,性能上令人很不滿意,于是加入 strictfp 來表示原有的浮點(diǎn)型語義(即 IEEE 754 規(guī)定的那樣),而默認(rèn)的浮點(diǎn)型則采用了更加寬松的語義,這樣算是一個(gè)折中的方案。必要時(shí)使用 strictfp
很多時(shí)候就是為了確保 Java 代碼的可移植性,這其實(shí)也不難理解。
不過,這個(gè)問題很快得到了解決。在 SSE2 (Streaming SIMD Extensions 2)
擴(kuò)展指令集隨著奔騰 4 發(fā)布以后,Java 虛擬機(jī)有了更直接的方式來實(shí)現(xiàn)嚴(yán)格的浮點(diǎn)型語義,于是這個(gè)問題就不再存在了。
顯然,對(duì)于我們絕大多數(shù)程序員來講,特別是后來的所有 Android
開發(fā)者來講,這個(gè)問題根本不存在,這更新簡(jiǎn)直跟沒更一樣。說著我還看了一眼旁邊的 Apple Silicon
,你說是不是呢 M1?
當(dāng)然,如果你對(duì)這個(gè)更新點(diǎn)感興趣,我建議你翻一下老版本當(dāng)中的 StrictMath
類。在這里,你還可以看到一些 strictfp
的使用場(chǎng)景 —— 而在 Java 17
當(dāng)中,StrictMath
已經(jīng)完全淪為 Math 的馬甲了。
Java 16(源碼來自于 Liberica JDK)
// StrictMath.java public static strictfp double toRadians(double angdeg) { // Do not delegate to Math.toRadians(angdeg) because // this method has the strictfp modifier. return angdeg * DEGREES_TO_RADIANS; }
Java 17(源碼來自于 Oracle JDK)
// StrictMath.java public static double toRadians(double angdeg) { return Math.toRadians(angdeg); }
我們也不妨看一下 Android 的實(shí)現(xiàn):
Android 30
public static strictfp double toRadians(double angdeg) { // Do not delegate to Math.toRadians(angdeg) because // this method has the strictfp modifier. return angdeg / 180.0 * PI; }
Android
的 JDK
代碼來自于 OpenJDK
,連注釋都沒改過。
到此這篇關(guān)于Java 17 更新后的 strictfp 關(guān)鍵字的文章就介紹到這了,更多相關(guān)Java 17 strictfp
關(guān)鍵字內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
spark中使用groupByKey進(jìn)行分組排序的示例代碼
這篇文章主要介紹了spark中使用groupByKey進(jìn)行分組排序的實(shí)例代碼,本文通過實(shí)例代碼給大家講解的非常詳細(xì),對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2023-03-03Java判斷數(shù)字位數(shù)的方法總結(jié)
本文給大家整理了Java判斷數(shù)字位數(shù)的兩種常用方法,對(duì)此有興趣的可以跟著小編一起學(xué)習(xí)下。2018-02-02Java Web開發(fā)項(xiàng)目中中文亂碼解決方法匯總
這篇文章主要為大家詳細(xì)匯總了Java Web開發(fā)項(xiàng)目中中文亂碼的解決方法,分析了5種Java Web中文亂碼情況,感興趣的小伙伴們可以參考一下2016-05-05Automapper實(shí)現(xiàn)自動(dòng)映射的實(shí)例代碼
這篇文章主要介紹了Automapper實(shí)現(xiàn)自動(dòng)映射的實(shí)例代碼,需要的朋友可以參考下2017-09-09Java實(shí)現(xiàn)上傳文件到服務(wù)器的示例代碼
這篇文章主要為大家詳細(xì)介紹了如何使用Java實(shí)現(xiàn)上傳文件到服務(wù)器,文中的示例代碼講解詳細(xì),感興趣的小伙伴可以跟隨小編一起學(xué)習(xí)一下2024-04-04mybatis打印的sql日志不寫入到log文件的問題及解決
這篇文章主要介紹了mybatis打印的sql日志不寫入到log文件的問題及解決方案,具有很好的參考價(jià)值,希望對(duì)大家有所幫助,如有錯(cuò)誤或未考慮完全的地方,望不吝賜教2023-08-08