wordpress归档,seo具体是什么,网站开发器,打造龙头建设示范一提到静态代码检查工具这个词应该比较好理解#xff0c;所谓静态代码检查工具就是检查静态代码的工具#xff0c;完美~
言归正传#xff0c;相信很多程序员朋友都听说过静态代码检查工具这个概念#xff0c;它可能是我们IDE里的某一个插件#xff0c;可能是计算机中的一…一提到静态代码检查工具这个词应该比较好理解所谓静态代码检查工具就是检查静态代码的工具完美~
言归正传相信很多程序员朋友都听说过静态代码检查工具这个概念它可能是我们IDE里的某一个插件可能是计算机中的一个程序还可能是Git提交后的一个流程如果是对代码要求比较高的个人或组织静态代码检查工具则是一个绕不开的东西。
一个事物的出现必然是有所需求的那么我们不妨先思考一下为什么需要静态代码检查工具
先抛开这个问题本身我们从编译器的错误检查开始。
编译器最严重代码的问题我替你规避
大家都知道我们写的代码是需要通过编译器编译成中间代码或可执行文件的比如Java程序代码会由Java编译器编译成class文件由JVM执行Go代码会由Go编译器编译成二进制文件直接执行中间都会有一个编译的过程在编译原理中会有两个比较重要的流程——词法分析和语法分析。先说下词法分析和语法分析主要是用来做什么的
词法分析是编译过程的第一步其主要作用和特点如下
扫描源程序词法分析器负责读入源程序的字符流这是编译过程的输入。识别单词符号根据源语言的词法规则词法分析器将字符流分解并识别出各个单词符号。单词是源程序中的最小语义单位如关键字、标识符、常数、运算符等。输出记号序列词法分析器将识别出的单词符号转换成相应的记号token序列作为语法分析的输入。每个记号通常包括一个词法单元名称如关键字、标识符等和一个可选的属性值如标识符的名称、常数的值等。过滤空白和注释词法分析器还会跳过源程序中的空白字符如空格、制表符等和注释这些对语法分析来说是无意义的。错误检测词法分析器能够识别并报告词法错误即非法的字符或单词符号如非法字符、未识别的关键字等。
语法分析是在词法分析的基础上进行的其主要作用和特点如下
分析语法结构语法分析器根据语言的语法规则对词法分析器输出的记号序列进行分析以识别出各种语法单位如表达式、语句、函数等。构建语法树在语法分析过程中通常会构建一棵语法树来表示源程序的语法结构。语法树的叶子节点通常对应于记号而非叶子节点则对应于语法单位。错误检测和处理语法分析器能够识别并报告语法错误即不符合语法规则的记号序列。这些错误通常包括括号不匹配、缺少分号、语法单位使用不当等。为后续阶段做准备语法分析的结果如语法树将作为后续阶段如语义分析、代码生成等的输入。通过语法分析编译器能够确保源程序在语法上是正确的从而可以进一步进行语义分析和代码生成等工作。
词法分析和语法分析是编译过程中不可或缺的两个阶段。词法分析负责将源程序的字符流转换成记号序列而语法分析则根据语法规则对记号序列进行分析以构建出源程序的语法结构。这两个阶段共同为后续的编译工作打下了坚实的基础确保了编译过程的顺利进行。 现在我们知道了词法分析和语法分析有一个共同的作用错误监测。
举个例子我们使用Go中一个fmt包中不存在的函数
package mainimport fmtfunc main() {fmt.Printlnx(Hello World)
}执行后报错原因很简单因为函数的单词拼错了
.\main.go:6:6: undefined: fmt.Printlnx再有一个例子
package mainimport fmtfunc main() {fmt.Println(str)str : Hello World
}执行后同样报错因为在程序中我们规定语法是先声明后使用这段代码却是先使用后声明
.\main.go:6:14: undefined: str
.\main.go:7:2: str declared and not used这两段代码其实主要是想阐述一件事重大的程序问题编译器层面直接就不会编译通过。
静态代码检查工具代码不优雅的地方我给你指出
那么有没有编译器发现不了的程序问题 答案肯定是有的举例子
看这段代码
package mainimport fmtfunc main() {str : Hello Worldfmt.Printf(%d \n,str)
}一个很显然的问题字符串应该使用%s进行转义但该程序中使用的是表示整型变量的%d但这个问题如果直接执行的话并不会报错而是会打印出如下代码
%!d(stringHello World)虽然我们写错了但是Go程序还是会把我们想打印的数据打印出现并标记正确的类型这个赞我点给Go的开发者
还有这个
package mainfunc hello() (string, error) {return Hello, nil
}func main() {hello()
}从优雅的角度来讲我们应该去认真处理每个函数中的错误返回值但是以上示例中并没有处理编译器也编译通过了这样就导致程序中一旦真的返回了错误那么排查问题可能就不太方便。
除了以上两个示例Go程序中还要很多常见的编码问题需要注意在大型项目中我们不可能逐行代码的去看因此衍生出了静态代码检查工具这个东西。回答文章开头的问题进行静态代码检查的原因主要有以下几点
提高代码质量。 静态代码检查能够在不运行代码的情况下通过自动化的方式分析代码帮助开发者及时发现并修复潜在的缺陷以及不符合编码规范的问题。这有助于提升代码的整体质量减少因代码问题导致的错误和故障。
降低维护成本。产品是资产代码是负债因为代码越多就一定程度上意味着维护成本越高。 高质量的代码意味着更低的维护成本。通过静态代码检查开发者可以在早期发现并解决潜在问题避免在后期测试和维护阶段投入更多的时间和资源。除此之外还可以确保所有成员都遵循相同的编码规范减少因风格不一致而导致的代码合并冲突。
Go语言如何进行静态代码检查 Go语言作为一门非常简单的编程语言语法可以非常灵活静态代码检查的方式也非常多主要有以下几种方式
使用内置的go vet工具go vet是Go语言内置的一个静态分析工具它可以帮助开发者检查Go代码中的潜在问题如未使用的变量、错误的使用标志位等。
使用golint工具golint是一个用于Go代码的Lint工具它可以帮助开发者找出一些可疑的或者不规范的代码写法如导出的函数没有注释、变量名不符合规范等但本项目官方已经不再维护。
使用第三方静态分析工具Go语言社区还提供了许多第三方静态分析工具如staticcheck、errcheck等。这些工具通常具有更丰富的功能和更强大的检测能力可以帮助开发者更全面地检查代码中的潜在问题。
集成到持续集成/持续部署CI/CD流程中为了自动化地进行静态代码检查开发者可以将静态分析工具集成到项目的CI/CD流程中。每次代码提交或合并时都会自动运行静态检查工具确保代码质量符合要求。
使用IDE插件如GoLand、Visual Studio Code在的一些代码检查插件可以在编写代码的过程中实时提供静态检查反馈帮助开发者及时发现并修复问题。
现在有哪些工具我们大概知道了怎么用具体还是要试一试比如刚刚的这段代码我们使用go vet工具检查一下
package mainimport fmtfunc main() {str : Hello Worldfmt.Printf(%d \n,str)
}使用命令go vet main.go输出结果可以看出它会把问题表达的很清楚
.\main.go:7:2: fmt.Printf format %d has arg str of wrong type string对于第二段代码我们也可以有一个三方插件来进行代码检查安装go install github.com/kisielk/errchecklatest
package mainfunc hello() (string, error) {return Hello, nil
}func main() {hello()
}然后使用命令errcheck main.go就会输出如下来告诉你哪行代码哪个方法没有处理错误返回值
main.go:8:7: hello()最好用的Go静态代码检查工具golangci-lint
golangci-lint 可以说是一个大一统它几乎把所有最有用的Go静态代码检查工具进行统一并且还支持在CI/CD中使用。 官网https://golangci-lint.run Githubhttps://github.com/golangci/golangci-lint 我们可以使用命令golangci-lint help linters查看它都支持哪些静态检查工具打印很多没截全 可以看到有些是默认支持有些是默认关闭支持的我们不妨来试一下它和上面的两个工具有什么不同我们将上面的两个代码示例合并到一起执行运行命令golangci-lint run main.go
main.go:13:7: Error return value is not checked (errcheck)hello()^
main.go:11:2: printf: fmt.Printf format %d has arg str of wrong type string (govet)fmt.Printf(%d \n,str)^可以看出这个工具打印的提升更加精准。后面如果想要继续深入可以阅读一下官方文档。
小总结
总的来说静态代码检查工具是一个能够提升我们代码质量的工具可以发现编译器发现不了的问题。这些工具的使用可以显著提高软件质量所以大家赶快掌握起来写出更优雅的代码
