(a != b) 和 (a != (a = b) 有啥区别？

Posted 2023-02-21

技术标签:

【中文标题】(a != b) 和 (a != (a = b) 有啥区别？【英文标题】：What is the difference between (a != b) and (a != (a = b)?(a != b) 和 (a != (a = b) 有什么区别？ 【发布时间】：2018-06-27 10:00:18 【问题描述】：

在recent question中，我们发现了以下代码：

// p, t, q and tail are Node<E> objects.
p = (p != t && t != (t = tail)) ? t : q;

省略问题的上下文，我对以下行为感兴趣：

t != (t = tail)

考虑到它们是相同类型的对象，无论是什么类型。这和以下有什么区别：

t != tail

或者我在比较机制中遗漏了一些重要的东西？

编辑

如果有人想知道，这可以在 java.util 的 ConcurrentLinkedQueue 类中找到，第 352 行。

【问题讨论】：

单'='是做作运算符。这是一种将 t 分配给 tail 然后检查其对 tail 的引用不等式的扭曲方式（此时总是错误的）不同之处在于，第一个 t 获取尾部的值，第二个不获取。 @YassineBadache 我讨厌在任何代码中看到这些结构。将它放在核心 java 中确实不能让人放心:) 对于好奇的人：ConcurrentLinkedQueue 中从“简单”实现到这个“复杂”实现的步骤似乎（！）源于这个变更集：hg.openjdk.java.net/jdk8u/jdk8u/jdk/rev/902486a8e414#l3.202 @Eugene 如您所知，他的风格和这种极端的微优化已经提高了other questions。以前版本的代码（使用continue retry;）也是我在代码审查中永远不会接受的东西，但是代码库的这个区域是非常特殊和微妙的。我只是认为（或者也许只是希望？- 至少：我必须假设）Doug Lea 有非常深刻的技术原因来这样做。在某些情况下（比如这个），我很想听听它们，不过...... 【参考方案1】：

t != (t = tail)

等价于

oldt = t;
t = tail;
... oldt != t...

即将t 的原始值与tail 进行比较，此外还为t 分配了tail 的值。

这是一种简短的写作方式

if (t != tail) 
    t = tail;

【讨论】：

我做得更好。 Oracle 开发人员有时会有一些奇怪的方式来处理事情。我想知道他们是否有他们的理由。谢谢！ @AbdulAhad 我看到你在回答中声称的内容，但如果你是对的，那么条件总是会被评估为假（除非其他线程在赋值之后和条件之前更改了 t 的值)，这是不正确的。尝试运行int t=1; int tail=2;if (t != (t = tail)) System.out.println ("not equal");。你会看到“不等于”被打印出来。 @Eran 好吧，这似乎不是完全相同的事情......***.com/a/48322642/1059372 有时这很重要：jeremymanson.blogspot.md/2008/12/benign-data-races-in-java.html。但同样，我并没有深入研究 OP 的问题代码以 非常确定 我认为您所说的“捷径”至少具有误导性（如果不仅仅是错误的话）。分配t=tail总是会发生，而且不仅是在它们不相等的情况下。关键是条件检查是否该值确实由于该分配而改变。这在您的答案的第一部分更加清晰，但... 可以替换为正确的if。编辑：（关于您上面的第一条评论）：我认为这一切的重点是检测另一个线程是否修改了tail。 @Marco13 非常高兴不只是我这么想。由于这是一个并发数据结构，因此在您查看它时，可能有人已经删除了 tail。据我了解，这就是这段代码的作用【参考方案2】：

第一个代码：

t != (t = tail)

将tail分配给t，然后将t与新值进行比较

第二个会比较 t 和 tail

【讨论】：

【参考方案3】：

注意：另一个答案是 Java 实际在做什么

synchronized(x) 
     if(t != (t = tail));

等价于

synchronized(x) 
    t = tail;

    if(t != t) 
        // ...

基本上，对所分配内容的引用由 () 运算符返回

public class Test 
    public static void main(String[] args) 
        Integer a = 1;
        Integer b = 2;

        if(a != (b = a)) 
            System.out.println("however, there is an issue with a != (a = b), Java bug");
         else 
            System.out.println("assignment first, obvious by inspection");

但是，相同的代码在 C 中也可以工作。如果我不得不猜测，这在 Java 中是无意的，在这样的事情上与 C 的任何背离都是愚蠢。 Oracle 可能不期待弃用它，假设它是一个无意的错误，它可能是。

下次我与他们交谈时会谈到它。我仍然对他们在国防部的整个 Abode 惨败感到生气，这与将我妈妈的主页设置为 ask.com 与 Apple Incorporated 勾结有关。不过，在我女儿的视频库重新下载失败后，我不得不点击超过 400 次才能重试，Apple 在不到一周的时间内修复了 iTunes，因此问题仅限于 Oracle。它也影响了微软，所以每个人都为之疯狂。

#include <iostream>

static int ref = 0;

class t 
public:
    t(int x) : x(x), r(ref)  ref++; 
    t(const t& o) : x(o.x), r(o.r)  
    t& operator=(const t& o)  x = o.x; r = o.r; return *this; 
    bool operator!=(const t& o) const  return r != o.r; 
private:
    int x;
    int r;
;

int main() 
    t a(1);
    t b(2);

    if(a != (a = b)) 
        std::cout <<  "assignment\n";
     else 
        std::cout <<  "no assignment\n";
    

    return 0;

【讨论】：