go 介面靜態與動態校正

這是一個建立於 的文章，其中的資訊可能已經有所發展或是發生改變。

go 介面靜態與動態校正

go 的介面是duck模型，類型不需要顯式的聲明實現某個介面，只需實現該介面的所有methods，就認為該類型實現該介面。在實際中，大部分介面轉換是靜態，發生在編譯時間刻;go 也支援動態介面轉換，轉換髮生在運行時。

比如，需要傳遞 *os.File 到一個需要io.Reader參數的函數，如果*os.File 沒有實現介面io.Reader，則程式在編譯期就無法通過；

有些介面裝換髮生在運行期，一個執行個體就是 encoding/json 包，其定義了一個 Marshaler介面，當JSON解析器接收的value實現該介面，就調用該value的marshaling 方法轉換，反之則調用系統預設的轉換器。這種轉換可以通過go的type類型斷言實現：

if m, ok := val.(json.Marshaler); ok {xxx} else {xxx}

if str, ok := value.(string); ok {    return str} else if str, ok := value.(Stringer); ok {    return str.String()}

有時我們為了提高程式健壯性或者為了防止介面發生變更而具體實作類別型忘記變更導致程式運行時崩潰，我們需要將運行期的校正提前到編譯期進行，這時可以採用如下方式：

var _ json.Marshaler = (*RawMessage)(nil)

此語句將在編譯期將*RawMessage 轉換為json.Marshaler，如果介面Marshaler發生變化，而RawMessage 沒有變化，編譯將不能通過，從而使我們提前發現問題，進行修改，而不會因為一時疏忽將該問題延遲到運行時才發現。這裡的_僅僅用來進行類型校正，而不是真的去建立一個變數。但是不要濫用該方法，該方法僅僅使用在沒有靜態轉換，但是有要保證程式安全的額地方。