优雅的方式来测试python ASTs的相等性(不是引用或对象标识)
在Python中，AST（Abstract Syntax Tree，抽象语法树）是用于表示Python代码结构的一种数据结构。AST可以用于静态分析、代码转换和代码生成等场景。当我们需要比较两个AST是否相等时，可以使用以下优雅的方式来测试它们的相等性（不是引用或对象标识）：
- 首先，我们需要导入
ast模块，该模块提供了操作AST的相关功能。
import ast- 接下来，我们可以使用
ast.parse()函数将Python代码解析为AST对象。
code1 = "print('Hello, World!')"
code2 = "print('Hello, World!')"
ast1 = ast.parse(code1)
ast2 = ast.parse(code2)- 然后，我们可以使用
ast.dump()函数将AST对象转换为字符串表示形式，以便进行比较。
ast_dump1 = ast.dump(ast1)
ast_dump2 = ast.dump(ast2)- 最后，我们可以比较两个AST的字符串表示形式是否相等，以判断它们的相等性。
if ast_dump1 == ast_dump2:
print("两个AST相等")
else:
print("两个AST不相等")这种方式可以测试两个AST的相等性，而不仅仅是比较它们的引用或对象标识。它适用于各种场景，例如在代码转换过程中验证转换的正确性，或者在静态分析工具中检测代码的变化。
腾讯云相关产品推荐：
- 云函数（Serverless）：腾讯云云函数是一种无服务器计算服务，可帮助您在云端运行代码，无需关心服务器运维。您可以使用云函数来处理AST的相等性测试等任务。了解更多：云函数产品介绍
- 人工智能机器学习平台（AI Lab）：腾讯云AI Lab提供了丰富的人工智能开发工具和资源，可用于AST的相等性测试等人工智能相关任务。了解更多：AI Lab产品介绍
- 云数据库 MySQL 版（TencentDB for MySQL）：腾讯云数据库MySQL版是一种高性能、可扩展的关系型数据库服务，可用于存储AST的相等性测试结果等数据。了解更多：云数据库 MySQL 版产品介绍
- 云存储（COS）：腾讯云对象存储（Cloud Object Storage，COS）是一种安全、稳定、低成本的云端存储服务，可用于存储AST的相等性测试所需的代码和数据。了解更多：云存储产品介绍
请注意，以上推荐的腾讯云产品仅供参考，具体选择应根据实际需求进行。
相关·内容
我想知道对python内置的set类型和z3常量使用成员测试是否安全。 假设有以下示例： a = Int('a')
a2 = Int('a')
s = set()
s.add(a)
print(a2 in s) 最后一行返回True，这是我想要的行为(当name相同时)。但是，ExpRef中的__eq__()操作符被重新定义为返回约束'self == other'，所以我不明白这个True是从哪里来的。当两个常量具有不同的name时，in运算符会返回True吗
浏览 50提问于2020-04-03得票数 0
回答已采纳
我正在处理一个python项目，面对一个问题，我有一个代码片段，如下面所示：
if published_to is not '*':
if 'T00:00:00.000Z' not in published_to:
published_to = published_to.replace('T00:00:00.000Z', '')
published_to = published_to.split('-')[::-1]
published_to = '-
浏览 2提问于2017-10-16得票数 0
回答已采纳
我有下面的python代码来进行字符串比较：
>>> mf="moo foo"
>>> mf[0:3]
'moo'
>>> mf[0:3] is "moo"
False
>>> mf[0:3] == "moo"
True
>>> str(mf[0:3]) is "moo"
False
因此，double等于操作符返回true，但是python is运算符返回false。这肯定是因为它们不是同一个对象。
用str[n:m
浏览 2提问于2013-07-25得票数 0
回答已采纳
2回答
而不是"=="？我知道" is“是什么，它是比较变量的同一性。但是你什么时候会想这么做呢？它对我所做的一切都是在制造问题。在使用了一段时间之后(因为我觉得它让我的代码更具可读性)，我并没有对"is“宣战。
有没有人用它做"==“做不到的事情？我不明白为什么他们不把'is‘和’==‘等同于'=='，就像他们做的’和‘和'&&’一样，等等。如果有人想要指针，他们只需要说"id(x) == id(y)“，我们就不会有这种混淆了。
这是python中我不理解的“陷阱”之一，很多新手都被它绊倒了。我认为它让人
浏览 1提问于2011-04-03得票数 2
回答已采纳
2回答
我已经用JavaScript创建了一个简单的Vector类，其中包含一个构造函数和一些方法。add方法返回一个新的Vector实例。将add方法的返回值与使用相同值声明的新实例进行比较时，将返回false。我还尝试将相等运算符更改为双等号，因此我认为问题与引用无关。
class Vector {
constructor(components) {
this.length = components.length;
this.contents = components;
}
add(vector) {
if (this.length === vector.
浏览 21提问于2019-10-26得票数 0
回答已采纳
我对Python有点陌生。我在下面附加了一段代码。constant_a &b是整数。在运行此代码时，我得到以下错误：
追溯(最近一次调用)：文件"U:\V10_run2\process.py"，第209行，在U：\V10_run2\process.py ZeroDivisionError:浮动除法为零
mcs=hash["MCF"]*constant_a/constant_b
if mcs is 0:
delta__percentage=-100
else:
delta__percentage=(delta*100)
浏览 0提问于2018-11-30得票数 0
回答已采纳
2回答
让我们考虑一下Polygon类。在大多数情况下，检查是否相等应该比较引用，但是在很多情况下，值相等是有用的(比如当一个比较两个多边形和Assert.AreEqual时)。
我的想法是使价值平等在参考平等中处于次要地位。在这种情况下，很明显，==operator应该保留其默认的引用检查实现。
那么object.Equals()和IEquatable<Polygon>.Equals()呢？MSDN并不意味着==和.Equals()应该做同样的事情，但它不会使Polygon对象的行为过于模棱两可吗？
而且，Polygon类是可变的。
浏览 4提问于2015-11-13得票数 1
回答已采纳
我有一个关于JAVA中对象地址的问题。
以下是我的代码。
public class StringCompare {
public static void main(String[] args) {
String s1 = "apple";
String s2 = "apple";
String s3 = new String("apple");
boolean b1 = (s1 == s2);
boolean b2 = (s1 == s3);
浏览 2提问于2014-10-26得票数 1
根据python风格指南，python关键字is应该用来代替==操作符。
然而，它们并不总是做与这里所示完全相同的事情。为什么？实际的区别是什么，正确的用法是什么？
import unittest
class testIS(unittest.TestCase):
def test_is(self):
self.assertEqual(1,1)
if __name__ == '__main__':
unittest.main()
这是可行的..。但是下面的不是……
import unittest
class testIS(unittest.T
浏览 0提问于2012-03-16得票数 3
回答已采纳
1回答
就在我认为我对python运算符了解得够多的时候！
有人能解释一下为什么e是f false吗？
a = 'Goodbye'
b = 'Goodbye'
c = 'Good_Bye'
d = 'Good_Bye'
e = 'Good-Bye'
f = 'Good-Bye'
a is b
Out[9]: True
c is d
Out[10]: True
e is f
Out[11]: False
浏览 0提问于2020-09-25得票数 0
没有人真正谈到equals()和hasCode()的这一方面，但可能会对equals()和hashCode()行为产生巨大的影响。当处理一个更复杂的对象，引用其他对象时，它非常庞大。
约书亚·布洛赫在他的有效Java中甚至没有在他的“重写equals()方法”一章中提到它。他的所有例子都是一些琐碎的东西，比如Point和ColorPoint，它们都只是原始的或几乎原始的类型。
能避免递归吗？有时很难。假设：
Person {
String name;
Address address;
}
这两个字段都必须转到业务密钥(正如Hibernate人员所称的那样)，它们都是值组件(约书
浏览 2提问于2013-04-17得票数 4
15回答
我有一个Python程序，其中两个变量被设置为值'public'。在条件表达式中，我有一个失败的比较var1 is var2，但是如果我将它改为var1 == var2，它将返回True。
现在，如果我打开我的Python解释器并执行同样的"is“比较，它就会成功。
>>> s1 = 'public'
>>> s2 = 'public'
>>> s2 is s1
True
这里我漏掉了什么？
浏览 2提问于2009-10-01得票数 1265
回答已采纳
4回答
这是我的代码：
Log.d("inf", loader);
if (loader == "Klasse"){
Log.d("inf", "Klasse yes");
OPTS = new String[] { //Something };
} else {
Log.d("inf", "Klasse no");
OPTS = new String[] { //Something };
}
在第一行中，输出完全是"Klasse“，但下一次输出每次都是"Kl
浏览 0提问于2012-05-14得票数 1
回答已采纳
我开始学习python已经有几天了，在这一点上我偶然发现了==和is。来自java背景，我假设==会按对象id进行比较，而is会按值进行比较，但实际上是这样做的
>>> a = (1,2)
>>> b = (1,2)
>>> a is b
False
>>> a == b
True
似乎is相当于java的==，而python的==相当于java的equals()。这是思考is和==区别的正确方式吗？还是有一个警告？
浏览 0提问于2013-01-04得票数 12
回答已采纳
可能重复：
这个问题很简单，我很抱歉。我有一个非常简单的java程序：
public class ArgIt {
public static void main(String[] args){
if(args[0].equals("x")) System.out.print("x");
if(args[0] == "x") System.out.println("x2 ");
}
}
如果我调用程序>java ArgIt x，它只打印一个x。为什么程序在任
浏览 4提问于2012-05-10得票数 2
回答已采纳
我有以下代码：
LocalDate one = LocalDate.of(2016, 1, 1);
LocalDate two = LocalDate.of(2016, 1, 1);
System.out.println(one.equals(two)); // true since contents are same
System.out.println(one == two); // false since references are diff
LocalDate newone = one.with(TemporalAdjusters.nextOrSame(DayOfWeek.FRIDA
浏览 4提问于2016-03-16得票数 1
回答已采纳
好的，所以我在python中制作了一个文件保存软件，允许用户制作、删除和上传文件到程序中的一个秘密文件夹。
下面是我遇到麻烦的部分：
user = input("User :")
if user is "Aymen":
print("Welcome")
else:
print("Access denied")
为什么我的程序不管正确的输入总是显示“访问被拒绝”？
浏览 7提问于2015-07-03得票数 1
回答已采纳
var myWidth = 20;
var myHeight = 30;
allDims = [
{w: 20, h: 30},
{w: 10, h: 15}
]
if ($.inArray({w: myWidth, h: myHeight}, allDims) !== -1) {
...
}
为什么if条件总是返回-1？
浏览 0提问于2013-06-24得票数 2
3回答
在域模型中实现平等时，我正在寻找关于最佳实践的建议。在我看来，有三种类型的平等：
引用相等-意味着两个对象都存储在相同的物理内存空间中。
标识平等-意味着两个对象具有相同的标识值。例如，具有相同订单号的两个Order对象表示相同的实体。当在列表、哈希表等中存储值时，这一点特别重要，而且对象需要一个唯一的标识来查找。
值相等-两个对象都具有相同的属性。
按照惯例，.NET提供了两种测试相等性的方法:等于和==。那么，我们如何将这三种类型映射到这两种方法呢？
当然，我忽略了MS添加的Object.ReferenceEquals，因为大多数人都是超越平等的，因为引用平等不是他们想
浏览 4提问于2011-11-02得票数 4
回答已采纳
在str in [str1, str2, str3]或1 in [1, 2, 3]这样的Python表达式中，in操作符是否使用==或is将第一个对象与列表中的对象进行比较？
浏览 4提问于2018-03-14得票数 7
回答已采纳
代码看起来是正确的，对我来说很简单，我对我创建的数组使用了基本的indexOf方法。
为什么这段代码不会：
public int indexOf(X s)
{
for (int i = 0; i <= arr.length-1; i++)
{
if (arr[i] == s)
{
return i;
}
}
return -1;
}
通过此测试：
@Test
public void testIndexOf()
{
BetterArray<
浏览 0提问于2014-03-17得票数 0
我有模特。这一部分是：
模型由jpa annotations.Everywhere映射，我使用fetchType = EAGER。如果从数据库加载空位，则有2个重复的status_for_vacancy对象。我使用属性hbm2ddl.auto = update。如果创建新的数据库模式并填充数据，则不会复制status_for_vacancy对象。真的吗？
代码：空缺
@Entity
@Table(name = "vacancy")
@XmlRootElement(name="vacancy")
public class Vacancy {
priv
浏览 0提问于2013-08-20得票数 0
我可以请某人解释一下如何在if条件下使用is吗？我正在使用分数模块，我遇到了一些麻烦：
>>> Fraction(0, 1) is 0
False
>>> float(Fraction(0, 1))
0.0
>>> float(Fraction(0,1)) is 0.0
False
我发现唯一有效的方法是：
>>> F = Fraction(a,b)
>>> if F >= 0:
... if F(0, 1) <= 0:
... ...
这里有
浏览 0提问于2011-06-04得票数 9
回答已采纳
我是python的新手，目前正在探索它的一些核心功能。
请解释一下为什么在字符串带有特殊字符的情况下，下面的示例总是返回false：
>>> a="x"
>>> b="x"
>>> a is b
True
>>> a="xxx"
>>> b="xxx"
>>> a is b
True
>>> a="xü"
>>> b="xü"
>>> a
浏览 9提问于2014-08-07得票数 6
回答已采纳
交互式终端结果：
In [11]: a=1111111111111111111111111111111111111111111111111111
In [12]: b=1111111111111111111111111111111111111111111111111111
In [13]: a is b
Out[13]: False
脚本结果：
# overflow in ~ [13:55:16]
» python -c "a=1111111111111111111111111111111111111111111111111111;b=11111111111111111111111
浏览 0提问于2018-11-23得票数 2
equals方法比较两个对象值是否相等。我的问题是，它如何比较这两个对象？它如何判断这两个对象是否相等？我想知道它对这两个对象进行了什么比较。我没有包括hashCode方法。
浏览 0提问于2013-03-21得票数 6
3回答
下面的代码不是像Javadoc提到的关于clone()方法那样创建浅拷贝的
// Do the same with object arrays
obj O[] = new obj[5];
obj Oc[] = O.clone();
System.out.println("Identity hashcode of obj arrays");
System.out.println(System.identityHashCode(O));
System.out.println(System.identityHashCode(Oc));
// check objects equal
浏览 3提问于2015-10-29得票数 1
回答已采纳
1回答
对于所有虚拟树视图(TVirtualStringTree)，我都使用了常见的过程，因此我只有一段代码要维护，就像OnClick一样，我使用了所有VST控件都设置的Common_VST_OnClick：
procedure TForm1.Common_VST_OnClick(Sender: TObject);
为了执行VST在单击过程中调用它的代码，我意识到我使用了许多不同的方法来识别哪个控件是发件人：
if Sender = VST1 then
if Sender.Name = VST1.Name then
if TVirtualStringTree(Sender) = VS
浏览 2提问于2016-01-02得票数 3
回答已采纳
为什么这是可以的： assert 'foo'+' bar'.is('foo baz') 此操作失败，但这是正常的： assert 'foo'+' bar' == 'foo baz'
浏览 18提问于2021-09-23得票数 0
回答已采纳
众所周知，对象的equals()方法(如果不重写)是一个“浅比较”，相当于使用"==“操作符。(例如，请参见。)
问:为什么Java在默认情况下不提供“深度比较”equals()方法？也就是说，它将对其每个实例变量递归地调用equals()。最终，递归将到达基元类型并停止。如果这种深度比较等于默认值，那么有什么坏处吗？
浏览 3提问于2017-06-26得票数 8
回答已采纳
我的应用程序从Firebase数据库检索数据并将其显示在RecyclerView中。这个应用程序已经显示了标题、标题和3个标签。此外，它应该检查一个标题是否是字符串"Test“。如果是的话，它应该显示一个特定的图像。
这是我的适配器
public class MyAdapter extends RecyclerView.Adapter<MyAdapter.MyViewHolder> {
Context context;
ArrayList<NewsCard> newsCards;
public MyAdapter(Context c ,
浏览 2提问于2020-06-01得票数 1
回答已采纳
这可能是一个很长的机会，但我想我还是会尝试。
当类不是NoneType时，是否需要得到一个类似于它的类呢？
假设我有一个第三方API中的对象，我不能更改它，但是我可以对其进行猴子补丁。大多数方法都可以在同一阶段返回该对象。这个对象与None相同，因为他们决定使用自己的自定义类型来表示与None相同的东西。
我能不能给这种类型的猴子贴上补丁，这样当选中它的时候，它就不像任何东西了：
value = SpecialNoneClass()
if value is None:
print foobar
浏览 1提问于2013-08-13得票数 0
回答已采纳
我想知道为什么以下代码不起作用：
String test = new String(new byte[] {92, 92, 92, 92, 92});
System.out.println(test);
String compare = "\\\\\\\\\\";
System.out.println(compare);
if (test == compare) {
System.out.println("Yes!");
}
产出如下：
\\\\\
\\\\\
我不理解的数据类型转换在哪里发生？
编辑： /fail :(
浏览 5提问于2009-08-27得票数 2
回答已采纳
今天，我学习了Python中的is关键字，并尝试了以下操作：
>>> x=2+2
>>> y=4
>>> x is y
True
我开始用整数来尝试is，因为我知道答案是False --所以我发现结果非常令人惊讶！为了给出一些上下文，我的背景是C++和C#，其中存在值类型和对象类型之间的区别。在Python中，正如我现在意识到的，一切都是引用类型。
看来，x is y是True的原因与在这个问题中解释的相同，后者与字符串使用is有关。也就是说，运行时环境通过共享或“实习生”整数来节省内存，就像它对字符串所做的一样--这将在对一个问题的回答中
浏览 3提问于2014-04-05得票数 12
回答已采纳
我非常熟悉.NET对象及其框架，用于引用和引用值类型。python对象与.NET对象相比如何？具体来说，我想知道等式obj1 == obj2、散列能力(也就是能够放入一个数据集)和复制。
例如，默认情况下，在.NET中，所有对象都是引用类型，它们的相等性和哈希码由它们在内存中的地址决定。此外，将变量分配给现有对象只会使其指向内存中的那个地址，因此不会发生昂贵的复制。对于python来说，情况似乎是一样的，但我并不完全确定。
编辑：
等式
(但是值相等对对象意味着什么？)
我找到了一些写在2000年的：
对象
所有Python对象都有以下内容：
唯一标识(
浏览 4提问于2012-05-04得票数 1
回答已采纳
下面是我的字典定义的一个示例。当我将DicKeys定义为class时，ContainsKey()无法工作。如果我将DicKeys更改为struct，它将正常工作。
为什么ContainsKey()在class和struct上的工作方式不同
Dictionary<DicKeys, DicVals> aDic = new Dictionary<DicKeys, DicVals>();
// original version as below
public Class DicKeys
{
public EnKey1 DicKeyItem1,
public En
浏览 1提问于2010-12-14得票数 0
回答已采纳
2回答
重写对象类的相等方法
、、、
那么假设您有两个类：ClassA和ClassB
ClassA扩展Object，ClassB扩展ClassA
ClassA没有参数构造函数。
ClassB有一个整数变量x和一个带有初始化x的整数参数的构造函数。
ClassA不覆盖它从Object继承的equals
ClassB重写equals，以便如果整数x在两个对象中具有相同的值，则ClassB的两个对象被视为相等。
//在类B中有以下方法:公共布尔值等于(Object obj) { if (obj == null) {返回false；} if (obj.getClass() != this.getClass()) {返回
浏览 2提问于2013-07-21得票数 1
1回答
我有一个图书对象数组列表，其中一个类字段是title。我想在数组中搜索具有特定标题值的书籍。
public void getBook(String bookTitle) throws SQLException {
ArrayList<Book> books = getAllBooks();
for (int i = 0; i < books.size(); i++) {
Book b = books.get(i);
if (b.getTitle() == bookTitle) {
System.out
浏览 1提问于2017-03-08得票数 0
我正在获取当前的win7用户名，它是rsmith，但我的if语句在下面显示: 0000 rsmith 2222 rsmith
为什么我的if ==行不能像预期的那样工作？userName是铁匠
String userName = System.getProperty("user.name");
System.out.println("0000 " + userName + "\n");
if (userName == "rsmith"){
System.out
浏览 3提问于2014-01-29得票数 0
回答已采纳
我不清楚语法!=和is not之间的区别。他们似乎在做同样的事情：
>>> s = 'a'
>>> s != 'a'
False
>>> s is not 'a'
False
但是，当我在列表理解中使用is not时，它会产生与使用!=时不同的结果。
>>> s = "hello"
>>> [c for c in s if c is not 'o']
['h', 'e', 'l'
浏览 4提问于2011-04-26得票数 17
回答已采纳
备注:在你投票否决我的问题或结束我的问题，或者把它标记为重复之前，让我向你保证，我已经看过几十个类似的问题了，并在谷歌上搜索过，但一个多小时后，我仍然没有解决这个问题。没有其他答案解决了我的问题。
问题--我有以下代码：
text = ''
text += '<' + '/' + '>'
print text, '</>'
print repr(text), repr('</>')
if text is '</>':
pri
浏览 5提问于2016-04-23得票数 4
回答已采纳
这将类似于java.lang.Object.hashcode()方法。
我需要将我无法控制的对象存储在一个集合中，并确保只有当两个对象实际上是同一个对象(不包含相同的值)时，这些值才会被覆盖。
浏览 1提问于2009-08-09得票数 93
回答已采纳
假设我保存和检索相同的对象，如下所示
var obj1, obj2;
instance.save(function(err, saved) {
obj1 = saved;
});
Model.find(obj1._id).run(function(err, retrieved) {
obj2 = retrieved;
});
当我打印到控制台时，ObjectIds是相同的。如果我在两个ObjectIds上调用toString，它们是相等的。然而，做一个笔直的
obj1._id == obj2._id
返回false。这是怎么回事？
浏览 3提问于2012-05-17得票数 8
4回答
我已经与此斗争了很长一段时间，并找到了一些有用的资源，但问题仍然存在。
下面是我的代码：
import java.util.Scanner;
public class Stocks {
public static void main(String [] args){
// value of stock at beginning of year and end of year.
final int beginningStock = 10;
final int endStock = 20;
// value of stocks by quarter; th
浏览 0提问于2012-02-15得票数 1
回答已采纳
我正在尝试提取列表中所有字典的集合，以便为集合中的任意两个字典提取dict1 is dict2 == False。使用set()不能将字典列表简化为集合，因为它们是不可接受的。我意识到我可以做到以下几点：
dictlist = [.....]
setlist = []
for d in dictlist:
if all(s is not d for s in setlist):
setlist.append(d)
是否有一个内置的python (使用c，速度更快)类似于set()来减少列表，只是不需要hashable呢？
浏览 3提问于2013-12-15得票数 2
回答已采纳
可能重复：
通常，我使用type(x) == type(y)来比较这些类型是否相同。然后使用x==y比较数值是否相等。
但是，有人建议，如果z1 is z2和z2包含相同类型的数值，则只需使用z1进行比较。在许多情况下，它将是成功的(特别是对积极的国家)。
然而，有时相同的数字(主要是负的ints)可能有几个不同的实例。这是蟒蛇的预期行为吗？
例如：
>>> for x in range(-20,125):
z1=x
z2=int(float(x))
if z1 is not z2:
print "z1({z1}; t
浏览 0提问于2012-07-23得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
