不允许使用 Guard 中的函数。需要替代实施的建议

Question

我正在尝试使用 fermats 方法 创建素数分解器。

此行生成错误

find_factors(A, B, FactorThis) when is_a_square(B) == true ->

对本地/导入函数 is_a_square/1 的调用在防护中是非法的

我看到此实现的唯一可能的替代方案是在函数中使用某种 case 语句。我正在避免这样做，因为它可能会搞砸尾递归。我是一个 Erlang 菜鸟。 还有哪些其他方法可以实现此功能？

get_int_part_of_sqrt(N) ->
    trunc(math:sqrt(N)).

is_a_square(N) ->
    get_int_part_of_sqrt(N) * get_int_part_of_sqrt(N) == N.

calculate_new_b(A, FactorThis) ->
    NewB = trunc(abs((A * A) - FactorThis)),
    io:format("Calculate_new_b A^2 ~w- FT ~w= NB ~w ~n",[A*A,FactorThis,NewB]),

find_factors(A, B, FactorThis) when is_a_square(B) == true ->
    io:format("find_factors true ~w ~w~n", [A, B]),
    {ok, A + get_int_part_of_sqrt(B), A - get_int_part_of_sqrt(B)};

find_factors(A, B, FactorThis) ->
    io:format("find_factors false ~w ~w~n", [A, B]),
    NewA = A + 1,
    NewB = calculate_new_b(NewA, FactorThis),
    find_factors(NewA, NewB, FactorThis).

研究1

研究2

已编辑。 修复了对calculate_new_b调用中的参数

添加了缺少的get_int_part_of_sqrts。

Answer 1

Erlang 故意限制你可以调用守卫的函数。 这是最近关于这样做的理由及其优点的讨论和缺点。

解决这个问题的唯一方法是使用 case。您可以很容易地重写此代码以使用 case：

find_factors(A, B, FactorThis) ->
    case is_a_square(B) of
        true -> io:format("      find_factors true ~w ~w~n", [A, B]),
                {ok, A + B, A - B};

        false-> io:format("      find_factors false ~w ~w~n", [A, B]),
                NewA = A + 1,
                NewB = calculate_new_b(NewA, FactorThis),
                find_factors(NewA, NewB, FactorThis).

请注意，上面的代码仍然是正确的尾递归。

（我对你的代码进行了一些修改，以删除我猜你不应该存在的部分）

Answer 2

这是围绕该问题进行重构的另一种方法。

添加所需的保护函数作为调用者的参数。这将其从可能有副作用的函数变为没有副作用的 true 或 false。然后直接模式匹配就可以完成这项工作。

main() ->
    List2 = find_factors_2 (10, 5, 105, is_a_square(5)),
    io:format("method 2 ~w~n", [List2]).

find_factors_2(A, B, _FactorThis, true) ->
    Offset = get_int_part_of_sqrt(B),
    {A + Offset, A - Offset};

find_factors_2(A, _B, FactorThis, false) ->
    NewA = A + 1,
    NewB = calculate_new_b(NewA, FactorThis),
    find_factors_2(NewA, NewB, FactorThis, is_a_square(NewB)).