Go语言公开或未公开的标识符的基本概念
Go语言支持从包里公开或者隐藏标志符,通过这个特性,可以让用户按照自己的规则控制标识符的可见性。
Go语言中的可见性,是通过声明类型的大小写来进行区别的。
例如下面的代码
// Package counters provides alert counter support.
package counters type alertCounter int
这里 alertCounter 就是外部不可见的,
此时如果在main包中的main方法想要访问这个内部的类型,就会出现下面的问题:
func main() {
counter := counters.alertCounter()
fmt.Printf("Counter: %d\n", counter)
}
不能引用未公开的名字
cannot refer to unexported name counters.alertCounter
规则详细如下:
一个标识符的名字以小写字母开头时,这个标识符就是未公开的,即包外的代码不可见。
一个标识符的名字以大写字母开头时,这个标识符就是公开的,即被包外的代码可见。
那么问题出现了,如果我想要访问这个alertCounter怎么办。我们在C#和java当中也遇到过,想要访问一个private的对象,我们当时使用的是 Get和Set方法,对对象进行取值和赋值。
func New(value int) alertCounter {
return alertCounter(value)
}
此时再通过main方法调用New方法,就可以得到一个alertCount的对象了
func main() {
// 虽然 main.alertCounter 是一个未导出的标识符
// 但是可以用短变量声明操作符捕获未导出类型的变量
counter := counters.New()
fmt.Printf("Counter: %d\n", counter)
}
运行结果如下:
Counter:
将工厂函数命名为New 是Go 语言的一个习惯。这个New 函数做了些有意思的事情:它创建了一个未公开的类型的值,并将这个值返回给调用者。
为什么这个New能够执行?
要让这个行为可行,需要两个理由。
第一,公开或者未公开的标识符,不是一个值。
第二,短变量声明操作符,有能力捕获引用的类型,并创建一个未公开的类型的变量。(这句话就是上面 counter := counters.New(10) counter就是那个未公开类型的变量)永远不能显式创建一个未公开的类型的变量,不过短变量声明操作符可以这么做。看下面的例子。
// --- package a ---
type stu struct {
name string
age int
}
func NewStu() stu {
return stu{name: "a", age: }
}
// --- package main ---
func main() {
v := a.NewStu() // OK,v 的类型是 stu,虽然 stu 对包外不可见
fmt.Println(v)
}
我们打印一下,上面的短变量声明后的counter的类型
func main() {
// 虽然invisible.count是一个未导出的标识符
// 但是可以用短变量声明操作符捕获未导出类型的变量
counter := counters.New()
fmt.Println("v1 type:", reflect.TypeOf(counter))
fmt.Printf("Counter: %d\n", counter)
}
结果正如我们所想:记住alertCounter是不能进行实例化的哦。
v1 type: counters.alertCounter
补充一:上面的第二点其实是短变量声明的一个有趣的地方,什么是短变量声明
https://blog.csdn.net/wo198711203217/article/details/60574503
http://wenchao.wang/2017/10/23/Go%20%E8%AF%AD%E8%A8%80%E5%AD%A6%E4%B9%A0%E6%B1%87%E6%80%BB/
A short variable declaration uses the syntax:
IdentifierList := ExpressionList
补充二:Golang - var 和 := 的使用
https://studygolang.com/articles/5294
Go语言中公开和未公开标识符对类型提升的影响
例子1
package entities // User defines a user in the program.
type User struct {
Name string
email string
}
User是entities包中公开的类型,Name是公开的成员、email是未公开的成员
在main包调用一下
func main() {
// Create a value of type User from the entities package.
u := entities.User{
Name: "Bill",
email: "[email protected]",
} fmt.Printf("User: %v\n", u)
}
提示了一个错误:unknown field 'email' in struct literal of type entities.User (but does have entities.email) ,这说明啊,即使User是公开的,它里面的成员如果是隐藏的,对于外面也是非公开的不能被访问
例子2
增加一个Admin公开 user变为非公开 Admin里面使用user作为嵌入,其他成员都是公开的
// Package entities contains support for types of
// people in the system.
package entities // user defines a user in the program.
type user struct {
Name string
Email string
} // Admin defines an admin in the program.
type Admin struct {
user // The embedded type is unexported.
Rights int
}
main
func main() {
a := entities.Admin{
Rights: ,
}
a.Name = "Bill"
a.Email = "[email protected]" fmt.Printf("User: %v\n", a)
}
可以看到在创建a对象的时候,user是不可见的,但是a却能访问Name和Email两个user内的成员
换句话说,内部类型的公开类型对于外部类型也是公开的。