1

我有 2 个功能， apply_rule和match. 每个都是独立定义的——它们不属于任何类。

match接受两个必需参数和一个可选参数，称为pairs. 它默认为空字典。下面是 forapply_rule和 for的代码match。请注意，它被调用，并且未指定match可选参数。pairs

def apply_rule(pat, rule):
  if not isrule(rule):
    return "Not a valid rule"

  subs = match(lhs(rule), pat)
  if subs == {}:
    return pat
  else:
    return substitute(rhs(rule), subs)


def match(pat, lst, pairs={}):
  if pat == [] and lst == []:
    return pairs
  elif isvariable(pat[0]):
    if pat[0] not in pairs.keys():
      pairs[pat[0]] = lst[0]
    elif pat[0] in pairs.keys() and lst[0] != pairs[pat[0]]:
      return False
  elif pat[0] != lst[0]:
    return False
  return match(pat[1:], lst[1:], pairs)

现在，单元测试match失败，因为它“记住” pairs，正如测试中定义的那样apply_rule。

但是，如果我将第 3 行更改为apply_rule，subs = match(lhs(rule), pat, {})则测试通过。你知道为什么吗？据我所知，不应该有任何方法可以match记住pairs在其他测试中调用它时的值。

以下是单元测试，供参考。

def test_match(self):
    self.assertEqual({}, match(['a', 'b', 'c'], ['a', 'b', 'c']))

    self.assertEqual(self.dict_with_x, match(['a', '_X', 'c'], ['a', '5', 'c']))
    self.assertEqual(self.dict_with_x, match(self.pat_with_xx, self.list_with_55))

    self.assertEqual(self.dict_with_xy, match(self.pat_with_xy, self.list_with_5hi))

    self.assertFalse(match(self.pat_with_xx, ['a', 'b', 'c', 'd']))
    self.assertFalse(match(['a', 'b', 'c'], ['a', 'b', 'd']))

def test_apply_and_firerule(self):
    pattern1 = "my mother thinks I am fat".split(' ')
    expected = "do you think you are fat ?".split(' ')
    self.assertEqual(apply_rule(pattern1, self.r1), expected)

而失败信息...

Traceback (most recent call last):
  File "pattern_matcher_tests.py", line 65, in test_match
    self.assertEqual({}, match(['a', 'b', 'c'], ['a', 'b', 'c']))
AssertionError: {} != {'_Y': 'fat', '_X': 'mother'}
- {}
+ {'_X': 'mother', '_Y': 'fat'}
4

1 回答 1

1

来自effbot

为什么会这样？#

默认参数值总是在且仅当它们所属的“def”语句被执行时才被评估；看：

http://docs.python.org/ref/function.html

对于语言参考中的相关部分。

该怎么做？#

正如其他人所提到的，解决方法是使用占位符值而不是修改默认值。None 是一个常见的值：

于 2013-02-13T00:47:10.527 回答