从字符串**正确**创建一个 lambda 函数答案

【问题标题】：create a lambda function from a string **properly**从字符串**正确**创建一个 lambda 函数
【发布时间】：2012-06-20 02:28:06
【问题描述】：

给定一个字符串，例如

"2*(i+j) <= 100"

我要生成对应的lambda函数，

fn = lambda i,j: 2*(i+j) <= 100

我可以用eval 做到这一点，但我正在寻找一种不那么邪恶的方法。
我找到了
```
import ast
f = ast.Lambda('i,j', '2*(i+j) <= 100')
```
但我还没有弄清楚如何执行结果！
理想情况下，我也想自动提取参数列表 ('i','j') - 现在，我只是使用 re.findall('\w+')，但我会喜欢能够正确使用cos 等现有功能，而不是将它们隐藏为“关键字”。

我正在查看 Is there a Python library for handling complicated mathematical sets (constructed using mathematical set-builder notation)? 并试图找出如何最好地将集合构建器表示法解析为 lambdas 以提供给约束求解器。

我基本上希望 ast.literal_eval 也能识别变量。

理想情况下，给定i >= 20，我想取回((lambda x: x >= 20), ['i'])，然后我可以直接将其提供给constraint。

【问题讨论】：

您要解决的问题是什么？你在做一个 gp 读取解释循环吗？

标签： python string lambda

【解决方案1】：

您正在寻找eval 的替代品，但为什么呢？你接受任意代码并执行它，为什么不使用eval？避免使用eval 的唯一原因是因为它很危险，但您最终创建的 lambda 也同样危险。

另外，请记住，you really can't make it safe to do this in CPython

【讨论】：

Can't be done 是一个很少适用于 Python 的短语。 ast.literal_eval 函数是一个很好的例子，说明如何评估任意代码同时限制您可以接受的内容。此外，如果 OP 使用 trusted 输入，那么 eval 或 exec 是完全合理的（Guido 在 timeit 模块）。
ast.literal_eval 不适合 OP 的问题，因为他想要在其中进行评估的表达式。我的意思是继续使用eval，这很危险，但他的实际目标也是如此，所以任何其他方法都同样危险。
不错的博文。

【解决方案2】：

如果您的输入来自可信来源，则 eval() 是最简单、最清晰、最可靠的方法。

如果您的输入不受信任，则需要对其进行清理。

一种合理的方法是使用正则表达式。确保字符串中没有函数调用、属性查找或双下划线。

另外，一种更复杂的方法是遍历 AST 解析树以确定是否存在任何令人反感的调用。

第三种方法是遍历 AST 解析树并直接执行它。这使您可以完全控制接听电话的内容。 ast.literal_eval 函数采用这种方法。也许你从它的源代码开始，为你想要支持的任何操作做一些扩展：

def literal_eval(node_or_string):
    """
    Safely evaluate an expression node or a string containing a Python
    expression.  The string or node provided may only consist of the following
    Python literal structures: strings, numbers, tuples, lists, dicts, booleans,
    and None.
    """
    _safe_names = {'None': None, 'True': True, 'False': False}
    if isinstance(node_or_string, basestring):
        node_or_string = parse(node_or_string, mode='eval')
    if isinstance(node_or_string, Expression):
        node_or_string = node_or_string.body
    def _convert(node):
        if isinstance(node, Str):
            return node.s
        elif isinstance(node, Num):
            return node.n
        elif isinstance(node, Tuple):
            return tuple(map(_convert, node.elts))
        elif isinstance(node, List):
            return list(map(_convert, node.elts))
        elif isinstance(node, Dict):
            return dict((_convert(k), _convert(v)) for k, v
                        in zip(node.keys, node.values))
        elif isinstance(node, Name):
            if node.id in _safe_names:
                return _safe_names[node.id]
        elif isinstance(node, BinOp) and \
             isinstance(node.op, (Add, Sub)) and \
             isinstance(node.right, Num) and \
             isinstance(node.right.n, complex) and \
             isinstance(node.left, Num) and \
             isinstance(node.left.n, (int, long, float)):
            left = node.left.n
            right = node.right.n
            if isinstance(node.op, Add):
                return left + right
            else:
                return left - right
        raise ValueError('malformed string')
    return _convert(node_or_string)

【讨论】：