Go 其六重载，重写，覆盖 && DuckType 补充

OStack程序员社区-中国程序员成长平台 › 门户 › 编程› Go›Go教程

原作者: [db:作者] 来自: [db:来源] 收藏邀请

关于重载，重写，覆盖的基本概念要分清楚，
　　Go中确实是不支持重载的, 官方给出的解释是
其他语言的经验告诉我们，有各种同名但签名不同的方法有时是有用的，但在实践中也可能令人困惑。关于重载运算符，似乎更方便，但是同样的，没有重载会更简单。
因此这么设计的目的其实使Go语言保持简单这一核心目标

　　而关于重写和覆盖，emmm，笔者自己的理解是，毕竟不是真正的继承，而是复合。并且也不能像继承一样用父类定义而使用子类的实例充当具体实现，所以这个问题其实是不存在的？
毕竟 var cat Pet = new(Cat) 是会报错的，没有继承又何谈重写或覆盖呢?

关于这一部分的代码测试例子如下:

package extension

import (
	"testing"
	"fmt"
)

type Pet struct{
}

func (p *Pet) Speak() {
	fmt.Print("In Pet ...")
}

// Go中不支持重载 以下代码会提示错误：
/*
	method redeclared: Pet.Speak
	method(*Pet) func()
	method(*Pet) func() stringgo
*/
// func (p *Pet) Speak() string {
// 	fmt.Print("In Pet ...")
// 	return "Try to overload"
// }

func (p *Pet) SpeakTo(host string) {
	p.Speak()
	fmt.Println("In Pet ", host)
}

type Dog struct {
	p *Pet
}

func (d *Dog) Speak() {
	fmt.Print("In Dog ...")
	d.p.Speak()
}

func (d *Dog) SpeakTo(host string) {
	d.Speak()
	fmt.Println("In Dog ", host)
	d.p.SpeakTo(host)
}

type Cat struct{
	Pet
}

func (c *Cat) Speak() {
	fmt.Print("Try to overwrite Miao")
}

func TestDog(t *testing.T){
	dog := new(Dog)
	dog.SpeakTo("Hello")

	//注意上面是复合不是集成

	//注意还有Go中的匿名嵌套方法，感觉上像是继承
	/*
		type Cat struct {
			Pet
		}
	*/

	cat := new(Cat)
	cat.SpeakTo("Miao")
	//输出结果是In Pet ...In Pet  Miao(Pet中的方法)

	//可以通过
	var cat1 *Pet = new(Pet)
	//下面一行会提示错误：cannot use new(Cat) (type *Cat) as type *Pet in assignmentgo
	//var cat1 *Pet = new(Cat)
	cat1.Speak()


	//不同的写法也是一样的
	//可以通过
	var cat2 Pet = Pet{}
	//提示错误：cannot use Cat literal (type Cat) as type Pet in assignment
	//var cat2 Pet = Cat{}

	cat2.Speak()
}

　　　输出结果为：

=== RUN   TestDog
In Dog ...In Pet ...In Dog  Hello
In Pet ...In Pet  Hello
In Pet ...In Pet  Miao
In Pet ...In Pet ...--- PASS: TestDog (0.00s)
=== RUN   TestPolymorphism
*extension.GoProgrammer, fmt.Println("Hello World!")
extension.JavaProgrammer, System.out.Println("Hello World!")
--- PASS: TestPolymorphism (0.00s)
PASS
coverage: [no statements]
ok  	Session12/extension	0.276s	coverage: [no statements]

关于DuckType还有一些补充内容:

package extension

import (
	"testing"
	"fmt"
)

type Code string
type Programmer interface{
	WriteHelloWorld() Code
	//ReadHelloWorld() Code
	//上面这个ReadHelloWorld() Code是一个实验
	/*
		如果一个接口没有实现接口的全部方法会怎样呢？
			如果我们在接口里定义了ReadHelloWorld() Code这个方法，即使后面我们完全没有用到它
			仍然会在build时提示错误：cannot use goProg (type *GoProgrammer) as type Programmer in argument to writeFirstProgram:
				*GoProgrammer does not implement Programmer (missing ReadHelloWorld method)
			
		也就是说，虽然有Duck Type的存在，但如果一个结构没有实现接口的全部方法，那么这个结构就不能作为这个接口的实现。
	*/
}

type GoProgrammer struct{
}

func (p *GoProgrammer) WriteHelloWorld() Code {
	return "fmt.Println(\"Hello World!\")"
}

type JavaProgrammer struct{
}

func (p JavaProgrammer) WriteHelloWorld() Code {
	return "System.out.Println(\"Hello World!\")"
}

func writeFirstProgram(p Programmer){
	fmt.Printf("%T, %v\n", p, p.WriteHelloWorld())
}

func TestPolymorphism(t *testing.T){
	goProg := new(GoProgrammer)
	javaProg := JavaProgrammer{}
	writeFirstProgram(goProg)
	writeFirstProgram(javaProg)

	//Interface不只能传递指针类型，而是根据实例有没有实现interface的方法，例如上面的javaProg
	//例如上面如果把 JavaProgram中的WriteHelloWorld方法定义更改为：func (p *JavaProgrammer) WriteHelloWorld() Code
	//则会提示错误：cannot use javaProg (type JavaProgrammer) as type Programmer in argument to writeFirstProgram:
	//JavaProgrammer does not implement Programmer (WriteHelloWorld method has pointer receiver)
}

　　总结一下就是，虽然有DuckType存在，不需要继承自接口, 但如果一个结构没有实现接口的全部方法，它仍然不能看作是这个接口的实现。

　　另外Interface能不能传递指针类型，主要看实例实现接口时的方式。