OpenJDK Project Valhalla Releases LW2 Prototype | 程式設計

OpenJDK Project Valhalla Releases LW2 Prototype (www.infoq.com)

4 則討論 haocheng 張貼於 5 years ago

IngramChen 積分 0

變天了！

value type 改名 InlineType , InlineType 不能 null，要多一層 IndirectType才行 (後面加個 ?)

IndirectType 白話講就是 Boxed Type 吧

primitive 和 boxed type:

int -> Integer

到了 inline 和 indirect 就會寫成這樣

inline class Foo

Foo -> Foo?

所以 inline type 可直接當 primitive 來看，像這種寫法 List<Foo> 是不行的，你得用 indirect type (即Boxed)，也就是 List<Foo?>。

私以為這個設計高竿，只用一個 symbo ? 直接解決原本 value type 模菱兩可的表示 (看不出到底有沒有 boxing)，而這個 ? 可以為了之後的 nullable type 舖路

回應 5 years ago

IngramChen 積分 0

然後這些看起來奇怪的限制，kotlin 應該會幫我們處理掉，直接享受 inline type 帶來的好處，哈！

回應 5 years ago

IngramChen 積分 0

不知道會不會有 string (小寫) 這種 inline type，因為字串在程式裡用太多了，如果不能鑲在 inline type 裡用途就少很多

回應 5 years ago

koji 積分 0

回應 5 years ago

Kmark 是一個類似 Markdown 語法的格式，以下為提供的功能:

種類	語法	呈現
斜體	兩邊加單星	兩邊加單星
粗體	兩邊加雙星	兩邊加雙星
刪除線	~~兩邊加雙曲號~~	~~兩邊加雙曲號~~
引用	> 左邊加個大於符號	左邊加個大於符號
列表	* 可用星號 * 也可以 - 減號 * 數字加點也可以	可用星號也可以 - 減號數字加點也可以
固定寬字	`abcdefghijk` 兩邊用倒引號包住	`abcdefghijk`
編碼區塊	``` function abc() ``` 上下都用三個倒引號包住	`function abc()`
連結	[這是連結][1] [1]: http://example.com 連結第一部份是文字，先用中括號包住，後面再加上 [編號]。第二部份是連結本身，放在文末，開頭是 [編號]: http	這是連結1 1 http://example.com

Kmark 是一個類似 Markdown 語法的格式，以下為提供的功能:

種類	語法	呈現
斜體	兩邊加單星	兩邊加單星
粗體	兩邊加雙星	兩邊加雙星
刪除線	~~兩邊加雙曲號~~	~~兩邊加雙曲號~~
引用	> 左邊加個大於符號	左邊加個大於符號
列表	* 可用星號 * 也可以 - 減號 * 數字加點也可以	可用星號也可以 - 減號數字加點也可以
固定寬字	`abcdefghijk` 兩邊用倒引號包住	`abcdefghijk`
編碼區塊	``` function abc() ``` 上下都用三個倒引號包住	`function abc()`
連結	[這是連結][1] [1]: http://example.com 連結第一部份是文字，先用中括號包住，後面再加上 [編號]。第二部份是連結本身，放在文末，開頭是 [編號]: http	這是連結1 1 http://example.com