Elixir: Pattern Match hoặc Guard

Question

Tôi tò mò khi tôi nên sử dụng mẫu khớp với mệnh đề bảo vệ khi xác định hàm.

Ví dụ với mô hình kết hợp:

defmodule Exponent do 
    def power(value, 0), do: 1 
    def power(value, n), do: value*power(value, n-1) 
end 

vs bảo vệ khoản:

defmodule Exponent do 
    def power(value, n) when n==0, do: 1 
    def power(value, n), do: value*power(value, n-1) 
end 

Ý tôi là cả hai tạo ra kết quả tương tự nhưng là một giải pháp ưa thích hơn người kia? Và nếu vậy tại sao?

Tôi là người mới đến Elixir, do đó, câu trả lời cho câu hỏi này không dễ dàng đối với tôi (chưa). Cảm ơn trước.

Answer 1

Vệ sĩ mạnh hơn so khớp mẫu, nhưng chúng giới thiệu một lớp phức tạp có thể không cần thiết. Đối với các kiểm tra bình đẳng đơn giản như trong ví dụ của bạn, chúng phải tương đương về hiệu suất. Tôi khuyên bạn nên cố gắng sử dụng mẫu khớp trước để giữ cho mọi thứ đơn giản. Sau đó, bạn có thể quay lại điều khoản bảo vệ nếu cần thiết. Tuy nhiên, đôi khi nó có thể có ý nghĩa để làm khác khi nó hỗ trợ khả năng đọc, ví dụ:

def sign(x) when x < 0, do: -1 
def sign(x) when x == 0, do: 0 
def sign(x) when x > 0, do: 1 

Tôi cho rằng trường hợp sử dụng "đúng" cho toán tử bình đẳng trong mệnh đề bảo vệ là khi nó được sử dụng như một phần của các biểu thức phức tạp hơn, ví dụ:

def divisible?(x, divisor) when rem(x, divisor) == 0, do: true 
def divisible?(_x, _divisor), do: false