Python HMAC库源代码中_secret_backdoor_key变量的原因是什么？

Question

今天在浏览 Python HMAC 模块源代码时，发现其中包含全局变量_secret_backdoor_key。然后检查该变量以中断对象初始化。

代码如下所示

# A unique object passed by HMAC.copy() to the HMAC constructor, in order
# that the latter return very quickly.  HMAC("") in contrast is quite
# expensive.
_secret_backdoor_key = []

class HMAC:
    """RFC 2104 HMAC class.  Also complies with RFC 4231.

    This supports the API for Cryptographic Hash Functions (PEP 247).
    """
    blocksize = 64  # 512-bit HMAC; can be changed in subclasses.

    def __init__(self, key, msg = None, digestmod = None):
        """Create a new HMAC object.

        key:       key for the keyed hash object.
        msg:       Initial input for the hash, if provided.
        digestmod: A module supporting PEP 247.  *OR*
                   A hashlib constructor returning a new hash object.
                   Defaults to hashlib.md5.
        """

        if key is _secret_backdoor_key: # cheap
            return

完整的code is here。

有谁知道这个变量的原因是什么？评论说 HMAC 比空白字符串（“”）返回得更快。但是为什么用户想要将空密钥传递给 HMAC 函数呢？变量命名只是 HMAC 开发者的玩笑还是真的是某种后门？

Answer 1

要创建 HMAC 实例的副本，您需要先创建一个 empty 实例。

_secret_backdoor_key 对象用作提前退出__init__ 的哨兵，而不是运行__init__ 功能的其余部分。 copy 方法然后直接设置实例属性：

def copy(self):
    """Return a separate copy of this hashing object.

    An update to this copy won't affect the original object.
    """
    other = self.__class__(_secret_backdoor_key)
    other.digest_cons = self.digest_cons
    other.digest_size = self.digest_size
    other.inner = self.inner.copy()
    other.outer = self.outer.copy()
    return other

您可以使用self.__class__('')（一个空字符串）获得相同的效果，但随后HMAC.__init__ 做了很多不必要的工作，因为创建的实例上的属性将被替换无论如何 .请注意，使用HMAC('') 是一种创建实例的有效方式，在这种情况下，您不希望实例没有任何状态。通过传入哨兵，HMAC.copy() 可以避免所有额外的工作。

您可以使用不同的“标志”值，例如False，但由于您自己的代码中存在错误，因此传递它太容易了。相反，您希望收到有关此类错误的通知。通过使用“秘密”内部哨兵对象，您可以避免此类意外情况。

使用[] 作为标记唯一对象是一种非常古老的做法。这些天你会改用object()。这个想法是，哨兵是一个独特的、单一的对象，您可以使用is 对其进行身份测试。您无法在其他地方重新创建该对象，is 测试仅在您传入对完全相同的单个对象的引用时才有效。