for循环递归

Question

我在uni的数据结构课程中学习，并试图理解它。 我对C中的递归和循环有一个大致的了解，但是我很难理解如何在erlang中实现循环。 例如，我在c中的我的程序中有以下循环：

int ii;
double cos_lat[8];    
for(ii = 2, cos_lat[1] = cos(lat); ii <= 7;; ii++)
{
 cos_lat[ii] = cos_lat[1] * cos_lat[ii-1]
}

而且我不知道如何在erlang中实现它。 我知道我必须创建自己的循环定义，例如：

for(Max, Max, F) -> [F(Max)];
for(I, Max, F) -> [F(I)|for(I+1, Max, F)].

（取自实用的erlang）

然后按如下方式调用它：

for(2,7,fun(ii) -> // this is where i get stuck.

我认为我必须在数组（如列表）上使用其他数据结构，但是我不确定如何访问列表。

感谢您的答复。 只是更新（14/8）。 我试图对代码进行递归，如下所示：

-module(cos1).
-export([cos_lat/1]).
cos_lat(Base, Iterator, Prev) -> [Base*Prev|cos_lat(Base,Iterator+1,Base*Prev)];
cos_lat(Base, 7, Prev) -> [].

并按如下方式调用它：

cos1:cost_lat(cos(lat),2,cos(lat).

但是它只是不想工作！ Erlang确实是一种令人困惑的语言。

Answer 1

让我们看一下“ for”循环结构。

它包含初始化块 ， 条件块和更新块 。 循环具有一个状态 （开始时实际上是在初始化块中定义）。 无论您要处理哪种数据结构，因为循环的结构通常都是相同的。 循环状态封装了实际的数据结构。

另外，您可能会看到条件块和更新块通常是循环状态的功能 。

使用此信息，让我们创建通用循环函数：

-module( loops ).
-export( [ for/3 ] ).

for( State, ConditionFunc, LoopFunc ) ->
        case ConditionFunc( State ) of
                true ->
                        NewState = LoopFunc( State ),
                        % next iteration
                        for( NewState, ConditionFunc, LoopFunc );
                false ->
                        % terminate and return
                        State
        end.

例如，使用我们的函数创建一个从1到10的数字列表（在eralng外壳中）：

1> c(loops). 
{ok,loops}
2> 
2> ConditionFunc = 
2> fun( { 0, List } ) -> false;
2> ( _ ) -> true 
2> end.
#Fun<erl_eval.6.82930912>
3> 
3> LoopFunc = 
3> fun( { N, List } ) -> { N - 1, [ N | List ] } end. 
#Fun<erl_eval.6.82930912>
4> 
4> { _, Result } = loops:for( { 10, [] }, ConditionFunc, LoopFunc ).
{0,[1,2,3,4,5,6,7,8,9,10]}
5> 
5> Result.
[1,2,3,4,5,6,7,8,9,10]
6> 

这不是创建数字序列的最佳方法，仅用于说明。 总是可以找到更优雅的递归解决方案与循环解决方案。 对于我们的示例，下一个解决方案更可取：

seq( A, B ) ->
        my_seq( A - 1, B, [] ).

my_seq( A, A, List ) ->
        List;
my_seq( A, B, List ) ->
        my_seq( A, B - 1, [ B | List ] ).

在外壳中：

1> loops:seq( 1, 10 ).
[1,2,3,4,5,6,7,8,9,10]

或者只是使用标准库列表中的功能:)

2> lists:seq( 1, 10 ).
[1,2,3,4,5,6,7,8,9,10]

Answer 2

这一点：

for(2,7,fun(ii) -> // this is where i get stuck.

您正在用索引调用您的fun ，但实际上您对索引并不感兴趣-您需要在上一次迭代中添加到列表中的值。 您可以将其作为第四个参数传递给for函数； 第一次调用它时，需要使用cos(lat)作为种子，并在每个递归步骤中使用新值。

Answer 3

以防万一有人感兴趣。 我解决了如下问题：

    -module(cos_lat).
    -export([cos_lat/3]).

     cos_lat(_Base, _Iterator, _Prev) ->
     cos_lat(_Base, _Iterator, _Prev, []).

     cos_lat(_Base,0, _Prev, _Co) ->
     lists:reverse(_Co);

     cos_lat(Base, Iterator, Prev, Co) -> 
     cos_lat(Base, Iterator-1, Base*Prev, [Prev*Base|Co]).

因此，您可以输入以下内容：

     cos_lat:cos_lat(math:cos(lat),7,math:cos(lat)).