C＃メソッドは最大値を持っていますか？すなわち、Size（int x <40、int y <80）？

Question

メソッドの入力の正当性を検証する方法があるのだろうか？私は簡単に後でこれを行うことができ、エラーを投げることができますが、コンパイル時にうまくいくと思います。代わりに

CursorPosition(int x, int y) 
{ 
if (x >= 80) { Console.WriteLine("off screen"); } 
if (y >= 24) { Console.WriteLine("off screen"); } 
} 

の

は、私はちょうどそれがここで行われ、コンパイラがバックし、エラーをスロー持っていませんでしたか？

CursorPosition(int x < 80, y < 24) 
{ 
// do stuff 
} 

ありがとうございます！タイプが値に依存しているため、いわゆる -

Answer 1

したい機能が依存型と呼ばれています。従属型システムは、「80未満の正の整数」または「最初のものが小さい方の整数」、または「整数と配列の長さよりも短い配列」などの概念を表すことができ、そのソート物の

C＃では依存型を直接サポートしていません。あなたが得ることができる最も近いのは、コメントに記載されているように、プログラムにコード契約を付けることです。コード契約により、プログラムを静的にチェックして、タイプ違反の可能性があるかどうかを確認し、実行時に契約をチェック・アンド・スローにすることができます。

依存型をサポートする多くの興味深い言語がありますが、そのほとんどは純粋に関数型言語です。