Tại sao không phải là andalso/2 được triển khai như một BIF phù hợp?

Question

Tôi có thể viết các biểu thức boolean tiền tố như erlang:'and'(true, false), nhưng không phải là các biểu thức andalso hoặc orelse tương ứng. Tại sao?

Khi tôi nhìn vào sản lượng nòng cốt, có vẻ như andalso và orelse chỉ là macro - ví dụ:

a(A,B) -> A and B. 

dịch để lõi

'a'/2 = 
    %% Line 4 
    fun (_cor1,_cor0) -> 
     call 'erlang':'and' 
      (_cor1, _cor0) 

nhưng AndAlso đi từ

b(A,B) -> A andalso B. 

đến

'b'/2 = 
    %% Line 6 
    fun (_cor1,_cor0) -> 
     (case _cor1 of 
      (<('true' 
       -| ['compiler_generated'])> when 'true' -> 
        _cor0 
       -| ['compiler_generated']) 
      (<('false' 
       -| ['compiler_generated'])> when 'true' -> 
        'false' 
       -| ['compiler_generated']) 
      (<_cor2> when 'true' -> 
        (call ('erlang' 
          -| ['compiler_generated']):('error' 
                 -| ['compiler_generated']) 
         (({('badarg' 
           -| ['compiler_generated']),_cor2} 
          -| ['compiler_generated'])) 
        -| ['compiler_generated']) 
       -| ['compiler_generated']) 
      end 
      -| ['compiler_generated']) 

Dường như nó được triển khai theo cách này để bảo vệ sự lười biếng, nhưng nó sẽ không phải ở bước này - ví dụ: vẫn có thể có một dòng call 'erlang':'andalso', được dịch sau này.

Chỉ là sự giám sát mà erlang:'andalso'(A,B) không tương đương với A andalso B hoặc một số loại "mở rộng sớm" có gây khó khăn không?

Answer 1

Lý do chính là các cuộc gọi đến BIF hoạt động giống như các cuộc gọi đến các hàm "bình thường" ở chỗ chúng được đặt trong đối số của chúng, tất cả các đối số được đánh giá trước khi hàm BIF được gọi. Điều phân biệt với andalso và orelse là chúng không đánh giá tất cả đối số của chúng nhưng chỉ là đối số đầu tiên. Sau đó, tùy thuộc vào giá trị của đối số đầu tiên mà họ có thể hoặc không thể đánh giá thứ hai. Điều này có nghĩa rằng ngay cả khi họ đã được BIFS họ sẽ phải được xử lý đặc biệt bởi trình biên dịch anyway, do đó, có rất ít điểm trong việc đưa họ BIFs.

Ngoài ra việc mở rộng rất đơn giản nên sẽ có ít lợi ích khi thực hiện khi BIF xử lý đặc biệt.