scala類型推斷

方法msortSwapped(abcd)(_>_)

通常，一旦有需要推斷多臺方法類型參數(shù)的任務(wù)時(shí)，類型推斷器就只參考第一個(gè)參數(shù)列表中所有參數(shù)類型，但不會參考之后其他參數(shù)。因?yàn)榉椒╩sortSwapped是柯里化的方法，帶兩個(gè)參數(shù)列表，所以第二個(gè)參數(shù)(也就是說，那個(gè)函數(shù)值)將不會用來做決定方法參數(shù)的參考。

因此這種類型推斷方案也隱含了如下庫方法設(shè)計(jì)原則：如果需要把參數(shù)設(shè)計(jì)為若干非函數(shù)值及一個(gè)函數(shù)值的某種多態(tài)方法，需要把函數(shù)參數(shù)放在柯里化參數(shù)列表的最后面。這樣一來，方法的正確類型就可以通過非函數(shù)參數(shù)類推斷出來，并且這個(gè)類型可以轉(zhuǎn)而用來完成函數(shù)參數(shù)類型檢查。從而使得方法的使用者可以避免提供更多類型信息并能編譯出更簡潔的函數(shù)字面量。

==與java有何差別

scala的==遵循的比較規(guī)則：

首先檢查左側(cè)是否為null，如果不是，調(diào)用左操作數(shù)據(jù)equals方法。所以，精確的比較取決于做操作的equals方法定義。由于自動的null檢查，因此不需要手動再檢查一次了。

java里==既可以比較原始類型也可以比較引用類型。對于原始類型，java的==比較值的相等性，與scala一致。二對于引用類型，java的==比較了引用類型的相等性，也就是說比較的是兩個(gè)變量是否都指向JVM堆里的同一個(gè)對象。scala也提供了這種機(jī)制，名字是eq。不過，eq和它的反義詞neq，僅僅應(yīng)用于可以直映射到j(luò)ava的對象。

轉(zhuǎn)載于:https://www.cnblogs.com/Nervermore/p/5023590.html

總結(jié)

以上是生活随笔為你收集整理的scala类型推断及库方法设计原则和==与java有何差别的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。