等价交换另外解读

科技前沿 • 2025-01-10 17:53 • 阅读 37

大家好，我是讯享网，很高兴认识大家。

下文由一个例子引出，如例：

片段1：

 if (pRechargeThread->GetRestartReceiveData()) { changeRechargeMode = false; } if (!changeRechargeMode) { pRechargeThread->SetSendCmdIndex(1); }

讯享网

如果根据等价交换原理，上例完全可等价为：

片段2：

讯享网if (pRechargeThread->GetRestartReceiveData()) { pRechargeThread->SetSendCmdIndex(1); }

但本文要说的是，在某些时候等价交换原理是不成立的。现在开始详细说明原因。先仔细描述上文中实例片段1中的各个部分。

1、pRechargeThread：线程类对象

2、GetRestartReceiveData：线程类成员函数

3、changeRechargeMode：实例类成员变量

4、pRechargeThread->GetRestartReceiveData()：线程类run();每执行一次就得到一个值

讯享网

5、线程类run();每执行一次，片段1就会被触发一次

线程类的run()里面每隔200ms运行一次，也就是上例中

pRechargeThread->GetRestartReceiveData()

每隔200ms就能得到一个值。

而changeRechargeMode变量是在实例类中必须手动触发才能改变。

那么针对片段1来说，一旦实例类中changeRechargeMode改变，值为ture，那么语句pRechargeThread->SetSendCmdIndex(1);立马不执行，而只有通过run()执行后，pRechargeThread->GetRestartReceiveData()得到的值为true时才继续执行。

而针对片段2来说，此时的意思却是：只有当pRechargeThread->GetRestartReceiveData()为ture时，语句pRechargeThread->SetSendCmdIndex(1);开始执行，但有一个问题是，由于有一个刷新期的原因，可能在实例类已经触发，但线程类里面的值却还没更新，而至于延迟，导致不同步。

所以说两者来说是有区别的。

等价交换另外解读

相关推荐