示例

static void Main(string[] args)

{

//声明变量

byte 终点;

short 来源 = 300;

//将short转换为byte类型

终点 = checked((byte)来源);

WriteLine($"终点{终点}");

WriteLine($"来源{来源}");

//按下任意键结束

ReadKey();

}

也可以配置应用程序，让这种类型的表达式都和包含checked关键字一样，除非表达式明确使用unchecked关键字（换言之，可以改变溢出检查的默认设置）。为此，应修改项目的属性：选中Solution Explorer窗口中的项目，选择Properties选项。选中窗口左边生成 选项卡，要修改的属性是一个高级设置，所以按下高级按钮。在打开的对话框中，选中检查运算上溢/下溢(K)。默认情况下禁用这个设置，激活它可以提供上述checked行为。