Go——函数类型

素颜马尾好姑娘i 2023-10-09 21:01 51阅读 0赞

### 函数类型 ###

使用func FunctionName()语法格式定义的函数我们称为“有名函数”，这里所谓的有名是指函数在定义时指定了“函数名”；与之对应的是“匿名函数”，所谓的匿名函数就是在定义时使用func()语法格式，没有指定函数名。通常所说的函  
数就是指“有名函数”。

函数类型也分两种，一种是函数字面量类型（未命名类型)，另一种是函数命名类型。

##### 函数字面量类型 #####

函数字面量类型的语法表达格式是`func (InputTypeList) OutputTypeList`,可以看出“有名函数”和“匿名函数”的类型都属于函数字面量类型。有名函数的定义相当于初始化一  
个函数字面量类型后将其赋值给一个函数名变量；“匿名函数”的定义也是直接初始化一个函数字面量类型，只是没有绑定到一个具体变量上。从Go类型系统的角度来看，“有名函数”和“匿名函数”都是函数字面量类型的实例。

##### 函数命名类型 #####

使用type NewType 0ldType语法定义一种新类型，这种类型都是命名类型，同理可以使用该方法定义一种新类型：函数命名类型，简称函数类型。例如：  
\`\`go  
type NewFuncType FuncLiteral

依据Go语言类型系统的概念，NewFuncType为新定义的函数命名类型，FuncLiteral为函数字面量类型，FuncLiteral为函数类型NewFuncType的底层类型。当然也可以使用type在一个函数类型中再定义一个新的函数类型，这种用法在语法上是允许的，但很少这么使用。例如：
    ```go
    type NewFuncType oldFuncType

##### 函数声明 #####

Go语言没有C语言中函数声明的语义，准确地说，Go代码调用G0编写的函数不需要声明，可以直接调用，但Go调用汇编语言编写的函数还是要使用函数声明语句，示例如下。

//函数声明=函数名+函数签名
    //函数签名
    func (InputTypeList) OutputTypeList
    //函数声明
    func FuncName (InputTypeList) OutputTypeList

下面通过一个具体的示例来说明上述概念。

package main
    
    import "fmt"
    
    func main() {
        
    	f := func(a, b int) int {
        
    		return a + b
    	}
    
    	g(1, 2)
    	f(1, 2)
    
    	//f和add的函数签名相同
    	fmt.Printf("%T\n", f)//func(int, int) int
    	fmt.Printf("%T\n", add)//func(int, int) int
    }
    
    //有名函数定义，函数名是add
    //add类型是函数字面量类型 func (int, int) int
    func add(a, b int) int {
        
    	return a + b
    }
    
    //函数声明语句，用于Go代码调用汇编代码
    //func add(int, int) int
    
    //add函数的签名，实际上就是add的字面量类型
    //func (int, int) int
    
    //匿名函数不能独立存在，常作为函数参数、返回值，或者赋值给某个变量
    //匿名函数可以直接显式初始化
    //匿名函数的类型也是函数字面量类型func (int, int) int
    //func (a, b int) int {
        
    //	return a + b
    //}
    
    //新定义函数类型ADD
    //ADD底层类型是函数字面量类型 func (int, int) int
    type ADD func(int, int) int
    
    //add和ADD的底层类型相同，并且add是字面量类型
    //所以add可以直接赋值给ADD类型的变量
    var g ADD = add

前面谈到字面量类型是一种未命名类型(unnamed type),其不能定义自己的方法，所以必须显式地使用tye声明一个有名函数类型，然后为其添加方法。通常说的函数类型就是指有名函数类型，“函数签名”是指函数的字面量类型，在很多地方把函数类型和函数签名等价使用，这是不严谨的。由类型转换的规则可知：这两种类型的底层类型相同，并且其中一个是字面量类型，二者是可以相互转换的。下面来看一下经典的http标准库对函数类型的实现，进一步理解这种用法。

//src/net/http/server.go
    
    //定义一个有名函数类型HandlerFunc
    type HandlerFunc func(ResponseWriter, *Request)
    
    //为有名函数类型添加方法，属于一种装饰器方法
    // ServeHTTP calls f(w, r).
    func (f HandlerFunc) ServeHTTP(w ResponseWriter, r *Request) {
        
    	f(w, r)
    }
    
    //函数类型HandlerFunc实现了接口Handler的方法
    type Handler interface {
        
    	ServeHTTP(ResponseWriter, *Request)
    }
    
    func (mux *ServeMux) Handle(pattern string, handler Handler)
    
    //所以HandlerFunc类型的变量可以传递给Handler接口变量
    func(mux *ServeMux) HandlerFunc(pattern string, handler func(ResponseWriter, *Request)){
        
    	mux.Handler(pattern, HandlerFunc(handler))
    }

通过hp标准库里面对于函数类型的使用，我们可以看到函数类型的如下意义：

1.  函数也是一种类型，可以在函数字面量类型的基础上定义一种命名函数类型。
2.  有名函数和匿名函数的函数签名与命名函数类型的底层类型相同，它们之间可以进行类型转换。
3.  可以为有名函数类型添加方法，这种为一个函数类型添加方法的技法非常有价值，可以方便地为一个函数增加“拦截”或“过滤”等额外功能，这提供了一种装饰设计模式。
4.  为有名函数类型添加方法，使其与接口打通关系，使用接口的地方可以传递函数类型的变量，这为函数到接口的转换开启了大门。