当前标签：断言

[珠玑之椟]浅谈代码正确性：循环不变式、断言、debug

五岳 2013-07-02 08:51 阅读:4054 评论:0 推荐:1 编辑

公告

since July 10, 2013

昵称：五岳
园龄： 14年3个月
粉丝： 849
关注： 15

<

2025年3月

>

日

一

二

三

四

五

六

23

24

25

26

27

28

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

1

2

3

4

5

随笔分类 (327)

随笔档案 (149)

阅读排行榜

评论排行榜

推荐排行榜

最新评论

1. Re:深入理解Mybatis分库分表执行原理
更新了不拼接分表名sql反而变慢的原因和解决方式，见“改造后，SQL变慢了？”
--五岳
2. Re:写代码被大语言模型坑之使用LocalDateTime比较两个时间差了几天
试了一下deepseek的r1（由于这几天被攻击的原因未联网），一开始给出的答案和通义千问一样，也是错的

提示了一下就给出正解——按照秒计算
--五岳
3. Re:写代码被大语言模型坑之使用LocalDateTime比较两个时间差了几天
用AI写的代码，5分钟写要用50分钟debug。还不如自己写然后让AI测试找bug
--極少数派