制御構造 - MK script language Wiki - MK script language

制御構造

• MK SCriptの制御構造は、条件分岐、繰り返し、ノードオブジェクト（旧名パラメータ付きノード）の３種類が存在します。
• さらに、繰り返しは前置条件型と後置条件型の２つから成り立ちます。

条件分岐

• 条件式として記載された内容が真の場合、内部ブロックの処理を実行し、条件分岐構造全体の評価を終了します。
• 条件式が偽の場合、次の条件式の評価に移ります。
• すべての条件式が偽の場合、else 節が存在すれば、else節内部ブロックの処理を実行し、条件分岐構造全体の評価を終了します。
• else節が存在しない場合は、その時点で条件分岐構造全体の評価を終了します。
• 表記法

  if <条件式> then
    内部ブロック
  [
  elseif <条件式> then
    内部ブロック
  ]*             # 0 回以上記載
  [
  else
    内部ブロック
  ]?             # 0もしくは1回記載
  end
  

• 例

  if x == 10 then
    Console << "x == " << x << "\n"
  elseif x < 10 then
    Console << "x < " << 10 << "\n"
  else
    Console << "x > " << 10 << "\n"
  end  
  

後置条件句

• 右辺の条件式が真の時のみ左辺の式を実行します。
• 左辺には、単一式のみ記載することが可能です。
• 左辺式の実行結果を取得することはできません（return節で呼び出し元に値を返す場合を除く）

    Console.println( "error" ) if x < 0
    return -1 if x < 0
    raise MyException.new() if x < 0
    break if x > 5
    continue if x % 2 == 0
  

繰り返し

• 繰り返しは、条件式が真の間、内部ブロックが繰り返し実行されます。
• 前置条件型は、最初に条件評価を行い、条件式が真であった場合のみ、内部ブロックを実行します。
• 後置条件型は、内部ブロックを一度実行したのち、最初の条件式評価を行います。
• 繰り返しの内部ブロック内では、break、continue を記述することができます。
  • breakは、最も内側の繰り返し内部ブロックから脱出します。
  • continueは、最も内側の繰り返し構造の先頭にジャンプします。前置条件型の場合、条件式を再評価します。
• 表記法

  # 前置条件型
  while <条件式>
    内部ブロック
  end
  
  # 後置条件型
  do
    内部ブロック
  end while 条件式
  

• 例

  # 前置条件型
  while x != 10
    x = x + 1
  end
  
  while x != 10
    if x == 5 then
      break          # breakで繰り返し内部ブロックを抜ける
    end
    x = x + 1
  end
  
  while x != 10
    x = x + 1
    if x == 5 then
      continue     # continueで、繰り返し構造の先頭（条件評価）から処理をやり直します。
    end
    y = y + 1
  end
  
  # 後置条件型
  do
    x = x + 1
  end while x != 10
  

  do
    x = x + 1
    if x == 5 then
      continue     # continueで、繰り返し構造の先頭（内部ブロックの先頭）から処理をやり直します。
    end
    y = y + 1
  end while x != 10
  

ノードオブジェクト

• ノードオブジェクトは、制御構造を抽象化したオブジェクトです。
• ノードオブジェクトを使用すると、メソッド、ブロック構造、式をオブジェクトとして保持し、後で必要なときに呼び出すことができるようになります。
• ノードオブジェクトは、内部定義クラス Node にカプセル化されます。

メソッドのオブジェクト化

• メソッドをオブジェクト化するには、メソッド名を変数に代入します。
• インスタンスメソッドの場合には、右辺のメソッド名に@を付加します。
• クラスメソッドの場合には、右辺のメソッド名に@@を付加します。

  def method1( )
  end
  x = @method1
  
  def class.method2( )
  end
  x = @@method2
  

• 別オブジェクトのインスタンスメソッドや、クラスメソッドをオブジェクト化するには、対象オブジェクトを . 左辺に記載します。

  class C0
    def class.method()
    end
    def instance_method( )
    end
  end
  p = C0.new()
  x = p.@instance_method
  y = C0.@@method
  

• オブジェクト化されたメソッドを呼び出すには、ノードオブジェクトに定義されている invoke メソッドを呼び出すか、メソッドオブジェクトに直接パラメータを渡します。

  def method( )
  end
  x = @method
  x.invoke( )   # method( ) の呼び出し
  x( )          # これも method の呼び出し
  
  def method_2( a, b, c )
    return a + b + c
  end
  x = @method_2
  Console << x.invoke( 1, 2, 3 ) << "\n"  # method_2( 1, 2, 3 )の呼び出し
  Console << x( 1, 2, 3 ) << "\n"         # これもmethod_2( 1, 2, 3 )の呼び出し
  

ブロックのオブジェクト化

• ブロックのオブジェクト化は無名関数と似ています。
  • 違いは、ブロックが宣言されたスコープのローカル変数へのアクセスが可能なことです。
• return を使用して、値を返すことも可能です。
• ブロックオブジェクトは、block ... end で囲まれたブロック構造を変数に代入することで宣言します。

  x = block
    if mode = 1 then
      return method_1( )
    elseif mode == 2 then
      return method_2( )
    end
  end
  

• ブロックオブジェクト呼び出し時にパラメータを渡すことも可能です。
• パラメータ付きでブロックオブジェクトを宣言するには、| param1, param2 ... | block ... end のように、| | で括りブロック定義前にパラメータリストを定義します。

  y = |a, b, c| block
    if mode = 1 then
      Console << a 
    elseif mode == 2 then
      Console << b
    else
      Console << c
    end
  end
  

• ブロックは、宣言されたスコープとローカル変数を共有します。
  • ブロック内で初めて参照された変数のスコープは、ブロック内部のみとなります。
  • パラメータとして渡された変数のスコープは、ブロック内部のみとなります。
    • 宣言スコープ内のパラメータ名と同名変数を参照するために owner. を使用することができます。
  • 上記以外の変数は宣言されたスコープの変数参照となります。

    c = 10
    y = |a,b| block
      return a + b + c
    end
    
    z = |a,b,c| block
      return a + b + c + owner.c
    end
    

• 呼び出しは、メソッドオブジェクトと同様に行えます。

  x = block
    if mode = 1 then
      method_1( )
    elseif mode == 2 then
      method_2( )
    end
  end
  x( )           # x に代入されたブロックを呼び出す
  x.invoke( )
  
  y = |a, b, c| block
    if mode = 1 then
      Console << a 
    elseif mode == 2 then
      Console << b
    else
      Console << c
    end
  end
  y( 1, 2, 3 )         # ブロック引数として、1, 2, 3 を渡し、ブロックを呼び出す。
  y.invoke( 1, 2, 3 )
  

• 宣言と同時に呼び出すことも可能です。ただしこの場合、invokeを明示的に記載します。

  |a, b, c| block
    if mode = 1 then
      Console << a 
    elseif mode == 2 then
      Console << b
    else
      Console << c
    end.invoke( 1, 2, 3 )
  

• ブロック内での returnは、呼び出されたブロックから抜けるだけです。呼び出し元メソッドから抜けることはありません。
• break, continue はブロック呼び出しをまたぐことはできません。

エクスプレッション（式）オブジェクト

• 式オブジェクトは、評価式を{ } で括る事で宣言します。
• パラメータ付きで式オブジェクトを宣言するには、| param1, param2 ... | block ... end のように、| | で括り式定義前にパラメータリストを定義します。

  a = 1
  b = 2
  x = { a + b + c }
  y = | a, b | { a + b + owner.a + owner.b }
  

• 呼び出しは、メソッドオブジェクト、ブロックオブジェクトと同様に行えます。

  a = 1
  b = 2
  x = { a + b + c }
  y = | a, b | { a + b + owner.a + owner.b }
  x()
  y(3,4)