Question

14.5. roman.py, 第 5 阶段

现在 fromRoman 对于有效输入能够正常工作了，是揭开最后一个谜底的时候了：使它正常工作于无效输入的情况下。这意味着要找出一个方法检查一个字符串是不是有效的罗马数字。这比 toRoman 中验证有效的数字输入 困难， 但是你可以使用一个强大的工具：正则表达式。

如果你不熟悉正则表达式，并且没有读过 第 7 章 正则表达式，现在是该好好读读的时候了。

如你在 第 7.3 节 “个案研究：罗马字母”中所见到的，构建罗马数字有几个简单的规则：使用字母 M， D， C， L， X， V，和 I。让我们回顾一下：

1. 字符是被“加”在一起的： I 是 1， II 是 2， III 是 3。 VI 是 6 （看上去就是 “5 加 1”)， VII 是 7， VIII 是 8。
2. 这些字符（ I， X， C， 和 M）最多可以重复三次。 对于 4，你则需要利用下一个能够被5整除的字符进行减操作得到。你不能把 4 表示为 IIII 而应该表示为 IV （“比 5 小 1 ”）。 40 则被写作 XL （“比 50 小 10”）， 41 表示为 XLI， 42 表示为 XLII， 43 表示为 XLIII， 44 表示为 XLIV （“比50小10，又比 5 小 1”)。
3. 类似的，对于数字 9， 你必须利用下一个能够被10整除的字符进行减操作得到：8 是 VIII，而 9 是 IX （“比 10 小 1”），而不是 VIIII （由于 I 不能重复四次）。 90 表示为 XC， 900 表示为 CM。
4. 有五个字符不能被重复： 10 应该表示为 X， 而不会是 VV。 100 应该表示为 C，而不是 LL。
5. 罗马数字经常从高位到低位书写，从左到右阅读，因此不同顺序的字符意义大不相同。 DC 是 600， CD 是完全另外一个数 （400，“比 500 少 100”)。 CI 是 101，而 IC 根本就不是一个有效的罗马数字（因为你无法从100直接减1，应该写成 XCIX，意思是 “比 100 少 10，然后加上数字 9，也就是比 10 少 1”）。

例 14.12. roman5.py

这个程序可以在例子目录下的py/roman/stage5/ 目录中找到。

如果您还没有下载本书附带的例子程序, 可以 下载本程序和其他例子程序。

"""Convert to and from Roman numerals"""
import re
#Define exceptions
class RomanError(Exception): pass
class OutOfRangeError(RomanError): pass
class NotIntegerError(RomanError): pass
class InvalidRomanNumeralError(RomanError): pass
#Define digit mapping
romanNumeralMap = (('M',  1000),
                   ('CM', 900),
                   ('D',  500),
                   ('CD', 400),
                   ('C',  100),
                   ('XC', 90),
                   ('L',  50),
                   ('XL', 40),
                   ('X',  10),
                   ('IX', 9),
                   ('V',  5),
                   ('IV', 4),
                   ('I',  1))
def toRoman(n):
    """convert integer to Roman numeral"""
    if not (0 < n < 4000):
        raise OutOfRangeError, "number out of range (must be 1..3999)"
    if int(n) <> n:
        raise NotIntegerError, "non-integers can not be converted"
    result = ""
    for numeral, integer in romanNumeralMap:
        while n >= integer:
            result += numeral
            n -= integer
    return result
#Define pattern to detect valid Roman numerals
romanNumeralPattern = '^M?M?M?(CM|CD|D?C?C?C?)(XC|XL|L?X?X?X?)(IX|IV|V?I?I?I?)$' 
def fromRoman(s):
    """convert Roman numeral to integer"""
    if not re.search(romanNumeralPattern, s):                                    
        raise InvalidRomanNumeralError, 'Invalid Roman numeral: %s' % s
    result = 0
    index = 0
    for numeral, integer in romanNumeralMap:
        while s[index:index+len(numeral)] == numeral:
            result += integer
            index += len(numeral)
    return result

	这只是 第 7.3 节 “个案研究：罗马字母” 中讨论的匹配模版的继续。 十位上可能是XC （90）， XL （40），或者可能是 L 后面跟着 0 到 3 个 X 字符。 个位则可能是 IX （9）， IV （4），或者是一个可能是 V 后面跟着 0 到 3 个 I 字符。
	把所有的逻辑编码成正则表达式，检查无效罗马字符的代码就很简单了。 如果 re.search 返回一个对象则表示匹配了正则表达式，输入是有效的，否则输入无效。

这里你可能会怀疑这个面目可憎的正则表达式是否真能查出错误的罗马字符表示。没关系，不必完全听我的，不妨看看下面的结果：

例 14.13. 用 romantest5.py 测试 roman5.py 的结果

fromRoman should only accept uppercase input ... ok          
toRoman should always return uppercase ... ok
fromRoman should fail with malformed antecedents ... ok      
fromRoman should fail with repeated pairs of numerals ... ok 
fromRoman should fail with too many repeated numerals ... ok
fromRoman should give known result with known input ... ok
toRoman should give known result with known input ... ok
fromRoman(toRoman(n))==n for all n ... ok
toRoman should fail with non-integer input ... ok
toRoman should fail with negative input ... ok
toRoman should fail with large input ... ok
toRoman should fail with 0 input ... ok
----------------------------------------------------------------------
Ran 12 tests in 2.864s
OK                                                           

	有件事我未曾讲过，那就是默认情况下正则表达式大小写敏感。 由于正则表达式 romanNumeralPattern 是以大写字母构造的，re.search 将拒绝不全部是大写字母构成的输入。 因此大写输入的检查就通过了。
	更重要的是，无效输入测试也通过了。 例如，前面那个测试用例需要检查 MCMC 之类的情形。 正如你所见，这不匹配正则表达式， 因此 fromRoman 引发一个测试用例正在等待的 InvalidRomanNumeralError 异常，所以测试通过了。
	事实上，所有的无效输入测试都通过了。 正则表达式捕捉了所有你在编写测试用例时所能预见的所有情况。
	最终迎来了 “OK”这个平淡的“年度大奖”，所有测试都通过后 unittest 模块就会输出它。

	当所有测试都通过了，停止编程。