hồ sơ Erlang với cả hai loại và hạn chế giá trị cũng như các giá trị mặc định

Question

Tôi cố gắng để viết một kỷ lục mà đại diện cho một tài khoản ngân hàng:

-record(account, { name :: atom(), 
        type :: atom(), 
        balance = 0 :: integer() }). 

Tôi cũng muốn hạn chế sự cân bằng để luôn >= 0. Làm thế nào để tôi làm điều này?

Answer 1

Một cái gì đó như balance = 0 :: 0 | pos_integer() có thể thực hiện thủ thuật.

chỉnh sửa là không chắc chắn nó tồn tại, nhưng non_neg_integer() sẽ tốt hơn:

balance = 0 :: non_neg_integer() 

Answer 2

Theo ghi nhận của người khác, các thông số kỹ thuật loại chỉ đơn thuần là đầu vào cho công cụ phân tích như PropEr và Dialyzer. Nếu bạn cần để thực thi bất biến balance >= 0, các loại tài khoản nên được đóng gói, chỉ có thể truy cập đến chức năng mà tôn trọng bất biến:

-module(account). 

-record(account, { name :: atom(), 
        type :: atom(), 
        balance = 0 :: non_neg_integer() }). 

%% Declares a type whose structure should not be visible externally. 
-opaque account() :: #account{}. 
%% Exports the type, making it available to other modules as 'account:account()'. 
-export_type([account/0]). 

%% Account constructor. Used by other modules to create accounts. 
-spec new(atom(), atom(), non_neg_integer()) -> account(). 
new(Name, Type, InitialBalance) -> 
    A = #account{name=Name, type=Type}, 
    set_balance(A, InitialBalance). 

%% Safe setter - checks the balance invariant 
-spec set_balance(account(), non_neg_integer()) -> account(). 
set_balance(Account, Balance) when is_integer(Balance) andalso Balance >= 0 -> 
    Account#account{balance=Balance}; 
set_balance(_, _) -> error(badarg). % Bad balance 

Chú ý cách này giống như một lớp học với lĩnh vực tư nhân trong các ngôn ngữ hướng đối tượng như Java hay C++ . Bằng cách hạn chế quyền truy cập vào các hàm tạo và các trình truy cập "đáng tin cậy", sự bất biến được thực thi.

Giải pháp này không cung cấp bảo vệ chống lại độc hại sửa đổi trường balance. Hoàn toàn có thể cho mã trong mô-đun khác bỏ qua đặc tả loại "đục" và thay thế trường số dư trong bản ghi (kể từ records are just tuples).