在图案

Question

重用列表当我写：

sort [x] = [x] 

是编译器足够聪明，重复使用该名单，还是我必须要明确一下吗？

sort xs@[_] = xs 

Answer 1

它足够聪明吗？让我们来看看！

ezyang@javelin:~$ cat Foo.hs 
module Foo where 
foo [x] = [x] 

这里是STG：

ezyang@javelin:~$ ghc --make Foo.hs -ddump-stg -fforce-recomp 
[1 of 1] Compiling Foo    (Foo.hs, Foo.o) 

==================== STG syntax: ==================== 
Foo.foo = 
    \r srt:(0,*bitmap*) [ds_sdP] 
     let-no-escape { 
      fail_sdO = 
       sat-only \r srt:(0,*bitmap*) [ds1_sdN] 
        Control.Exception.Base.patError "Foo.hs:2:0-12|function foo"; 
     } in 
      case ds_sdP of wild_sdY { 
      [] -> fail_sdO GHC.Prim.realWorld#; 
      : x_sdV ds1_sdT -> 
       case ds1_sdT of wild1_sdZ { 
        [] -> : [x_sdV GHC.Types.[]]; 
        : ipv_se0 ipv1_se1 -> fail_sdO GHC.Prim.realWorld#; 
       }; 
      }; 
SRT(Foo.foo): [Control.Exception.Base.patError] 

感兴趣的是这一行：

    [] -> : [x_sdV GHC.Types.[]]; 

在这里我们看到，我们正在创造一个新的利弊细胞为x_sdV和[]。所以不行。但是，这并不算太坏，因为x_sdV本身是共享的，所以它只是一个构造函数;此外，我们迫使名单xs的脊柱，因此无论如何GHC将需要重写它。所以不要担心。