📅 最后修改于: 2023-12-03 15:42:26.182000 🧑 作者: Mango
静态是程序开发中的一个重要概念，它指的是程序的某个部分或整个程序在编译时就确定了，不会在运行时改变。相对的，动态则是在运行时才生成或改变的。静态化的好处在于可以提高程序的性能和安全性。
静态和动态最常见的区别是在编程语言上。静态语言（如C++、Java）在编译时就能确定变量类型、函数名等信息，而动态语言（如JavaScript、Python）则需要在运行时才能确定这些信息。
静态语言的好处在于可以更早地发现代码中的一些错误，如类型不匹配、函数名错误等。这些错误在编译时就会被提示，而不需要等到运行时才发现。同时，静态语言的编译器可以对代码进行优化，提高程序的性能。
动态语言的好处在于简化了程序的开发和测试，因为变量的类型不需要预先声明，函数名可以根据需要随时改变。同时，动态语言的语法更加灵活，允许使用一些特殊的方式编写代码，如装饰器、闭包等。
静态分析工具是一种可以分析程序源代码，发现潜在的问题和错误的工具。它通常可以在编译时或代码提交前运行，发现代码中的潜在问题，并给出相应的建议或警告。静态分析工具可以帮助开发人员在代码质量和安全方面提高程序的质量。
静态网站生成器是一种可以把源代码转化为静态网页的工具。它可以把Markdown、HTML等格式的文件转化为静态网页，不需要在服务器上运行动态解释器和数据库，可以更快地加载和显示网页内容。
常见的静态网站生成器有Jekyll、Hexo、Pelican等。它们都可以根据自己的需求和习惯进行定制和配置，生成满足自己需求的网页。
静态类型检查器是一种可以在编译时或代码提交前检查出类型不匹配等错误的工具。它通常需要在代码中显式地声明变量类型，如C++、Java等语言。
静态类型检查器可以避免一些类型转换错误、内存泄漏等错误，在编码过程中起到很大的帮助作用。同时，静态类型检查器还可以提高程序的安全性，避免一些潜在的安全漏洞。
静态代码分析是一种可以在编译期和代码提交前分析代码结构、对代码进行抽象语法分析（AST）等技术，帮助开发人员找到代码中的潜在问题和错误，并给出相应的建议和警告。
静态代码分析工具通常可以检查代码中的逻辑错误、冗余代码、安全漏洞等问题。同时，它们还可以提供代码风格检查，帮助开发人员遵循公司或团队的编码标准。
静态代码分析工具可以显著地提高代码质量和安全性，帮助开发人员在程序设计和实现中降低错误风险。
参考资料：
# 静态 - 让程序不再动态
静态是程序开发中的一个重要概念，它指的是程序的某个部分或整个程序在编译时就确定了，不会在运行时改变。相对的，动态则是在运行时才生成或改变的。静态化的好处在于可以提高程序的性能和安全性。
## 静态语言和动态语言
静态和动态最常见的区别是在编程语言上。静态语言（如C++、Java）在编译时就能确定变量类型、函数名等信息，而动态语言（如JavaScript、Python）则需要在运行时才能确定这些信息。
静态语言的好处在于可以更早地发现代码中的一些错误，如类型不匹配、函数名错误等。这些错误在编译时就会被提示，而不需要等到运行时才发现。同时，静态语言的编译器可以对代码进行优化，提高程序的性能。
动态语言的好处在于简化了程序的开发和测试，因为变量的类型不需要预先声明，函数名可以根据需要随时改变。同时，动态语言的语法更加灵活，允许使用一些特殊的方式编写代码，如装饰器、闭包等。
## 静态分析工具
静态分析工具是一种可以分析程序源代码，发现潜在的问题和错误的工具。它通常可以在编译时或代码提交前运行，发现代码中的潜在问题，并给出相应的建议或警告。静态分析工具可以帮助开发人员在代码质量和安全方面提高程序的质量。
## 静态网站生成器
静态网站生成器是一种可以把源代码转化为静态网页的工具。它可以把Markdown、HTML等格式的文件转化为静态网页，不需要在服务器上运行动态解释器和数据库，可以更快地加载和显示网页内容。
常见的静态网站生成器有Jekyll、Hexo、Pelican等。它们都可以根据自己的需求和习惯进行定制和配置，生成满足自己需求的网页。
## 静态类型检查器
静态类型检查器是一种可以在编译时或代码提交前检查出类型不匹配等错误的工具。它通常需要在代码中显式地声明变量类型，如C++、Java等语言。
静态类型检查器可以避免一些类型转换错误、内存泄漏等错误，在编码过程中起到很大的帮助作用。同时，静态类型检查器还可以提高程序的安全性，避免一些潜在的安全漏洞。
## 静态代码分析
静态代码分析是一种可以在编译期和代码提交前分析代码结构、对代码进行抽象语法分析（AST）等技术，帮助开发人员找到代码中的潜在问题和错误，并给出相应的建议和警告。
静态代码分析工具通常可以检查代码中的逻辑错误、冗余代码、安全漏洞等问题。同时，它们还可以提供代码风格检查，帮助开发人员遵循公司或团队的编码标准。
静态代码分析工具可以显著地提高代码质量和安全性，帮助开发人员在程序设计和实现中降低错误风险。
参考资料：
- [What is static programming?](https://www.techopedia.com/definition/6989/static-programming)
- [Static vs. dynamic programming languages](https://medium.com/@pavsaund/static-vs-dynamic-programming-languages-2f6e9fd93ee8)
- [Static website generator](https://www.smashingmagazine.com/2015/11/modern-static-website-generators-next-big-thing/)
- [Why use a static type checker?](https://mypy.readthedocs.io/en/stable/why_use_mypy.html)
- [Static code analysis wiki](https://en.wikipedia.org/wiki/Static_program_analysis)