Tôi có thể tự bảo vệ mình tại Erlang không?

Question

tôi đến accross mã này trên trang web:

is_char(Ch) ->   
    if Ch < 0 -> false; 
     Ch > 255 -> false; 
     true -> true  
    end. 

is_string(Str) ->    
    case is_list(Str) of   
    false -> false;   
    true -> lists:all(is_char, Str) 
    end. 

là Guard tôi alwais mơ đi, ở chỗ nó kiểm tra nếu một đầu vào là một chuỗi của nó - làm thế nào bao giờ, tôi không được phép sử dụng nó trong erlang, tại sao thế này? Và có một công việc xung quanh?

Tôi muốn để có thể viết những thứ như:

Fun(Str) when is_string(Str) -> Str; 
Fun(Int) when is_integer(Int) -> io:format("~w", [Int]). 

hoặc thậm chí tốt hơn sử dụng nó trên tin nhắn.

Answer 1

Bạn không được phép sử dụng các chức năng do người dùng xác định trong các vệ sĩ. Đó là bởi vì các chức năng trong các vệ sĩ phải được miễn phí từ các tác dụng phụ (chẳng hạn như sử dụng io:format trong các chức năng của bạn). Trong bảo vệ, bạn được giới hạn như sau:

• BIFs sử dụng để kiểm tra loại (is_atom, is_constant, is_float, is_integer, is_list, is_number, is_pid, is_port, is_reference, is_tuple, is_binary, is_function, is_record),
• toán tử boolean (not, and, or, andalso, orelse, ,, ;),
• toán tử quan hệ (>, >=, <, =<, =:=, ==, =/=, /=),
• toán tử số học (+, -, *, div, rem),
• toán tử Bitwise (band, bor, bxor, bnot, bsl, bsr),
• khác BIFs tha t được tự do tác dụng phụ (abs/1, element/2, hd/1, length/1, node/1,2, round/1, size/1, tl/1, trunc/1, self/0)

Answer 2

Một lý do không cho phép hàm do người dùng định nghĩa trong bảo vệ là lỗi được xử lý khác nhau trong bảo vệ hơn trong các chức năng "bình thường". Trong một bảo vệ một lỗi nào không tạo ra một ngoại lệ, nó chỉ gây ra bảo vệ chính nó thất bại.

Vệ sĩ không thực sự là biểu thức nhưng kiểm tra.