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

时间: 2024-10-11 03:43:25

Go语言之标志符可见性的相关文章

GO语言面向对象

当初开发go语言的时候就是因为C++的特性太过于繁杂,从而使得很多C++的开发者因为C++的特性而头疼,go语言成功的精简了C++的特性,使其很简洁,很少的特性,却可以完成很多的事情. go语言中并没有像C++,Java语言中这类的Class,它只含有像C语言中的结构体,用结构体和指针等特性,完成一个类的作用,很巧妙的使用了指针和结构体,不仅是go的面向对象,包括go语言中的map等操作都是借助了结构体.其实,说白了,C++.Java等面向对象的语言中,类的底层实现就是结构体,对象的引用就是指针

Java众神之路(2)-标志符

标志符 1.1标志符:用来标志类名.变量名.方法名.类型名.文件名的有效字符序列成为标志符. 1.2命名规则: Java语言规定标志符由字母(a-zA-Z).下划线(_).美元符号($)和数字(0-9)组成,并且第一个字符不能是数字. 具体细则: ①    标志符由字母.下划线.美元符号和数字组成,长度不受限制. ②    标志符的第一个字符不能是数字字符. ③    标志符不能是关键字. ④    标志符不能是true.false和null. 另外,在Java中还有很多约定俗成的命名规范,这些

DTRACE简介(2)

By samwan on 三月 21, 2007 通过上一次的介绍,相信大家对DTRACE已经有了一个初步的认识.上一次结束时专门留了一个例子,可能大家第一次看有很多不明白的地方,没有关系,随着我们对DTRACE更多的介绍,很快就会"云开雾散"了. D语言作为一种编程语言,自然就有其语法.关键字.数据结构.运算符.函数等,我将一一介绍. D语言中标志符名称与C语言类似,由字母.数字和下划线组成,其中第一个字符必须是字母或者下划线.D语言预留了一些关键字供DTRACE本身使用,关键字不能

python里的“__all__ ”作用

转载:http://python-china.org/t/725 参考:http://www.cnblogs.com/alamZ/p/6943869.html 用 __all__ 暴露接口,这是一种约定 Python 可以在模块级别暴露接口: __all__ = ["foo", "bar"] 1.提供了哪些是公开接口的约定 不像 Ruby 或者 Java,Python 没有语言原生的可见性控制,而是靠一套需要大家自觉遵守的"约定"下工作.比如下划

uml精粹——6.对象图 & 7.包图

6.对象图object diagram 一个对象图是系统在某一刻时对象的快照snapshot.他展示的实例而不是类,对象图也经常叫实例图instance diagram. 你可使用对象图来展示对象们的样例配置example configuration.在对象间的连接connection比较复杂的时候很有用. 见图6.1. 你可以看出6.2是实例,因为名字都有下划线.每个名字都用 实例名:类名 的形式.两个部分的名字都是可选的,所以John, :Person, aPerson也是合法的名字.如果你

VIM使用入门(汇集)

转自PHPCHINA 在linux下使用VIM进行编程是一件很自然的事情刚开始时我也对VI超多的指令和完全的放弃鼠标感到不适!但经过了初期的适应性阶段,我终于放发现,原来放弃了鼠标却也提高了效率!废话少说,进入正题:``(TAB上边的点):回到光标跳转前的位置.dd:删除一行.5dd:删除光标处以下的五行.按V键进入可视模式,选择要拷贝的内容,按yy拷贝选中的内容,在需要的地方按p拷贝内容到新光标处或新文件中.i:进入插入模式.v:进入可视模式.Esc:回到基本模式h,j,k,l:上下左右移动光

java 语言多线程可见性(synchronized 和 volatile 学习)

共享变量可见性实现的原理 java 语言层面支持的可见性实现方式: synchronized volatile 1. synchronized 的两条规定: 1 线程解锁前,必须把共享变量的最新值刷新到主内存中. 2 线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值(加锁与解锁需要是同一锁) 线程解锁前对共享变量的修改在下次加锁时对其他线程可见. 2. volatile 实现可见性 深入来说,通过加入内存屏障和禁止重排序优化来实现 的. 对volatil

C语言存储类别和链接

目录 C语言存储类别和链接 存储类别 存储期 五种存储类别 C语言存储类别和链接 ? 最近详细的复习C语言,看到存储类别的时候总感觉一些概念模糊不清,现在认真的梳理一下.C语言的优势之一能够让程序员恰到好处的控制程序,可以通过C语言的内存管理系统指定变量的作用域和生存周期,实现对程序的控制. 存储类别 基本概念 对象:在C语言中所有的数据都会被存储到内存中,被存储的值会占用一定的物理内存,这样的一块内存被称为对象,它可以储存一个或者多个值,在储存适当的值时一定具有相应的大小.(C语言对象不同于面

linux:C语言通过ICMP局域网内部主机是否存活

ICMP协议 ICMP(Internet Control Message,网际控制报文协议)是为网关和目标主机而提供的一种差错控制机制,使它们在遇到差错时能把错误报告给报文源发方. ICMP协议是IP层的一个协议,但是由于差错报告在发送给报文源发方时可能也要经过若干子网,因此牵涉到路由选择等问题,所以ICMP报文需通过IP协议来发送. ICMP数据报的数据发送前需要两级封装:首先添加ICMP报头形成ICMP报文,再添加IP报头形成IP数据报. main.cpp : #include <stdio