作者:Rob Pike,原文鏈接:Go's Declaration Syntax
以下是譯文:
前言
Go 的初學(xué)者可能會(huì)有這樣的疑問(wèn):為什么 Go 的聲明語(yǔ)法與傳統(tǒng)的其他 C 家族編程語(yǔ)言不太一樣?在這篇文章中我們會(huì)比較這兩種不同的方式币狠,并且也會(huì)解釋為什么验辞。
C 變量
首先凶硅,讓我們說(shuō)說(shuō) C 中的語(yǔ)法悠咱。C 使用了一種不尋常的巧妙的方法來(lái)實(shí)現(xiàn)聲明語(yǔ)法峭沦。我們不是用什么特殊的語(yǔ)法來(lái)描述類型贾虽,而是寫一個(gè)表達(dá)式,這個(gè)表達(dá)式包含兩個(gè)部分:被聲明的變量和變量的類型吼鱼。
int x;
上面這行代碼聲明了一個(gè)類型為 int 的變量 x蓬豁。一般來(lái)說(shuō),為了弄清楚如何編寫新變量的類型菇肃,可以先寫一個(gè)含基本類型變量的表達(dá)式地粪,然后將基本類型放在左邊,將表達(dá)式放在右邊琐谤。
因此驶忌,下面的聲明:
int *p;
int a[3];
描述的是 p 是一個(gè)指向 int 類型的指針,因?yàn)?‘*p’ 的類型為 int笑跛。而 a 是一個(gè) int 類型的數(shù)組付魔,因?yàn)?‘a(chǎn)[3]’ (這里請(qǐng)忽略下標(biāo)的值 3,它只是說(shuō)明數(shù)組的大蟹甚濉)的類型是 int几苍。
那函數(shù)呢?在最開(kāi)始的時(shí)候陈哑,C 的函數(shù)聲明是將 參數(shù)的類型寫在括號(hào)外面的妻坝,像這樣:
int main(argc, argv)
int argc;
char *argv[];
{ /* ... */ }
再一次,我們可以看到 main 是一個(gè)函數(shù)惊窖,因?yàn)楸磉_(dá)式 main(argc, argv)
返回了一個(gè) int 類型的值」粝埽現(xiàn)在大家比較習(xí)慣寫成這樣:
int main(int argc, char *argv[]) { /* ... */ }
但是基本的結(jié)構(gòu)還是一樣的。
對(duì)于簡(jiǎn)單的類型來(lái)說(shuō)這種巧妙的語(yǔ)法思想是能很好工作的界酒,但是一旦類型變得復(fù)雜就會(huì)令人感到困惑了圣拄。非常經(jīng)典的一個(gè)例子就是聲明一個(gè)函數(shù)指針。遵循著規(guī)則毁欣,你得到了下面的這種寫法:
int (*fp)(int a, int b);
fp 是一個(gè)指向函數(shù)的指針庇谆,因?yàn)槿绻銓懸粋€(gè)表達(dá)式 (*fp)(a, b)
你會(huì)調(diào)用函數(shù)并得到一個(gè) int 類型的值。那如果 fp 的其中一個(gè)入?yún)⑺旧硪彩且粋€(gè)函數(shù)呢凭疮?
int (*fp)(int (*ff)(int x, int y), int b)
這就變得開(kāi)始難以閱讀了饭耳。
當(dāng)然,我們可以在聲明一個(gè)函數(shù)的時(shí)候去掉參數(shù)名执解,那么 main 函數(shù)可以聲明成:
int main(int, char *[])
讓我們回想一下寞肖,argv 是這樣聲明的,
char *agrv[]
通過(guò)把變量名放在中間來(lái)聲明類似 char *[]
這樣類型的時(shí)候其實(shí)是令人困惑的。
然后我們?cè)賮?lái)看看如果我們將入?yún)⒆兞棵サ舻那闆r下 fp 函數(shù)的聲明是怎么樣的:
int (*fp)(int (*)(int, int), int)
無(wú)論將變量名放在內(nèi)部的哪里都不那么清晰明了新蟆。對(duì)于第一個(gè)入?yún)ⅲ?/p>
int (*)(int, int)
我想這不太容易能一眼看出是在聲明一個(gè)指向函數(shù)的指針耕姊。再進(jìn)一步,如果我們的返回值也是一個(gè)函數(shù)指針呢栅葡?
int (*(*fp)(int (*)(int, int), int))(int, int)
這根本就看不清聲明出來(lái)的 fp 到底是個(gè)啥玩意茉兰。。欣簇。
你自己也可以構(gòu)造出更多這類詳細(xì)的例子规脸,但是這些都說(shuō)明了 C 的聲明語(yǔ)法可能引入的一些困難。
不過(guò)還有一點(diǎn)需要提出熊咽。因?yàn)轭愋秃吐暶鞯恼Z(yǔ)法是相同的莫鸭,所以解析中間類型的表達(dá)式是很困難的。這就是為什么 C 的類型轉(zhuǎn)換總是用括號(hào)括起來(lái):
(int)M_PI
Go 語(yǔ)法
非 C 家族的編程語(yǔ)言通常使用不同的聲明類型的語(yǔ)法:變量名通常放在前面横殴,然后緊跟著一個(gè)冒號(hào)被因。因此我們上面的例子就變成了這樣:
x: int
p: pointer to int
a: array[3] of int
這些聲明是明確的,如果從左往右讀你會(huì)發(fā)現(xiàn)也是詳細(xì)的衫仑。Go 語(yǔ)言從中得到了啟發(fā)梨与,但為了簡(jiǎn)潔起見(jiàn),刪除了冒號(hào)和一些關(guān)鍵字:
x int
p *int
a [3]int
這個(gè)例子中 [3]int
與如何在表達(dá)式中使用 a 這兩者似乎沒(méi)有直接的對(duì)應(yīng)文狱。(后面一小節(jié)中我們會(huì)講到指針的粥鞋。)你可以通過(guò)單獨(dú)的語(yǔ)法來(lái)獲得清晰的結(jié)果。
現(xiàn)在讓我們考慮下函數(shù)瞄崇。讓我們把這個(gè)聲明寫成 Go 的形式呻粹,盡管在 Go 中真正的 main 函數(shù)是沒(méi)有入?yún)⒌模?/p>
func main(argc int, argv []string) int
表面上這和 C 語(yǔ)言并沒(méi)什么不同,除了將字符數(shù)組改成了字符串形式苏研。但是從左往右讀起來(lái)卻很順暢:
函數(shù) main 需要傳入一個(gè)整型和字符串切片并且返回一個(gè)整型等浊。(譯者注:直到譯者看到這篇文章,譯者才發(fā)現(xiàn)原來(lái)這么寫讀起來(lái)竟這么順暢摹蘑。筹燕。。)
即便舍去變量名還是很明確——因?yàn)閷?duì)于類型聲明上沒(méi)有位置的變化纹蝴,所以也沒(méi)有什么困惑庄萎。
func main(int, []string) int
這種從左到右的風(fēng)格有一個(gè)優(yōu)點(diǎn):就算類型變得越來(lái)越復(fù)雜踪少,這種方式還是表現(xiàn)得很得當(dāng)塘安。
舉個(gè)聲明函數(shù)變量的例子(類似在 C 語(yǔ)言中的函數(shù)指針):
f func(func(int, int) int, int) int
或者如果 f 返回的也是一個(gè)函數(shù)(譯者注:邊寫邊讀你會(huì)再次驚訝于這絲滑般的順暢感。援奢。兼犯。):
f func(func(int, int) int, int) func(int, int) int
從左到右依然讀起來(lái)很順暢,并且當(dāng)變量名被聲明的時(shí)候也很明顯。
類型和表達(dá)式的語(yǔ)法的不同點(diǎn)使得在 Go 中編寫和調(diào)用閉包是那么的簡(jiǎn)單:
sum := func(a, b int) int { return a + b } (3, 4)
指針
指針這家伙總是表現(xiàn)得“與眾不同”一點(diǎn)切黔。觀察下數(shù)組和切片砸脊,舉個(gè)例子,Go 的類型語(yǔ)法將方括號(hào)放在類型的左邊纬霞,但是賦值表達(dá)式語(yǔ)法卻是將其放在表達(dá)式的右邊:
var a []int
x = a[1]
為了讓大家有一種熟悉的感覺(jué)凌埂,Go 的指針同樣延續(xù) C 語(yǔ)言中的 *
符號(hào),但是我們不能簡(jiǎn)單的將指針類型也反轉(zhuǎn)一下诗芜。所以指針使用方式如下:
var p *int
x = *p
我們不能簡(jiǎn)單粗暴地改成這樣:
var p *int
x = p*
因?yàn)楹缶Y * 會(huì)與乘法的 * 相混淆瞳抓。那或許我們可以使用 ^,舉個(gè)例子:
var p ^int
x = p^
但同樣的這個(gè)符號(hào)也已經(jīng)有其他含義了伏恐,類型和表達(dá)式在前綴后綴的問(wèn)題上總是在許多方面使事情復(fù)雜化孩哑。舉個(gè)例子,
[]int("hi")
這是一種寫法翠桦,但一旦以 * 打頭就必須用括號(hào)將其包缀嵫选:
(*int)(nil)
如果我們?cè)敢夥艞?* 作為指針語(yǔ)法,那么這些括號(hào)就不是必要的了销凑。(譯者注:但還能有更好的指針語(yǔ)法嗎丛晌。。斗幼。)
所以 Go 的指針語(yǔ)法與熟悉的 C 語(yǔ)言是類似的茵乱,但這個(gè)關(guān)聯(lián)也意味著我們不得不使用括號(hào)來(lái)消除語(yǔ)法中的類型和表達(dá)式之間的差異。
總體而言孟岛,我們相信 Go 的類型語(yǔ)法比 C 的要更容易理解瓶竭,尤其是當(dāng)事情變得復(fù)雜的時(shí)候。