為什么 Go 語言把類型放在后面？

示例代碼如下：

var?a?[]string
var?b?[]string

其實(shí)在早年 Go 官方估計(jì)已經(jīng)被問煩了，寫過一篇《Go's Declaration Syntax[1]》來具體介紹和說明情況。

為此煎魚將參考并結(jié)合這篇官方資料，帶大家一起了解為什么 Go 如此的 “與眾不同” ，為什么要把類型放在后面。

# 類型前置

在業(yè)內(nèi)目前有不少知名語言，也采取的是在聲明變量類型時(shí)，把類型定義在名字前面。像是 C、C++、C#、Java 等：

int?x;
int?x?=?100;

基本的格式定義：;。

上面的聲明是一個(gè)簡單的例子，如果更復(fù)雜一些，Go 官方還給出了著名的函數(shù)指針的例子：

int?(*fp)(int?a,?int?b);

更進(jìn)一步，如果返回值也是個(gè)函數(shù)指針類型，就會(huì)變成：

int?(*(*fp)(int?(*)(int,?int),?int))(int,?int)

這已經(jīng)很難看出來是個(gè) fp 的聲明了。

# 類型后置

前面所舉例的類型前置的編程語言，很多都是 C 系列中的一者。類型后置的代表，分別有：Go、Rust、Scala、Kotlin 等。

其實(shí)在很多類型后置的編程語言種，會(huì)采取變量名+冒號(hào)+類型的方式出現(xiàn)。就像 Rust 一樣：

let?x:?i32;

基本的格式定義：

x:?int
p:?pointer?to?int
a:?array[3]?of?int

Go 官方參照了這類類型后置的設(shè)計(jì)，并且為了簡潔，進(jìn)一步去掉了冒號(hào)和一些關(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í)更高一些。

# 思考

?后置類別

在類型聲明上，實(shí)際上分為：變量類型后置、函數(shù)返回值后置。兩者共同構(gòu)建了前置還是后置，總不能一個(gè)前置，一個(gè)后置吧，那得多么的難受。

上方 C 語言和 Go 語言函數(shù)指針的例子，所對比帶來的代碼可讀性提高，其實(shí)本質(zhì)上是由函數(shù)返回值后置所帶來的。

和類型前置、后置沒太多直接關(guān)系。

?核心思想

在類型后置上來講，Go 官方核心思想是：這種聲明方式（從左到右的風(fēng)格）的一個(gè)優(yōu)點(diǎn)是，當(dāng)類型變得更加復(fù)雜時(shí)，它的效果非常好（One merit of this left-to-right style is how well it works as the types become more complex）。

Go 的變量名總是在前，在人的代碼閱讀上可以保持從左到右閱讀，不需要像 C 語言一樣在一大堆聲明中用技巧找變量名對應(yīng)的類型。

為此甚至有人寫了篇 C 語言的順時(shí)針讀法《The Clockwise/Spiral Rule[2]》，有興趣可以閱讀。

如此一對比，Go 語言的類型后置在復(fù)雜場景下與 C 語言的對比確實(shí)更好一些。

?其他因素

類型推導(dǎo)

諸如在類型推導(dǎo)的形式上也會(huì)更直觀：

func?main()?{
????var?s1?:=?"腦子進(jìn)煎魚了"
????var?s2?string
}

也是一個(gè)可讀性提高的問題。

類型和名字誰更重要

不同設(shè)計(jì)者對誰更重要的理解也不一樣。是類型更重要，還是名字更重要呢？

有的人認(rèn)為是類型，有的人認(rèn)為是名字。這就真的是千人千面，眾口難調(diào)了。

# C# 的后悔

我們看看其他語言，C# 設(shè)計(jì)組成員之一，其實(shí)在《Sharp Regrets: Top 10 Worst C# Features[3]》中的第五點(diǎn)表達(dá)了個(gè)人對類型前置、后置的設(shè)計(jì)教訓(xùn)。

核心觀點(diǎn)是：從編程和數(shù)學(xué)兩方面來看，都有一個(gè)約定，即計(jì)算的結(jié)果在右側(cè)表示，所以在類 C 語言中，類型在左側(cè)是很奇怪的。

在設(shè)計(jì)時(shí)，C# 本來計(jì)劃把類型注釋放在右邊。但考慮到類 C 語言，因此遵循了其他語言的慣例。

# 總結(jié)

實(shí)際上該問題的研討，在 2021 年的現(xiàn)在，大部分 case 都一一被反駁了。類型后置也不是一個(gè)與眾不同的設(shè)計(jì)，很多語言都是如此。但既然要討論 Go 語言，那更多的是站在設(shè)計(jì)者的角度去考慮。

結(jié)合 Go 所提供的官方資料，在當(dāng)年的目的更多的是為了在遇到復(fù)雜類型定義時(shí)，能保持一定的代碼可讀性。

當(dāng)然，這不可否認(rèn)肯定包含 Go 開發(fā)團(tuán)隊(duì)的主觀意識(shí)。有興趣的可以具體挖挖背后的信息。

如果是你，你會(huì)希望類型放在前面，還是后面呢，為什么？