如何在 erlang 编译器批准的情况下对记录进行子类型化？

Question

我试图定义一个记录 #a 和一个记录 #b，以便 #b 扩展 #a，以便在某些情况下我可以将 #b （以及 #a 的其他子类型）视为 #a。但是，编译器不喜欢它，并不断尝试根据我对其进行的第一次访问来猜测记录类型。以下代码会触发警告。

-module(sandbox).  
-record(a,{alfa,beta}).  
-record(b,{alfa,beta,gama}).  
-export([test/0]).
test() ->  
    A = #b{alfa=1,beta = 2,gama=3},  
    self()!{msg,A},  
    receive  
    {msg,Msg} ->  
        Alfa = Msg#b.alfa,
        Beta = Msg#b.beta,
        case is_record(Msg,b) of
            true ->
                Gama = Msg#b.gama;
            false->                  %% Warning. Erlang assumes that Msg is a #b and therefore this will never match.
                Gama = []
        end
end,
io:format("~p ~p ~p",[Alfa,Beta,Gama]).


test1() ->
A = #b{alfa=1,beta = 2,gama=3},
self()!{msg,A},
receive
    {msg,Msg} ->
        Alfa = Msg#a.alfa,
        Beta = Msg#a.beta,
        case is_record(Msg,b) of
            true ->                  %% Warning. Erlang assumes that Msg is an #a, and therefore this will never match.
                Gama = Msg#b.gama;
            false->
                Gama = []
        end
end,
io:format("~p ~p ~p",[Alfa,Beta,Gama]).

无论如何，我可以使用这个子类型并使编译警告消失吗？ 谢谢。

Answer 1

我认为这行不通，因为“-record(a,{alfa,beta})”。有点像“{a, alfa, beta}”和“-record(b,{alfa,beta,gama})”的模板。结果是元组“{b,alfa,beta,gama}”。

看看 http://erlang.org/doc/getting_started/record_macros.html#id66845 ，请...

Answer 2

如果你想在 Erlang 中继承，请使用模块继承：

-module(inh).
-extends(base).

Erlang 中另一个有用的“OOP”功能是参数化模块：

-module(param, [Id, Name]).
-compile(export_all).
id() -> Id.
name() -> Name.

并使用它：

P = param:new(1, stas).
P:id(). % returns 1
P:name(). % returns stas

也许这些功能的组合可以帮助你。