2

在描述状态变量时，Mercury参考手册说：“!X可能不会作为参数出现在函数应用程序中，因为考虑到状态变量和函数的通常解释，这没有意义”（第 14 页）。我想更好地理解这种推理：状态变量和函数是什么使组合变得荒谬？

我的部分困惑来自下面的代码，我可以使用!.X, !:X状态变量的形式，但不能使用!X形式。如果我可以使用前者，为什么不能使用后者？

此代码编译并按预期运行：

% Choose values, A and B, from the list of values, subject to certain restrictions
:- pred pick_a_b(int, int, list(int), list(int)).
:- mode pick_a_b(out, out, in,        out) is nondet.
pick_a_b(A, B, !Values) :-
    A = pick(!.Values, !:Values),
    B = pick(!.Values, !:Values),
    A \= 3, A > 2, B > 2, B \= 4.

% Choose any item from the input list; pass all the un-chosen items back to the caller.
:- func pick(list(int), list(int)) = int.
:- mode pick(in,        out)       = out is nondet.
pick([X | Xs], Xs)      = X.
pick([X | Xs], [X | Zs]) = pick(Xs, Zs).

main(!IO) :-
    if 
        Values = [1, 2, 3, 4, 5],
        pick_a_b(A, B, Values, _)
    then
        io.format("A = %i\n", [i(A)], !IO),
        io.format("B = %i\n", [i(B)], !IO)
    else
        io.format("Something went wrong\n", [], !IO).

但是更改前两行会pick_a_b导致编译错误。

pick_a_b(A, B, !Values) :-
    A = pick(!Values),
    B = pick(!Values),
    A \= 3, A > 2, B > 2, B \= 4.
4

2 回答 2

3

你的“功能”选择有一个奇怪的模式，(in, out) = out。这是非常不寻常的，这就是为什么 !:Values 语法在您的第一个示例中起作用的原因。它通常不会像函数通常具有模式 (in, in, ..., in) = out。

参考手册说 !X 语法在函数调用中没有意义是正确的，我也相信你使用 !:Values 和你的函数模式也没有意义。是的，您的代码是合法的，编译器接受它并可以编译它，但是我不知道为什么有人会在这里使用函数而不是谓词。这样做可能会使将来阅读您的代码的人感到困惑。

于 2014-04-21T03:46:57.777 回答
1

状态变量的通常解释是其中一个是输入，另一个是输出，而函数的通常解释是所有参数都是输入，返回值是输出。参考手册指出，鉴于这些解释，使用状态变量作为参数是没有意义的。

推理可以概括为：仅仅因为你可以允许程序员写东西，并不意味着你应该。

于 2014-10-05T15:22:14.343 回答