為什么 Go 不支持函數(shù)重載和缺省參數(shù)？

大家好，我是煎魚。

部分同學(xué)在初學(xué)習(xí) Go 語言時(shí)，帶著其他語言的習(xí)慣，總是會有些不習(xí)慣，感覺非常不能理解，直打問號。

其中一點(diǎn)就是問到 “為什么 Go 語言不支持函數(shù)重載和缺省參數(shù)”，覺得使用起來很不方便，畢竟以前能省了定義不少東西。

為此，在這篇文章中煎魚就和大家一起來了解為什么，有又會怎么樣。

函數(shù)重載

函數(shù)重載（function overloading），也叫方法重載。是某些編程語言（如 C++、C#、Java、Swift、Kotlin 等）具有的一項(xiàng)特性。

該特性允許創(chuàng)建多個(gè)具有不同實(shí)現(xiàn)的同名函數(shù)，對重載函數(shù)的調(diào)用會運(yùn)行其適用于調(diào)用上下文的具體實(shí)現(xiàn)。

從功能上來講，就是允許一個(gè)函數(shù)調(diào)用根據(jù)上下文執(zhí)行不同的方法，達(dá)到調(diào)用同一個(gè)函數(shù)名，執(zhí)行不同的方法。

一個(gè)簡單的例子：

#include?

int?Volume(int?s)?{??//?立方體的體積。
??return?s?*?s?*?s;
}

double?Volume(double?r,?int?h)?{??//?圓柱體的體積。
??return?3.1415926?*?r?*?r?*?static_cast<double>(h);
}

long?Volume(long?l,?int?b,?int?h)?{??//?長方體的體積。
??return?l?*?b?*?h;
}

int?main()?{
??std::cout?<10);
??std::cout?<2.5,?8);
??std::cout?<100l,?75,?15);
}

在上述例子中，實(shí)現(xiàn)了 3 個(gè)同名的 Volume 函數(shù)，但是 3 個(gè)函數(shù)的入?yún)€(gè)數(shù)、類型均不一樣，也代表了不同的實(shí)現(xiàn)目的。

在主函數(shù) main 中，傳入了不同的入?yún)ⅲ幾g器或運(yùn)行時(shí)再進(jìn)行內(nèi)部處理，從程序上來看達(dá)到了調(diào)用不同函數(shù)的目的。

這就是函數(shù)重載，一函數(shù)多形態(tài)。

參數(shù)默認(rèn)值

參數(shù)默認(rèn)值，又叫缺省參數(shù)。指的是允許程序員設(shè)定缺省參數(shù)并指定默認(rèn)值，當(dāng)調(diào)用該函數(shù)并未指定值時(shí)，該缺省參數(shù)將為缺省值來使用。

一個(gè)簡單的例子：

?int?my_func(int?a,?int?b,?int?c=12);

在上述例子中，函數(shù) my_func 一共有 3 個(gè)變量，分別是：a、b、c。變量 c 設(shè)置了缺省值，也就是 12。

其調(diào)用方式可以為：

?//?第一種調(diào)用方式
?result?=?my_func(1,?2,?3);
?//?第二種調(diào)用方式
?result?=?my_func(1,?2);

在第一種方式中，就會正常的傳入所有參數(shù)。在第二種方式，由于第三個(gè)參數(shù) c 并沒有傳遞，因此會直接使用缺省值 12。

這就是參數(shù)默認(rèn)值，也叫缺省參數(shù)。

為什么不支持

美好

從上述的功能特性介紹來看，似乎非常的不錯(cuò)，能夠節(jié)省很多功夫。像是 Go 語言的 context 庫中的這些方法：

func?WithCancel(parent?Context)?(ctx?Context,?cancel?CancelFunc)
func?WithDeadline(parent?Context,?d?time.Time)?(Context,?CancelFunc)
func?WithTimeout(parent?Context,?timeout?time.Duration)?(Context,?CancelFunc)

要是有函數(shù)重載，直接就 WithXXX 就好了，只需要關(guān)注傳入的參數(shù)類型，也不用 “記” 那么多個(gè)方法名了。

有同學(xué)說，有參數(shù)默認(rèn)值。那就可以直接設(shè)置在上面，作為 “最佳實(shí)踐” 給到使用函數(shù)的人，豈不美哉。那怎么 Go 語言就不支持呢？

細(xì)思

其實(shí)這和設(shè)計(jì)理念，和對程序的理解有關(guān)系。說白了，就是你喜歡 “顯式”，還是 “隱喻”。

函數(shù)重載和參數(shù)默認(rèn)值，其實(shí)是不好的行為。調(diào)用者只看函數(shù)名字，可能沒法知道，你這個(gè)默認(rèn)值，又或是入?yún)⒉煌瑫{(diào)用的東西，會產(chǎn)生怎么樣的后果？

你可以觀察一下自己的行為。大部分人都會潛意識的追進(jìn)去看代碼，看看會調(diào)到哪，缺省值的作用是什么，以確保可控。

敲定

這細(xì)思的可能，在 Go 語言中是不被允許的。Go 語言的設(shè)計(jì)理念就是 “顯式大于隱喻”，追求明確，顯式。

在 Go FAQ 《Why does Go not support overloading of methods and operators?》有相關(guān)的解釋。

如下圖：

官方有明確提到兩個(gè)觀點(diǎn)：

• 函數(shù)重載：擁有各種同名但不同簽名的方法有時(shí)是很有用的，但在實(shí)踐中也可能是混亂和脆弱的。
• 參數(shù)默認(rèn)值：操作符重載，似乎更像是一種便利，不是絕對的要求。沒有它，程序會更簡單。

這就是為什么 Go 語言不支持的原因。

總結(jié)

在這篇文章中，我們介紹了業(yè)內(nèi)常見的編程語言的函數(shù)重載和參數(shù)默認(rèn)值的概念和使用方法。也結(jié)合了 Go 語言自身的設(shè)計(jì)理念，說明了為什么不支持的原因。

你會希望 Go 語言支持這幾個(gè)特性功能嗎，歡迎在評論區(qū)留言討論和交流：）

參考

• 維基百科（函數(shù)重載和缺省值定義）
• Frequently Asked Questions (FAQ)
  
  

  關(guān)注煎魚，吸取他的知識???

你好，我是煎魚，出版過 Go 暢銷書《Go 語言編程之旅》，再到獲得 GOP（Go 領(lǐng)域最有觀點(diǎn)專家）榮譽(yù)，點(diǎn)擊藍(lán)字查看我的出書之路。

日常分享高質(zhì)量文章，輸出 Go 面試、工作經(jīng)驗(yàn)、架構(gòu)設(shè)計(jì)，加微信拉讀者交流群，和大家交流！