python中对自己进行评估的关键字

Question

Clojure 中有一个关键字的概念，您可以通过在您要作为关键字处理的单词前面添加一个冒号来定义它们。此外，它对自身进行评估。例如：

:my-keyword 
;=> :my-keyword

有没有办法通过定义一些自定义类或任何解决方法在 python 中实现这一点？

这样做的原因是有更多的自描述参数（字符串在那里，但在传递时无法跟踪是否有一致的字符串）。

一个实际的用例是这样的：

def area(polygon_type):
  return \
  {
    "square": lambda side: (side * side),
    "triangle": lambda base, height: (0.5 * base * height)
  }[polygon_type]

area("square")(2) # ==> 4

但是，如果处理不当，以这种方式使用字符串会导致运行时出错。但是在任何 IDE 中都有类似关键字的东西，甚至是自动完成功能，这表明在传递 polygon_type 时所犯的错误。

area("Sqaure")(2) # would lead to a KeyError

python 中是否有一些我不知道的功能可以解决这类问题？ 如果没有，有人会如何解决这个问题？

编辑： 我并不是特别想解决拥有这样一个功能的问题；而是寻找一种在 python 中实现 keyword 概念的方法。因为，对于枚举，我必须捆绑并在某个类别下明确定义它们（在本例中为 polygon_type）

Answer 1

Clojure 中的关键字是interned strings，Clojure 为它们提供了特殊的语法支持。我建议你看看how they are implemented。看起来像Python does some interning of its strings，但我不太了解它的细节。

使用关键字的重点是快速比较和地图查找。虽然我不确定你会如何从中受益，但你可以尝试使用字符串实习在 Python 中实现自己的关键字对象，如下所示：

str2kwd = {}

class Keyword:
    def __init__(self, s):
        self.s = s
        
    def __repr__(self):
        return str(self)
    
    def __str__(self):
        return ":" + self.s

def kwd(s):
    """Construct a keyword"""
    k = str2kwd.get(s)
    if k is None:
        k = Keyword(s)
        str2kwd[s] = k
    return k

只要你想构造一个关键字，你就调用kwd 函数。对于 Keyword 类，我们依赖默认的相等和散列方法。然后你可以这样使用它：

>>> kwd("a")
:a
>>> kwd("a") == kwd("a")
True
>>> kwd("b") == kwd("a")
False
>>> kwd_a = kwd("a")
>>> kwd_b = kwd("b")
>>> {kwd_a: 3, kwd_b: 4}
{:a: 3, :b: 4}
>>> {kwd_a: 3, kwd_b: 4}[kwd_a]
3

但是，我没有衡量这是否会导致比仅使用常规 Python 字符串更快的比较和地图查找，这可能是 Python 最惯用的选择。我怀疑你会看到使用这个自制关键字类的性能有显着改善。另请注意，最好在模块的顶层调用kwd 函数并将其分配给您使用的变量，而不是每次需要关键字时调用kwd。显然，你不会有 Clojure 中的特殊关键字语法。

更新：如何避免拼写错误

如果您担心地图中的键拼写错误，您可以将键分配给局部变量并使用这些局部变量而不是直接使用键值。这样，如果您拼写错误的局部变量名称，您可能会很快收到错误，因为您指的是不存在的局部变量。

>>> kwd_square = "square"
>>> kwd_triangle = "triangle"
>>> m = {kwd_square: 3, kwd_triangle: 4}
>>> m[kwd_square]
3
>>> m[Square]
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
NameError: name 'Square' is not defined