1. 程式人生 > >Go語言之標誌符可見性

Go語言之標誌符可見性

go

Go的標誌符,這個翻譯覺得怪怪的,不過還是按這個起了標題,可以理解為Go的變量、類型、字段等。這裏的可見性,也就是說那些方法、函數、類型或者變量字段的可見性。比如哪些方法不想讓另外一個包訪問,我們就可以把它們聲明為非公開的;如果需要被另外一個包訪問,就可以聲明為公開的,和Java語言裏的作用域類似。


在Go語言中,沒有特別的關鍵字來聲明一個方法、函數或者類型是否為公開的,Go語言是以大小寫方式進行區分的。如果一個類型的名字是以大寫開頭,那麽其他包就可以訪問;如果以小寫開頭,其他包就不能訪問。


package common

type count int
package main

import (
    "flysnow.org/hello/common"
    "fmt"
)

func main() {
    c:=common.count(10)
    fmt.Println(c)
}


這是一個定義在common包裏的類型count,因為它的名字以小寫開頭,所以我們不能在其他包裏使用它,否則就會報編譯錯誤。


./main.go:9: cannot refer to unexported name common.count


因為這個類型沒有被導出,如果我們改為大寫,就可以正常編譯運行了,大家可以自己試試。


現在這個類型沒有導出,不能使用,我們修改下例子,增加一個函數,看看是否可行。


package common

type count int

func New(v int) count {
    return count(v)
}
func main() {
    c:=common.New(100)
    fmt.Println(c)
}


這裏我們在common包裏定義了一個導出的函數New ,該函數返回一個count類型的值。New函數可以在其他包訪問,但是count類型不可以,現在我們在main包裏調用這個New函數,會發現是可以正常調用並且運行的。但是有個前提,必須使用:=這樣的操作符才可以,因為它可以推斷變量的類型。


這是一種非常好的能力。試想,我們在和其他人進行函數方法通信的時候,只需約定好接口就可以了,至於內部實現,使用方是看不到的,隱藏了實現。


package common

import "fmt"

func NewLoginer() Loginer{
    return defaultLogin(0)
}

type Loginer interface {
    Login()
}

type defaultLogin int

func (d defaultLogin) Login(){
    fmt.Println("login in...")
}
func main() {
    l:=common.NewLoginer()
    l.Login()
}


以上例子,我們對於函數間的通信,通過Loginer接口即可,在main函數中,使用者只需要返回一個Loginer接口,至於這個接口的實現,使用者是不關心的。所以接口的設計者可以把defaultLogin類型設計為不可見,並讓它實現接口Loginer,這樣我們就隱藏了具體的實現。如果以後重構這個defaultLogin類型的具體實現,也不會影響外部的使用者,極為方便,這也就是面向接口的編程。


假如一個導出的結構體類型裏,有一個未導出的字段,會出現怎樣的問題。


type User struct {
    Name string
    email string
}


當我們在其他包聲明和初始化User的時候,字段email是無法初始化的,因為它沒有導出,無法訪問。此外,一個導出的類型,包含了一個未導出的方法也一樣,也是無法訪問的。


我們再擴展,導出和未導出的類型相互嵌入,會有什麽什麽樣的發現?


type user struct {
    Name string
}

type Admin struct {
    user
}


被嵌入的user是未導出的,但是它的外部類型Admin是導出的,所以外部可以聲明初始化Admin


func main() {
    var ad common.Admin
    ad.Name="張三"
    fmt.Println(ad)
}


這裏因為user是未導出的,所以我們不能再使用字面值直接初始化user了,所以只能先定義一個Admin類型的變量,再對Name字段初始化。這裏Name可以訪問是因為它是導出的,在user嵌入到Admin中時,它已經被提升為Admin的字段,所以它可以被訪問。


如果我們還想使用:=操作符怎麽做呢?


ad:=common.Admin{}


字面值初始化的時候什麽都不做就好了,因為user未導出,所以我們不能直接使用字面值初始化Name字段。


還有要註意的是,因為user未導出,所以我們不能通過外部類型訪問內部類型了,也就是說ad.user這樣的操作,都會編譯不通過。


最後,我們做個總結,導出還是未導出,是通過名稱首字母的大小寫決定的,它們決定了是否可以訪問,也就是標誌符的可見性。


對於.操作符的調用,比如調用類型的方法,包的函數,類型的字段,外部類型訪問內部類型等,我們要記住.操作符前面的部分導出了,.操作符後面的部分才有可能被訪問;如果.前面的部分都沒有導出,那麽即使.後面的部分是導出的,也無法訪問。


例子

可否訪問

Admin.User.Name

Admin.User.name

Admin.user.Name

Admin.user.name


以上表格中Admin為外部類型,User(user)為內部類型,Name(name)為字段,以此來更好的理解最後的總結,當然方法也適用這個表格。


本文出自 “baby神” 博客,請務必保留此出處http://babyshen.blog.51cto.com/8405584/1926812

Go語言之標誌符可見性