C# 方法的最大值？即大小（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# 不直接支持依赖类型。如评论中所述，您可以获得的最接近的方法是使用代码合同注释您的程序。代码协定使您能够静态检查程序以查看是否存在可能的类型违规，并在运行时将协定转变为检查并抛出。

有许多有趣的语言确实支持依赖类型，但其中大多数是纯函数式语言。