Question

我需要返回true的函数，当记录有某个字段时，反之亦然。例如：

-record(robot, {name,
            type=industrial,
            hobbies,
            details=[]
            }).

Crusher = #robot{name="Crusher", hobbies=["Crushing people","petting cats"]}.

SomeFunction(Crusher, hobbies). %% returns true
SomeFunction(Crusher, fantasy). %% returns false

抱歉我的英文。这是我大学的功能编程练习。它是为Lisp编写的，这是简单的解决方案。但对我来说，Erlang需要它。非常感谢您的帮助。我写了一些丑陋的功能。这不是我的第一个问题的解决方案。这对我的老师来说已经足够了。

searchArray(_, []) -> false;
searchArray(X, [X|_]) -> true;
searchArray(X, [_|T]) -> searchArray(X, T).

existField(Field) ->
searchArray(Field, record_info(fields, robot)).

我认为，地图在这里也更有用。

Answer 1

Erlang记录揭秘

你应该明白，erlang中的记录只是语法糖，最终会成为常规元组。

我确定你已经完成了你的作业并且看了the official reference here。

让我们详细说明您在那里找到的内容并以robot记录为例。如果您在模块中的某处添加同伴代码

io:format("My happy robot is ~p", #robot{name="foo", type=some_atom}).

您希望看到与此类似的内容

My happy robot is {robot, "foo", some_atom, undefined, []}

请注意，记录是大小为NumberOfField + 1的元组。将记录名称作为第一个元素（守护者）。您还会注意到没有引用您声明的字段。这是因为记录符号只是一种按名称而不是按位置访问元组元素的方法。

好的，你已经打开了一个erlang shell，尝试了命令并且它没有工作，这是正常的。 shell只是不了解记录（较新的版本可以，但有一些魔力）。如果您在模块中尝试该命令，它将正常工作。你应该理解的是，一旦编译了你的模块，就会扩展其中定义的所有记录。生成的已编译模块不再具有对记录的引用，既不是属性也不是代码。

Robot = #robot{name="foo", type=some_atom},
Robot#robot.type
%% = "foo"
%% Internally, sometime during the parsing, the function
%% erl_expand_records:module/2 will be called and transform the code to
%% something equivalent to this:
Robot = {robot, "foo", some_type, undefined, []},
element(3, Robot).

当然，实际发生的事情有点复杂，因为erl_expand_records:module/2适用于AbstractForms，但你明白了。

现在回答你的问题。您有几个不同的选择，您应该选择最适合您需求的选项：

选项1：掌握默认值

定义记录字段时，可以为它们提供可选的默认值。如果您没有指定该值，则erlang将使用undefined。

示例：

-record(record_1, {foo=bar,baz}).
io:format("~p", #record_1{}).
%% Will print
{record_1, bar, undefined}

注意第二个字段是如何设置为undefined的。从这里开始，解决问题非常简单

is_defined(undefined)->false;
is_defined(_)->true.

%% And call it like this
is_defined(Crusher#robot.hobbies).

好的，好的。它看起来与你要求的完全不同。实际上，您可以完全跳过该函数，并在函数和case子句匹配模式中直接使用记录表示法。

选项2：使用宏进行黑客攻击

您还可以定义一个魔术宏来实现选项1中定义的想法，如下所示：

-define(IS_DEFINED(rec, inst, field), (undefined==inst#rec.field)).
%% and then use it like this
?IS_DEFINED(robot, Crusher, hobbies)

不完全是一个功能，但它看起来像一个。

Answer 2

您可以使用record_info(fields, Record)获取记录字段列表。你需要知道记录和这个功能有点棘手。在编译期间，记录被转换为固定大小的元组，并且添加了伪函数record_info。

#robot{name="Crusher", hobbies=["Crushing people","petting cats"]}

成为：

{robot, "Crusher", industrial, ["Crushing people","petting cats"], []}

如果你想分享记录，你应该把它放在.hrl文件中并将它包含在你希望能够使用＆＃34; #record_name {}＆＃34;构建它的每个模块中，用点运算符提取元素按字段或使用record_info。

从第17版开始，我们maps也应该对你有用，并且不会对你的大脑造成伤害。

Answer 3

记录不是erlang中的特殊类型，而是一个简单的元组，第一个术语是元组的名称。一切都在编译时解决，因此在运行时测试字段的存在是没有意义的，因为它不应该通过编译：我不知道如何在没有明确使用字段名的情况下访问记录字段。< / p>

正如Lukasz所说，你可以使用map，这是新的erlang类型随R17一起使用。

如果你真的想进行测试，list：member（Field，record_info（fields，Record））就可以了。

二郎。记录。现有的领域

3 个答案:

Erlang记录揭秘

选项1：掌握默认值

选项2：使用宏进行黑客攻击