Python: Интеллектуальная оценка условий

Question

У меня есть условия в строках (в обозначении состояния питона), например. например:

my_str = "0 and (not (1 and 0) or B_undefined_variable)" 

Я хочу вычислить результат условия (в математическом смысле). Я использую eval (Не беспокойтесь, я знаю, что это зло ;-)).

my_result = eval(my_str) 

я узнал, он даже работает, когда B используются в качестве письма, не определяются как переменные, так как 0 and ANYTHING всегда Ложные.

Теперь, когда я делаю это наоборот:

eval("Some_Undefined_Var and 0") 

он перестает работать. Таким образом, eval, похоже, вызывает исключение NameError-Exception без TRYING, чтобы закончить синтаксический анализ всего уравнения.

Вы знаете ЛЮБОЙ модуль/библиотеку в Python, который пытается решить такие условия?

Спасибо!

---

Спасибо за ваши ответы. Кажется, я не очень хорошо объяснил это. Я не хочу возвращать False в случае NameError - я хочу, чтобы условие оценивалось, если оно МОЖЕТ быть оценено. И действительно, это могло бы быть, независимо от того, определена ли переменная или нет.

Его следует вычислить в математическом смысле, то есть 0 *and* ANYTHING ВСЕГДА будет ложным. То же самое относится и к 1 *OR* ANYTHING -> ВСЕГДА даст ИСТИННУЮ, независимо от того, что ..

И я бы хотел, чтобы это работало и для вернувшихся условий. Вы, как человек хотел бы также сказать, что NO_MATTER_WHAT && 0 дает 0. Даже если анализатор будет немедленно прекратить после просмотра NO_MATTER_WHAT не определен ...

Answer 1

Если вы понимаете опасности eval и просто хотите вернуть специальное значение (например, 9999) для неопределенных переменных, что вы можете сделать, это настройка словаря, используемый eval:

import collections 
d = collections.defaultdict(lambda : 9999) 
d['x'] = 21 
d['y'] = 2 
print(eval('x * y', {}, d)) # ==> 42 
print(eval('z', {}, d))  # ==> 9999 

единственной альтернативой я могу думать, чтобы это реализовать синтаксический анализатор для выражений, которые используют and логики, которую вы ищете: не большое дело, но я бы сказал, что для этого требуется несколько десятков строк кода.