c# - C# 中的新类型，带有设计时检查

Question

基于这个线程。

Define "custom" integer-based type?

上面的答案很好，但我怎么能在设计时/编译时而不是在运行时得到错误。

如果我说

byte b = 300; //This will not compile.

那么我怎样才能得到相同的行为呢

PackedValue p = 5000;

或者在这种情况下是因为显式

PackedValue p = (PackedValue)5000;

Answer 1

这很难，但您可能需要查看 Code Contracts ，Visual Studio 的扩展，允许您为代码指定自定义编译时检查。

使用它，您可以在运算符声明中包含行(隐式和显式)，例如:

Contract.Requires(val < (1<<12));

这将在违反时产生编译时错误，例如用你上面的例子。