>  > カロ/KARO フロアマット KRONE 品番:2821 カラー:ツイードブラック,ツイードボルドー BMW X1 E-84 リアゲートのみ 2010年04月~

カロ/KARO フロアマット KRONE 品番:2821 カラー:ツイードブラック,ツイードボルドー BMW X1 E-84 リアゲートのみ 2010年04月~


FUJITSUBO (フジツボ) マフラー Wagolis (ワゴリス) RF5 ステップワゴン スパーダ 2.0 2WD K20A用 > sequential programmingTOYOTIRES トーヨー ナノエナジー3 NANOENERGY3 サマータイヤ 165/55R14 MANARAY EUROSPEED ユーロスピード G10 ホイールセット 4本 14インチ 14 X 4.5 +43 4穴 100 > error handling

Error Handling

カロ/KARO ハッチバック フロアマット KRONE 品番:2821 カラー:ツイードブラック,ツイードボルドー BMW X1 E-84 リアゲートのみ ヨコハマ 2010年04月~

例外とは予期しない動作が起きたときのことを言います。
例えば、足し算をしようと思ったのに変数の中身がatomだった、などということがあげられます エアロパーツ 15" G3 Rear Bumper Lip Downforce Apron Splitter Diffuser Canard For Mazda Subaru 15 "G3リアバンパーリップダウンフォースマツダスバル用エプロンスプリッターディフューザーキャナード。。

ある程度プログラミングをしたことがある人なら分かると思いますが、 複雑なプログラムにおいては例外は必ず生じるものです。
微塵の間違いもない正確なコードを書いたとしても、Erlang言語自体の中にバグもあるでしょうし、 外部的な要因(ネットワークが落ちた)などでも例外は起きます。

障害に強いコードを書くためにも例外処理はきちんと身につける必要があります。

Erlangにおける例外の概観

例外処理は少し難しいので、まずは全体像から見て行きましょう。

以下に例外処理の大まかな流れを書きます。
case文に非常に似ていることに注意して下さい KYB(カヤバ) New SR SPECIAL フロント[R]1本 プレサージュ(TNU30) NST5178ZR。

try 評価される式 of
 パターン1 ガード1 -> 処理1;
 パターン2 ガード2 -> 処理2;
 パターン3 ガード3 -> 処理3
catch
 例外のタイプ1: パターン1 ガ−ド1 -> 例外処理1;
 例外のタイプ2: パターン2 ガ−ド2 -> 例外処理2;
 例外のタイプ3: パターン3 ガ−ド3 -> 例外処理3
after
 例外が起きても起きなくても実行される処理
end

まず、"評価される式"が評価されます RS-R eKスペースカスタム B11A 駆動:4WD (26/2~) サスペンション Ti2000 DOWN リアのみ 2本セット。
このときエラーが発生したら、catchに飛びます。 なにもエラーが起きなかったらパターンマッチングとガードで任意の処理を行います。
この処理の最中にエラーが起きてもcatchに飛びます。 なにもエラーが起きなかったら通常通りに処理が行われます。

afterキーワードがあれば、通常処理が終わった後に afterキーワード内の処理を行ってから呼び出し元に帰ります。
afterキーワードがなかったならば、case文と全く同じ動作となります HANKOOK ハンコック ventusV12evo2 ベンタス K120 サマータイヤ 215/40R18 WEDS WedsSport ウェッズ スポーツ SA-20R ホイールセット 4本 18インチ 18 X 7.5 +45 5穴 100。

さて、ここではエラーが起きたと仮定しましょう。

そうすると、
マッチする例外のタイプ、パターン、ガードの順にマッチしていき、対応する例外処理を行います。
afterキーワードがあればキーワード内の処理を実行し、ないのであればそのまま呼び出し元に帰ります。

これが大まかな流れとなります。

リアゲートのみ フロアマット カロ/KARO カラー:ツイードブラック,ツイードボルドー BMW 2010年04月~ リアゲートのみ X1 E-84 カロ/KARO KRONE 品番:2821

Erlangにおける例外のタイプは3つです。少ないので覚えてしまいましょう。

throw/1
普通の例外として、例外を投げる時に使用する。
この例外を投げられる対象は無視する(自分の上位にまかせる)か、
例外処理をすることが望まれる 【フィット ハイブリッド GP5/GP6   ノブレッセ】フィットハイブリッド GP5/6 標準グレード エアロ3点セット メーカー塗装済 ティンテッドシルバーメタリック/ブラック ツートン。
throw(Why)と呼び出す。
exit/1
throwよりも重度の例外であり、プロセスを終了したい場合に投げる。
このプロセスが他のプロセスと協調しているのであれば、
相手のプロセスは何らかの対応が必要となる(後述)。
exit(Why)と呼び出す
error/1
Erlang Run-time(Erlang本体)が出したエラー。エラーとしては一番重度である。
たとえば、1+a などということをやったら発生する。
erlang:error(Why)というような形で任意に呼び出すことも可能であり、
その場合は重度のエラーであることを示している。

try catch サンプル

サンプルを通して動作を見ていきましょう。
なお、コードはプログラミングErlangのサイトにあったものの引用です。
非常に良い本なので、購入を検討してみては如何でしょうか。

-module(try_test).
-compile(export_all).
demo1() ->
 [catcher(I) || I <- [1,2,3,4,5]].
catcher(N) ->;
 try generate_exception(N) of
 Val -> {N, normal, Val}
 catch
 throw:X -> {N, caught, thrown, X};
 exit:X -> {N, caught, exited, X};
 error:X -> {N, caught, error, X}
 end.
 
generate_exception(1) -> a;
generate_exception(2) -> throw(a);
generate_exception(3) -> exit(a);
generate_exception(4) -> {'EXIT', a};
generate_exception(5) -> erlang:error(a).

簡単に解説します

まず、generate_exception/1関数を見て下さい。
1と4は普通ですね。
2,3,5はエラーを投げています。

この文が実行されるのは
catcher/1関数の中にある "try generate_exception(N) of"
という部分ですね。
この中で普通の処理(節1と節4)や、エラーが投げられたりしています。

カロ/KARO フロアマット KRONE 品番:2821 カラー:ツイードブラック,ツイードボルドー BMW X1 E-84 リアゲートのみ 2010年04月~
純正 BMW MINI ミニ R60 リヤ/リア ドアロックアクチュエーター 1個 右 51227202148 クーパー Cooper オール4 ALL4 クーパーD CooperD クーパーS CooperS クーパーSD CooperSD ジョンクーパーワークス JCW ワン One【】!サクシードバン 高品質、高精度、高透明カット済みカーフィルム(リンテックプレミアムシリーズスモーク赤外線94% 紫外線99%以上カット) H14.7~NCP51V NCP55V NLP51V.AVCO (アブコ) ストラットバー PG ランサー CK.CM#A 95.10~ フロント用,[品番:539][WORKS BELL製OEM品] ステアリングボス エッセ L235/245 17/12~ SRS

カロ/KARO フロアマット KRONE 品番:2821 カラー:ツイードブラック,ツイードボルドー BMW X1 E-84 リアゲートのみ 2010年04月~

何も投げられなかったら、
"Val -> {N, normal, Val}"
が実行されて、

エラーが投げられたら、

catch
 throw:X -> {N, caught, thrown, X};
 exit:X -> {N, caught, exited, X};
 error:X -> {N, caught, error, X}
end.

の中にあるパターンにマッチしたものが起動されます。

generate_exception(2)は throw(a)なので
"throw:X -> {N, caught, thrown, X};"
がマッチします。他の2つもそれぞれマッチするものがありますね 。

実行結果を確認してみましょう

4> try_test:demo1().
[{1,normal,a},
 {2,caught,thrown,a},
 {3,caught,exited,a},
 {4,normal,{'EXIT',a}},
 {5,caught,error,a}]

1,4がnormalで、他は例外処理の中の設定になっていますね。

try catch サンプル2

-module(test).
-export([add/2]).
 
add(X,Y) ->
 try check_param(X,Y) of
 true -> {ok,X + Y}
 catch
 throw:Z -> {error,Z};
 _:_ -> {error,erlang:get_stacktrace()}
 end.
 
check_param(X,Y) when is_integer(X),is_integer(Y) -> true;
check_param(_X,_Y) -> throw(params_are_illegal).

_:_ は全てのエラーにマッチします。ちなみに、throwやexitもアトムとして表現されています。
erlang:get_stacktrace()は例外の詳細を報告する関数です。

1> test:add(4,5).
{ok,9}
2> test:add(dog,cat).
{error,params_are_illegal}

これはわざと起こしているエラーなので、例外処理を使わなくても処理できます。

たとえば、
add(X,Y) when is_integer(X),is_integer(Y) -> {ok,X+Y};
add(X,Y) -> {error, params_are_illigal}.
とするほうがスマートです。

今回は簡単な関数だったのでいいのですが、try ofの中に複雑な関数を入れたら、 立派に例外処理は働いてくれるでしょう

try catchサンプル3

try catchの最後に便利な手法を書きます。

try 使いたい関数
catch
 _:_ -> 例外処理
end

これは関数を実行した時にエラーがおきたら例外処理するというものです。
tryは省略形で使っています。以下のプログラムと同じ意味です。

try function() of
 X -> X
catch
 _:_ -> do_something
end

catch サンプル

例外処理はcatch単体でも可能です。

プログラミングErlangのサイトより引用。

-module(try_test).
-compile(export_all).
demo2() ->
 [{I, (catch generate_exception(I))} || I <- [1,2,3,4,5]].
 
generate_exception(1) -> a;
generate_exception(2) -> throw(a);
generate_exception(3) -> exit(a);
generate_exception(4) -> {'EXIT', a};
generate_exception(5) -> erlang:error(a).

実行結果

3> try_test:demo2().
[{1,a},
 {2,a},
 {3,{'EXIT',a}},
 {4,{'EXIT',a}},
 {5,
 {'EXIT',{a,[{try_test,generate_exception,1},
 {try_test,'-demo2/0-lc$^0/1-0-',1},
 {try_test,'-demo2/0-lc$^0/1-0-',1},
 {erl_eval,do_apply,5},
 {shell,exprs,6},
 {shell,eval_exprs,6},
 {shell,eval_loop,3}]}}}]

catch 処理

とやって、処理の途中にエラーが起きたら、エラーがタプルとなって帰って来ています。

例えば、
catch generate_exception(3)

{'EXIT',a}
が帰って来ていますね。

try catchより柔軟性はないので、細かい処理がしたいときはtry catchを使いましょう。

サマータイヤ 215/60R16 95H ヨコハマ ブルーアース・エース AE50 エコフォルム CRS12 6.5-16 タイヤホイール4本セット
Erlang World TOP
サイトマップ
本家マニュアルの和訳

Erlangについて
Erlang言語とは
Windowsへのインストール
MacOSXへのインストール
emacs Erlangモード
Erlideのインストール

はじめてのErlang17インチデミオDE系WEDS マーベリック 709M マットガンメタリック 6.5Jx17ヨコハマ Sdrive AS01 195/40R17
Erlangに触ってみる
Erlangの変数ウェッズ WedsSports REVSPEC PRAIMES フロント用 トヨタ マーク2 JZX100 96/9~00/10 ターボ
パターンマッチング
関数とBIF
Erlangシェルのコマンド

データタイプ
アトム(Atom)
タプル(Tuple)
リスト(List)
BIF listsモジュール
文字列、標準出力K&N リプレイスメント 純正交換タイプ エアフィルター ランドクルーザープラド RZJ125W 33-2146 K and N KアンドN REPLACEMENT【店頭受取対応商品】
レコード(Record)
バイナリ(Binary)

モジュールと関数
モジュール(Module)
モジュール属性
関数
ガード(Guard)
ガード2
無名関数(fun)
パッケージ
マクロ(macro)

逐次プログラミング
if文

並列プログラミング

分散プログラミング
gen_tcp 2
inet

Open Telecom Platform
gen_server 2
supervisor 2
gen_event 2
gen_fsm 2


プログラミングErlang を Amazonで買う。

カロ/KARO フロアマット KRONE 品番:2821 カラー:ツイードブラック,ツイードボルドー BMW X1 E-84 リアゲートのみ 2010年04月~


Yuichi ITO. All rights reserved.
mail to :
{yahoojp}jpprem01-zenjp40-wl-zd-48581