检查数据可以让程序更健壮，用术语来说就是防御性编程。
检查数据的时候，有这样的两种不同的风格。

LBYL:Look Before You Leap  

EAFP:It's Easier to Ask Forgiveness than Permission 

LBYL即事先检查。

EAFP是不检查，出了问题由异常处理来处理。

下面通过一个单词统计的例子来阐释一下。

d = {}

words = ['a','d','a','c','b','z','d']

#LBYL

for w in words:

    if w not in d:

        d[w] = 0

    d[w] += 1  

#EAFP

for w in words:

    try:

        d[w] += 1

    except KeyError:

        d[w] = 1

这两种风格各有好坏。

对于LBYL，容易打乱思维，本来业务逻辑用一行代码就可以搞定的。却多出来了很多行用于检查的代码。防御性的代码跟业务逻辑混在一块降低了可读性。

而EAFP，业务逻辑代码跟防御代码隔离的比较清晰，更容易让开发者专注于业务逻辑。

不过，异常处理会影响一点性能。因为在发生异常的时候，需要进行保留现场、回溯traceback等操作。但其实性能相差不大，尤其是异常发生的频率比较低的时候。

还有一点要注意的是，如果涉及到原子操作，强烈推荐用EAFP风格。比如我某段程序逻辑是根据redis的key是否存在进行操作。如果先if exists(key)，然后do something。这样就变成2步操作，在多线程并发的时候，可能key的状态已经被其他线程改变了。而用EAFP风格则可以确保原子性。