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)为字段,以此来更好的理解最后的总结,当然方法也适用这个表格。


文章名称:Go语言之标志符可见性
路径分享:http://ybzwz.com/article/ghisod.html