d可同步null吗

Posted 2022-09-03 fqbqrr

​​原文​​

void foo(参数) 
  Object lock = (特定条件) ? realLock : null;

  synchronized(lock) 
    // 复杂代码.
  

即,​​根据​​​特定条件,​​复杂代码块​​​要么需要​​同步​​​保护,要么不需要.
方法​​​foo​​​有很多参数,我​​尽量避免​​​重构​​内部代码块​​​为​​单独的方法​​​.
所以​​​问题​​​是:是否可能同步​​(null(空操作))​​​?
如果目前不支持,可以​​​添加​​这样的功能吗?

我认为最简单的方法是使用嵌套函数:

void foo(参数) 
  Object lock = (特定条件) ? realLock : null;
    void innerBlock() 
        // 大量代码
    
    if (lock)
        synchronized(lock) innerBlock();
    else
        innerBlock();

由于可通过​​innerBlock​​​上下文访问​​foo​​​的参数,因此不需要复杂​​重构​​​.
是的,这与我​​​最终​​​解决方案相同.
但是,我仍然认为​​​synchronized(null)==>NOOP​​​是比​​NPE​​​更好的语义.
然后就不需要这样的​​​innerBlock()​​​和​​if-else​​.

或这样:

void foo(...) 
    scope Object fakeLock = new Object;
 // 栈上分配.
    Object lock = condition ? realLock : fakeLock

    synchronized (lock) 
        // 代码
    

由于​​fakeLock​​​是​​局部函数​​​的,因此​​同步​​​它应该是​​有效​​​的​​空操作​​​.
​​​栈上创建类文档​​

Object lock = (特定条件) ? realLock : null;

这里,"​​特定条件​​​"不能在​​上面​​​的检查和下面的​​同步​​语句间改变.

synchronized (lock) 
        // 代码