二郎。记录。现有字段

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)).

我也认为 map 在这里更有用。

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}

请注意第二个字段如何设置为未定义。从这里开始，解决你的问题就很简单了

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)

也不完全是一个函数，但它看起来像一个。