定义了一个字符串变量 clause1 = "((1 & z[0]) != 0)"它的eval()给出了BoolRef: 1 & v__a != 0 我实际需要的BoolRef: ((1 & v__a) != 0)如何将方括号保留在eval()中并评估其他所有内容 查看完整描述