Python 3.7.1 findall() 的行为不符合预期

Question

首先，我知道这不是当前版本的 Python，并且 findall() 的行为从 3.6 开始发生了变化。我不认为这些都是我遇到的问题。我还没有找到任何关于 findall() 自 3.7 以来发生变化的内容。

我已经使用 sub() 而不是 findall() 设计了一个修复程序，但我很好奇为什么我必须首先这样做。

我有一个函数应该检查模式是否存在。如果找到，则应该验证该模式是否先前已定义。目前看起来像这样（带有修复程序和一些调试代码）：

    def _verifyargs(i, end, args):
        '''verify text replacement args'''

        def _findallfix(m):
            formals.append( m.group().upper() )
            return '-xxx- '
            
        # put any formal arguments into a more convenient form for checking

        checkargs = args.keys()
        print( f'checkargs: start={i}, end= {end}, args= {checkargs}' )

        # if there aren't any formal arguments we're still checking for
        # their improper use within the definition body

        while i < end:
            i, text = SRC.fetch( i+1 )
            SRC.setmaster( i )
            formals = []
            text = re.sub( SYM.macLabel, _findallfix, text, flags=re.IGNORECASE )
#           formals = re.findall( SYM.macLabel, text, flags=re.IGNORECASE )
            print( f'line= {i}, formals= {formals}' )
            for formal in formals:
#               formal = formal.upper()
                if not formal in checkargs:
                    UM.undefined( formal )

        SRC.setmaster(end)

该模式看起来像这样：

SYM.macLabel = '[?][_A-Z]([.]?[_A-Z0-9])*'              # straight text replacement

当针对这段测试代码运行时：

它产生以下输出：

这很好。这就是我想要的。但如果我注释掉修复：

    def _verifyargs(i, end, args):
        '''verify text replacement args'''

        def _findallfix(m):
            formals.append( m.group().upper() )
            return '-xxx- '
            
        # put any formal arguments into a more convenient form for checking

        checkargs = args.keys()
        print( f'checkargs: start={i}, end= {end}, args= {checkargs}' )

        # if there aren't any formal arguments we're still checking for
        # their improper use within the definition body

        while i < end:
            i, text = SRC.fetch( i+1 )
            SRC.setmaster( i )
#           formals = []
#           text = re.sub( SYM.macLabel, _findallfix, text, flags=re.IGNORECASE )
            formals = re.findall( SYM.macLabel, text, flags=re.IGNORECASE )
            print( f'line= {i}, formals= {formals}' )
            for formal in formals:
                formal = formal.upper()
                if not formal in checkargs:
                    UM.undefined( formal )

        SRC.setmaster(end)

...那么测试会产生以下结果：

所以 findall() 似乎进行了意外的匹配，尽管我的理解是 sub() 和 findall()应该具有完全相同的匹配行为。

也许我正在滥用 sub()。在这种情况下，我根本不关心替换的结果（我将其保存在这里只是因为我可能想查看它），而只关心它找到我期望的模式。关于 findall() 的工作方式，我是否忽略了什么？

Answer 1

TL;DR

使用 (?: ... ) 而不是 ( ... ) 因为 re.findall 为您提供了捕获组整场比赛。

详细

这个问题让我有点困惑，但是我发现了问题所在。

re.findall 文档 说：

结果取决于模式中捕获组的数量。
如果没有组，则返回与整个组匹配的字符串列表
图案。如果正好有一组，则返回字符串列表
匹配该组。如果存在多个组，则返回一个列表
与组匹配的字符串元组。非捕获组不
影响结果的形式。

由于您有一组括号，因此您有一个 captugin 组，这就是 re.findall 返回的内容。它符合您的期望，只是没有返回您想要的结果。

通过使用非捕获括号 (?: ... ) 您将得到您想要的结果：整个匹配项。

IE：

SYM.macLabel = '[?][_A-Z](?:[.]?[_A-Z0-9])*'