erlangで-spec機能を使用する方法

Question

私は小さなerlangサービスを作成していますので、私のタイプに制約を入れたいと思います。

私は-specの機能を見つけました。これは、これが機能のシグネチャを特定のタイプに「ロックする」方法のようです。

私の例では、関数のようになります：

fib(N) when N < 3 -> 
    1; 
fib(N) -> 
    fib(N-1) + fib(N-2). 

-spec fib_cps(pos_integer()) -> pos_integer(). 

は、方法は、少なくとも正しい型を返すことを確認する必要があり行を追加しますが、これはそうではないようです。 。

の場合：

fib(N) when N < 3 -> 
    ok; 
fib(N) -> 
    not_ok. 

コードはまだコンパイルされ、うまく実行されます。

私は何を誤解していますか？

Answer 1

コンパイラはこれらのコメントをスキップします。しかし、透析装置を使って静的コード解析を行うことができます。このツールは仕様違反について警告します。

Answer 2

werewindleは、another answerで、-specは、署名の一部ではなく、解析にのみ使用されます。入力タイプを確認する場合は、ガード内のタイプのチェックを含めることができます。だから、あなたの例では、あなたが行うことができます：

fib(N) when is_integer(N), N > 0, N < 3 -> 
    1; 
fib(N) when is_integer(N), N >= 3 -> 
    fib(N-1) + fib(N-2). 

あるいは、より慣用的に、2つだけの正当なベースケースがあるので：

fib(1) -> 1; 
fib(2) -> 1; 
fib(N) when is_integer(N), N >= 3 -> 
    fib(N-1) + fib(N-2). 

これはfib(bogus)かfib(0.5)ような何かをやってからあなたを妨げるのかさらにfib(-1)。試してみると、実行時にbadmatchで失敗します。

注：guardで使用できる唯一の機能は、ランタイムによって許可されている組み込み関数です。それらのほとんどはerlangモジュールにあります。