if not和unless有什么区别

DeathKing

NetBeans中首选项有这么一项：“将if取反语句变为unless”，我不知道有什么区别，就用Benchmark库做了下面的测试。

希望没有什么语法错误

1. require 'Benchmark.rb'
   
2. 
   
3. TEST_TIMES = 9999999
   
4. TEST_STATE = false
   
5. 
   
6. Benchmark.bmbm(15) do |t|
   
7.         t.report("if not")  {
   
8.                 TEST_TIMES.times do
   
9.                         if not TEST_STATE
   
10.                                 true
    
11.                         end
    
12.                 end
    
13.         }
    
14.         t.report("unless") {
    
15.                 TEST_TIMES.times do
    
16.                         unless TEST_STATE
    
17.                                 true
    
18.                         end
    
19.                 end
    
20.         }
    
21. end
    

复制代码

结果是这样的：

1. Rehearsal --------------------------------------------------
   
2. if not           3.954000   0.000000   3.954000 (  4.109375)
   
3. unless           3.593000   0.000000   3.593000 (  3.730469)
   
4. ----------------------------------------- total: 7.547000sec
   
5. 
   
6.                      user     system      total        real
   
7. if not           4.219000   0.000000   4.219000 (  4.281250)
   
8. unless           3.625000   0.000000   3.625000 (  3.699219)

复制代码

明显unless要快，是因为if not要计算两次么？

八云紫

估计是 if not 先取反再判断， unless 直接判断~

zhangbanxian

if not是两步，unless是一步，自然是unless快了...- -b话说lz思考问题真精确

小幽的马甲

  if not true and false---》不满足

  unless true and false---》满足

not的优先权问题，速度在RM里倒真看不出来……毕竟是位运算嘛

wangswz

我都以为走错了
看新手贴看多了
现在突然看到技术贴 我的裤裆立刻就湿润了

小角色

很惊艳。。之前一直觉得只是写法不同以适应不同编程习惯的人

紫苏

其实这属于架构不独立的细节问题，我刚用你的代码在 Linux AMD Opteron 2CPU/8GB/Sun Fire X4200 上测试，结果是：

1. 
   
2. Rehearsal --------------------------------------------------
   
3. if not           3.520000   0.580000   4.100000 (  4.102890)
   
4. unless           3.160000   0.500000   3.660000 (  3.667306)
   
5. ----------------------------------------- total: 7.760000sec
   
6.                      user     system      total        real
   
7. if not           3.150000   0.500000   3.650000 (  3.649854)
   
8. unless           3.140000   0.700000   3.840000 (  3.843158)

复制代码

运行时环境稳定下来后似乎也不见得有啥区别
然后试了下 Solaris 4CPU/8GB/Sun V440

1. Rehearsal --------------------------------------------------
   
2. if not          22.170000  34.620000  56.790000 ( 56.824471)
   
3. unless          23.200000  34.020000  57.220000 ( 57.239640)
   
4. --------------------------------------- total: 114.010000sec
   
5. 
   
6.                      user     system      total        real
   
7. if not          21.620000  35.040000  56.660000 ( 56.664212)
   
8. unless          22.950000  33.930000  56.880000 ( 56.911735)
   

复制代码

也没看出明显区别

从形式语言的翻译规则上来看，前者是应该先取反，然后分歧跳转，而后者直接分歧跳转。但实际上解释器也会做相应的优化，比如 if not expr 这种语法，解释器完全可以翻译成：

        cmp eax 0                    ; 假设这里 eax 是 expr 解析后的结果值
        je if_not
         ; ..... if not not false
if_not:
        ; ...... if not false

而不是：
        not eax
        cmp eax 1
        je if_not
         ; ..... if not not false
if_not:
        ; ...... if not false

当然上面的指令只是针对 x86，不同的架构也可能有不同的表现

darkdrium

愚以为4.2和3.6不算区别，更何况这是9999999次重复的累计时间，少量操作根本不是可见的差异
另外评价时间应该还要加上复合条件判断的时间，比如if not xxx and xxx和unless xxx or xxx

DeathKing

愚以为4.2和3.6不算区别，更何况这是9999999次重复的累计时间，少量操作根本不是可见的差异
另外评价时间应 ...
darkdrium 发表于 2010-7-5 00:29

复合条件最后也不是要转化为true和false么？