We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8ee0a21 commit 8d077baCopy full SHA for 8d077ba
1 file changed
docs/book/16-Validating-Your-Code.md
@@ -2,15 +2,15 @@
2
3
<!-- Validating Your Code -->
4
# 第十六章 代码校验
5
-##### 你永远不能保证你的代码是正确的,你只能证明它是错的。
+### 你永远不能保证你的代码是正确的,你只能证明它是错的。
6
7
让我们先暂停学习编程语言的知识,看看一些代码基础知识。特别是能让你的代码更加健壮的。
8
9
10
11
## 测试
12
13
-##### 如果没有测试过,它就是不能工作的。
+### 如果没有测试过,它就是不能工作的。
14
15
Java是一个静态类型的语言,程序员经常对一种编程语言明显的安全性过于感到舒适,“能通过编译器,那就是没问题的”。但静态类型检查是一种非常局限性的测试。这说明编译器接受你的语法和基本类型规则,但不意味着你的代码满足程序安全的目标。随着你代码经验的丰富,你逐渐了解到你的代码从来没有满足过安全性这个目标。迈向代码的第一步就是创建代码测试,争对你的目标检查代码行为。
16
0 commit comments