為什么 Go 語言把類型放在后面？
本文轉(zhuǎn)載自微信公眾號「腦子進煎魚了」，作者陳煎魚。轉(zhuǎn)載本文請聯(lián)系腦子進煎魚了公眾號。
大家好，我是煎魚。
前段時間看到大家在吵一個話題，那就是 Go 語言的類型聲明，摳知識摳的非常細了，就是為什么他要放在后面，展開了熱烈的討論。
示例代碼如下：
- var a []string
- var b []string
其實在早年 Go 官方估計已經(jīng)被問煩了，寫過一篇《Go's Declaration Syntax[1]》來具體介紹和說明情況。
為此煎魚將參考并結(jié)合這篇官方資料，帶大家一起了解為什么 Go 如此的 “與眾不同” ，為什么要把類型放在后面。
類型前置
在業(yè)內(nèi)目前有不少知名語言，也采取的是在聲明變量類型時，把類型定義在名字前面。像是 C、C++、C#、Java 等：
- int x;
- int x = 100;
基本的格式定義：
上面的聲明是一個簡單的例子，如果更復(fù)雜一些，Go 官方還給出了著名的函數(shù)指針的例子：
- int (*fp)(int a, int b);
更進一步，如果返回值也是個函數(shù)指針類型，就會變成：
- int (*(*fp)(int (*)(int, int), int))(int, int)
這已經(jīng)很難看出來是個 fp 的聲明了。
類型后置
前面所舉例的類型前置的編程語言，很多都是 C 系列中的一者。類型后置的代表，分別有：Go、Rust、Scala、Kotlin 等。
其實在很多類型后置的編程語言種，會采取變量名+冒號+類型的方式出現(xiàn)。就像 Rust 一樣：
- let x: i32;
- var a []string
基本的格式定義：
- x: int
- p: pointer to int
- a: array[3] of int
Go 官方參照了這類類型后置的設(shè)計，并且為了簡潔，進一步去掉了冒號和一些關(guān)鍵字，變成：
- var a []string
我們再看回前面 fp 的聲明的例子：
- int (*(*fp)(int (*)(int, int), int))(int, int)
再對比 Go 語言中就變成了：
f func(func(int,int) int, int) func(int, int) int
兩者一對比，Go 語言代碼可讀性確實更高一些。
思考
后置類別
在類型聲明上，實際上分為：變量類型后置、函數(shù)返回值后置。兩者共同構(gòu)建了前置還是后置，總不能一個前置，一個后置吧，那得多么的難受。
上方 C 語言和 Go 語言函數(shù)指針的例子，所對比帶來的代碼可讀性提高，其實本質(zhì)上是由函數(shù)返回值后置所帶來的。
和類型前置、后置沒太多直接關(guān)系。
核心思想
在類型后置上來講，Go 官方核心思想是：這種聲明方式(從左到右的風(fēng)格)的一個優(yōu)點是，當(dāng)類型變得更加復(fù)雜時，它的效果非常好(One merit of this left-to-right style is how well it works as the types become more complex)。
Go 的變量名總是在前，在人的代碼閱讀上可以保持從左到右閱讀，不需要像 C 語言一樣在一大堆聲明中用技巧找變量名對應(yīng)的類型。
The Clockwise/Spiral Rule
為此甚至有人寫了篇 C 語言的順時針讀法《The Clockwise/Spiral Rule[2]》，有興趣可以閱讀。
如此一對比，Go 語言的類型后置在復(fù)雜場景下與 C 語言的對比確實更好一些。
其他因素
類型推導(dǎo)
諸如在類型推導(dǎo)的形式上也會更直觀：
- func main() {
- var s1 := "腦子進煎魚了"
- var s2 string
- }
也是一個可讀性提高的問題。
類型和名字誰更重要
不同設(shè)計者對誰更重要的理解也不一樣。是類型更重要，還是名字更重要呢?
有的人認為是類型，有的人認為是名字。這就真的是千人千面，眾口難調(diào)了。
C# 的后悔
我們看看其他語言，C# 設(shè)計組成員之一，其實在《Sharp Regrets: Top 10 Worst C# Features[3]》中的第五點表達了個人對類型前置、后置的設(shè)計教訓(xùn)。
核心觀點是：從編程和數(shù)學(xué)兩方面來看，都有一個約定，即計算的結(jié)果在右側(cè)表示，所以在類 C 語言中，類型在左側(cè)是很奇怪的。
在設(shè)計時，C# 本來計劃把類型注釋放在右邊。但考慮到類 C 語言，因此遵循了其他語言的慣例。
總結(jié)
實際上該問題的研討，在 2021 年的現(xiàn)在，大部分 case 都一一被反駁了。類型后置也不是一個與眾不同的設(shè)計，很多語言都是如此。但既然要討論 Go 語言，那更多的是站在設(shè)計者的角度去考慮。
結(jié)合 Go 所提供的官方資料，在當(dāng)年的目的更多的是為了在遇到復(fù)雜類型定義時，能保持一定的代碼可讀性。
當(dāng)然，這不可否認肯定包含 Go 開發(fā)團隊的主觀意識。有興趣的可以具體挖挖背后的信息。
如果是你，你會希望類型放在前面，還是后面呢，為什么?
參考資料
[1]Go's Declaration Syntax: https://go.dev/blog/declaration-syntax
[2]The Clockwise/Spiral Rule: http://c-faq.com/decl/spiral.anderson.html
[3]Sharp Regrets: Top 10 Worst C# Features: https://www.informit.com/articles/article.aspx?p=2425867
