最新要闻

广告

手机

iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?

iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?

警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案

警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案

家电

全球热推荐:Study for Go ! Chapter three - Function

来源:博客园

Study for Go ! Chapter three - Function

  1. Initialization

  • 函数是结构化编程的最小模块单元


    (资料图片仅供参考)

  • 函数是代码复用和测试的基本单元

  • 关键字 func

  • 无需前置声明

  • 不支持命名嵌套定义 (nested)

  • 不支持同名函数重载 (overload)

  • 不支持默认参数

  • 支持不定长变参

  • 支持多返回值

  • 支持命名返回值

  • 支持匿名函数和闭包

  • 花括号不能另起一行

  • 函数属于第一类对象,具备相同签名(参数和返回值列表)的视作同一类型

    First-class object:指可在运行期创建,可用作函数参数或返回值,可存入变量的实体。最常见的用法是匿名函数

  • 从阅读和代码的维护角度来说,使用命名类型更加方便

  • 函数只能判断其是否为nil,不支持其他比较操作

  • 从函数返回局部变量指针是安全的,编译器会通过逃逸分析( escape analysis ) 来决定是否在堆上分配内存

  • 函数内联(inline)对内存分配有一定的影响。

  • 编译器可能未实现尾递归优化 (tail-call optimization)尽管 golang 执行栈的上线是 GB 规模,轻易不会出现堆栈溢出 (stack overflow)错误,但是依然余姚注意拷贝栈的复制成本

    Notice:(name rule)

    • 在避免冲突的情况下,函数命名要本着精简短小,望文知意的原则

    • 通常是动词和介词加上名词,例如:scanWords

    • 避免不必要的缩写,printError 比 printErr 更好

    • 避免使用类型关键字,比如 buildUserStruct 就会看起来别扭

    • 避免歧义,不能有多种用途的解释造成误解

    • 避免只能通过大小写区分的同名函数

    • 避免与内置函数同名,这会导致误用

    • 避免使用数字,除非是特定专有名词 如 UTF8

    • 避免添加作用域提示前缀

    • 同一使用 camel / pascal case 拼写风格

    • 使用相同术语,保持一致性

    • 使用习惯用语,比如 init 表示初始化, is / has 返回布尔值结果

    • 使用反义词组命名行为相反的函数,比如: get / set, min / max 等

    Attention:

    • 函数和方法的命名规则有些不同,方法通过选择符调用,且具备状态上下文,可使用更简短的动词命名

  1. argument

  • Go 对参数的处理偏向保守,不支持有默认值的可选参数

  • 不支持命名实参

  • 调用时必须按签名顺序传递指定类型和数量的实参,就算以 “ _ ” 命名的参数也不能忽略

  • 在参数列表中,相邻的同类型参数可以合并

  • 参数可以被视作函数局部变量,因此不能再相同层次定义同名变量

  • 形参是指函数定义中的参数,实参则是函数调用时所传递的参数。形参类似函数局部变量,而实参则是函数外部对象,可以是常量、变量、表达式或者函数等

  • 不管是指针,引用类型,还是其他类型参数,都是值拷贝传递 (pass-by-value)区别无非是拷贝目标对象,还是拷贝指针而已。

  • 在函数调用前,会为形参和返回值分配内存空间,并将实参拷贝到形参内存

  • 尽管实参和形参都指向同一目标,但传递指针时依然被复制

Attention:

  1. 表面上看,指针参数的性能可能更好一些,但是实际上需要具体分析,被复制的指针会延长目标对象生命周期,还可能会导致它被分配到堆上,那么其性能消耗就得加上堆内存分配和垃圾回收的成本

  2. 其实在栈上复制小对象只需很少的指令就可完成,远比运行时进行堆的内存分配要快得多,另外并发编程也提倡尽可能使用不可变对象 (只读或复制),这可以消除数据同步等麻烦。当然如果复制成本很高,或者需要修改原对象状态,自然使用指针更好

  • 要使用传出参数( out ) 通常建议使用返回值,当然也可以使用二级指针

  • 如果函数参数过多,建议将其重构为一个符合结构类型,也算是变相实现可选参数和命名实参等功能,例如:将过多的参数独立成 option struct , 既便于扩展参数集,也方便通过 newOption函数设置默认配置,这也是代码复用的一种方式,避免多处调用时的繁琐的参数配置

变参:

  • 变参实际上本质是一个切片,只能接受一到多个同类型参数,且必须放在列表尾部

  • 将切片作为变参时,须进行展开操作,如果是数组,先将其转换为切片

  • 参数复制的仅是切片自身,并不包括底层数组,也因此可修改原数据,如果需要,可用内置函数copy 复制底层数据

  1. return

  • 有返回值的函数,必须有明确的 return 终止语句

  • 除非有 panic,或者无 break 的死循环,则无须 return 终止语句

  • 借鉴自动态语言的多返回值模式,函数得以返回更多状态,尤其是 error 模式

  • golang 中稍有不便的是没有元组(tuple)类型,也不能用数组、切片接受,但可用 “ _ ” 忽略掉不想要的返回值

  • 多返回值可以用作其他函数调用实参,或当作结果直接返回

  • 在 golang 中命名返回值和简短变量定义 一样,既有优点也有缺点

  • 命名返回值让函数声明更加清晰,同时也会改善帮助文档和代码编辑器提示

  • 命名返回值和参数一样,可当作函数局部变量使用,最后由 return 隐式返回

  • 这种特殊的 “ 局部变量 ” 会被不同层级的同名变量遮蔽。 但编译器能检查到此类情况,只要改为显式 return 返回即可

  • 除遮蔽外,我们还需要对全部返回值命名,否则编译器会搞不清状况

  • 如果返回值能明确表明其含义,就尽量不要对其命名

  1. 匿名函数 anonymous function

  • 匿名函数 是指没有定义名字符号的函数

  • 除了没有名字以外,匿名函数和普通函数完全相同。最大的区别是,我们可以在函数内部定义匿名函数,形成类似 嵌套效果。匿名函数可以直接调用,保存到变脸,作为参数或返回值

  • 将匿名函数赋值给变量,与为普通函数提供名字标识符有着根本的区别。当然,编译器会为匿名函数生成一个 “ 随机 ” 符号名

  • 普通函数 与 匿名函数都可以作为结构体字段,或经过通道传递

  • 不曾使用的匿名函数会被编译器当作错误

  • 除闭包因素外,匿名函数也是一种常见的重构手段,可以将大函数分解成多个相对独立的匿名函数块,然后用相对简洁的调用完成逻辑流程,以实现框架和细节

  • 相比语句块,匿名函数的作用域被隔离(不使用闭包),不会引发外部污染,更加灵活。没有定义顺序限制,必要时可抽离,便于实现干净、清晰的代码层次

closure 闭包

  • closure 是在其词法上下文中引用了自由变量的函数,或者说是函数及其引用的环境的组合体

  • 正因为闭包通过指针引用环境变量,那么可能会导致其生命周期延长,甚至被分配到堆内存。另外。还有所谓的 “ 延迟求值 ” 的特性

  • 多个匿名函数引用同一环境变量,也会让事情变得复杂,任何修改行为都会影响其他函数取值,在并发模式下可能需要做同步处理

  • 闭包让我们不用传递参数就可以读取或修改环境状态,当然也要为此付出格外代价,对于性能要求较高的场合,须谨慎使用

  1. 延迟调用 delayed call

  • 语句 defer 向当前函数注册稍后执行的函数调用。这些调用就被称作延迟调用,因为它们直到当前函数执行结束前才被执行

  • 常用于资源释放接触锁定,以及错误处理 等操作

Attention:

  1. 延迟调用注册的是调用,必须提供执行所需参数(即使是空),参数在注册时被复制并缓存起来,如果对状态敏感,可改用指针或闭包

  • 延迟调用可修改当前函数命名返回值,但自身返回值被抛弃

  • 多个延迟注册按FLFO次序执行

  • 延迟调用要在函数结束时才被执行,不合理的使用方式会浪费更多资源,甚至造成逻辑错误

  • 相比直接用 CALL 汇编指令调用函数,延迟调用需要花费更大的代价,这其中包括 注册、调用等操作,还有格外的缓存开销,所以追求性能的算法应避免使用延迟调用

  1. 错误处理

  • golang 的错误处理与目前流行的趋势背道而驰

  • 官方推荐的标准是 返回 error 状态

  • 标准库将 error 定义为接口类型, 以便实现自定义错误类型

  • 按照惯例, error 总是最后一个返回参数,标准库提供看相关创建函数,可以方便地创建包含简单错误文本的 error 对象

  • 应从错误变量 而不是文本内容来判定错误类别

  • 错误变量通常 以 err 作为前缀、且自负床内容全部小写,没有结束标点。以便于嵌入到其他格式化字符串中输出

  • 全局错误变量并非没有问题,因为它们可以被用户重新赋值,这就可能导致结果不匹配,不知道以后是否会出现 只读变量功能,否则就只能靠自觉 了

  • 与error.New 类似的还有 fmt.Errorf ,它返回一个格式化无内容的错误对象

  • 某些时候,我们需要自定义错误类型,以容纳更多上下文状态信息。

  • 在正式代码中,我们不能忽略 error 返回值,应严格检查,否则可能导致错误的逻辑状态。调用多返回值函数时,除了 error 外,其他返回值同样需要关注

Notice:如何解决大量函数和方法返回 error 使得调用代码变得很难看的问题

  1. 使用专门的检查函数处理错误逻辑(比如记录日志), 简化检查代码

  2. 在不影响逻辑的情况下,使用 defer 延后处理错误状态(err 退化赋值)

  3. 在不中断逻辑的情况下,将错误作为内部状态报错,等最终 “ 提交 ” 时再处理

  • panic,recover

  • 与 error 相比,panic/recover 再使用方法上更接近 try/catch 结构化异常

  • 它们都是内部函数而非语句

  • panic 会立即中断当前函数流程,执行延迟调用

  • 而 recove r 在延迟调用函数中 可捕获并返回 panic 提交的错误对象

  • 因为 panic 参数时空接口类型, 因此可使用任何对象作为错误标志。而 recover 返回结果同样需要转型才能获得具体信息

  • 无论是否执行 recover,所有延迟调用都会被执行,但中断性错误会沿调用堆栈向外传递,要么被外场捕获,要么导致进程崩溃

  • recover 必须在延迟调用函数中执行才能正常工作

  • 除非是不可恢复性、导致系统无法正常工作的错误,否则不建议使用 panic

关键词: 匿名函数 局部变量 函数调用