深入理解c# checked unchecked 关键字

checked 和 unchecked关键字用来限定检查或者不检查数学运算溢出的;如果使用了checked发生数学运算溢出时会抛出OverflowException;如果使用了unchecked则不会检查溢出,算错了也不会报错。
1. 一段编译没通过的代码


代码如下:

int a = int.MaxValue * 2;

以上代码段编译没有通过,在VS2010中会有一条红色的波浪线指出这段代码有问题:”The operation overflows at compile time in checked mode”。这说明了编译器会在编译时检查数学运算是否溢出。但是编译时能检查出溢出的情况仅限于使用常量的运算。2中的代码编译器就不报不出错误来了。
2. 一段编译通过但是不能得到正确结果的代码


代码如下:

int temp = int.MaxValue;
int a = temp * 2;
Console.Write(a);

我先把常量int.MaxValue的值给了临时变量temp,然后使用临时变量乘以2计算结果赋值给a;这段代码是可以正常执行的,执行结果将输出 -2。
这说明在运行时默认情况程序是不会检查算术运算是否溢出的,cpu只管算,对于它来讲按规则算就是了,结果对不对不是他的错。
正常执行了,而结果是错误的,这是非常危险的情况,该如何避免这种危险呢?请看3
3. 使用checked关键字,溢出时报警


代码如下:

int temp = int.MaxValue;
try
{
    int a = checked(temp * 2);
    Console.WriteLine(a);
}
catch (OverflowException)
{
Console.WriteLine("溢出了,要处理哟");
}

使用checked关键字修饰temp*2的计算结果,并使用try catch在发生溢出时做处理。以上代码将输出:“溢出了,要处理哟”
问题是如果一段代码中有很多算术运算都需要做溢出检查,那会有很多checked修饰的表达式,怎么办呢?请看4
4. checked关键字可以修饰一个语句块,请看下面代码


代码如下:

int temp = int.MaxValue;
try
{
    checked
    {
        int num = temp / 20;
        int a = temp * 2;
        int c = temp * 1000;
    }
}
catch (OverflowException)
{
    Console.WriteLine("溢出了,要处理哟");
}

以上程序输出结果和3一样
5. checked在避免算术溢出方面很有用,那么unchecked呢,它有用吗?答案是肯定的,有时候我们不需要准确的计算结果,我们只是需要那么一个数而已,至于溢出不溢出的关系不大,比如说生成一个对象的HashCode,比如说根据一个算法计算出一个相对随机数,这都是不需要准确结果的。如下代码片段


代码如下:

class Person
{
   public string Name { get; set; }

public string Title { get; set; }

public override int GetHashCode()
    {
        return unchecked(Name.GetHashCode() + Title.GetHashCode());
    }
}

unchecked也可以修饰语句块,其用法和checked完全一样。
6. checked和unchecked是可以嵌套使用的,虽然没啥意义。语句是否是checked以最近嵌套的checked或者unchecked决定
7. 从IL中看checked关键字
C#代码:


代码如下:

static void Main(string[] args)
{
    int a = int.MaxValue;
    int b = a * 2;
    int c = checked(a * 2);
    int d = unchecked(a + 3);

Console.Read();
}

对应IL


代码如下:

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // Code size       26 (0x1a)
  .maxstack  2
  .locals init ([0] int32 a,
           [1] int32 b,
           [2] int32 c,
           [3] int32 d)
  IL_0000:  nop
  IL_0001:  ldc.i4     0x7fffffff
  IL_0006:  stloc.0
  IL_0007:  ldloc.0
  IL_0008:  ldc.i4.2
  IL_0009:  mul
  IL_000a:  stloc.1
  IL_000b:  ldloc.0
  IL_000c:  ldc.i4.2
  IL_000d:  mul.ovf
  IL_000e:  stloc.2
  IL_000f:  ldloc.0
  IL_0010:  ldc.i4.3
  IL_0011:  add
  IL_0012:  stloc.3
  IL_0013:  call       int32 [mscorlib]System.Console::Read()
  IL_0018:  pop
  IL_0019:  ret
} // end of method Program::Main

请看IL中的红色和绿色加重显示代码,可以看出使用checked时,IL的运算是mul.ovf;不使用checked或者使用unchecked时的IL运算函数是mul或者add,不带.ovf。
8. checked或者unchecked只影响其包围的语句,不会影响到包围的语句内调用函数的代码块,如下示例:


代码如下:

static void Main(string[] args)
{
    int a = int.MaxValue;
    int b = 20;
    checked
    {
        int c = TestMethod(a, b);
        Console.WriteLine(c);
    }
}

static int TestMethod(int a, int b)
{
    return a * b;
}

上面代码将会正常执行,checked语句块并未起到应有的作用。
9. 全局开启或者关闭checked编译选项
在项目属性页上选择“生成”选项卡,然后点击“高级”按钮,选中“检查数学运算溢出”选项,如下示意图

总结:
checked和unchecked是两个不常用的关键字,但是他们俩是有用的,在需要的时候请记得用他们两位,另外建议测试时开启全局checked编译器选项,谢谢。

(0)

相关推荐

  • C#基础知识系列八const和readonly关键字详细介绍

    前言 不知道大家对const和readonly这两个关键字的区别有什么了解,原来自己之前还真不清楚它们到底是怎么回事,那么如果你也不是很清楚的话,可以一起来探讨一下.在了解这两个关键字的时候我们先来了解一下静态常量和动态常量. 静态常量:是指编译器在编译时候会对常量进行解析,并将常量的值替换成初始化的那个值. 而动态常量的值则是在运行的那一刻才获得的,编译器编译期间将其标示为只读常量,而不用常量的值代替,这样动态常量不必在声明的时候就初始化,而可以延迟到构造函数中初始化.现在再来说明const与

  • C#中var关键字用法分析

    本文实例分析了C#中var关键字用法.分享给大家供大家参考.具体方法如下: C#关键字是伴随着.NET 3.5以后,伴随着匿名函数.LINQ而来, 由编译器帮我们推断具体的类型.总体来说,当一个变量是局部变量(不包括类级别的变量),并且在声明的时候初始化,是使用var关键字的前提.具体什么时候使用,什么时候不使用,以下是个人浅见. 1.声明匿名函数时使用var关键字 复制代码 代码如下: var temp = new {Name="", Category=""};

  • c#多线程中Lock()关键字的用法小结

    本文介绍C# lock关键字,C#提供了一个关键字lock,它可以把一段代码定义为互斥段(critical section),互斥段在一个时刻内只允许一个线程进入执行,而其他线程必须等待. 每个线程都有自己的资源,但是代码区是共享的,即每个线程都可以执行相同的函数.这可能带来的问题就是几个线程同时执行一个函数,导致数据的混乱,产生不可预料的结果,因此我们必须避免这种情况的发生. 其中,lock是一种比较好用的简单的线程同步方式,它是通过为给定对象获取互斥锁来实现同步的.它可以保证当一个线程在关键

  • 用C#的params关键字实现方法形参个数可变示例

    个人认为,提供params关键字以实现方法形参个数可变是C#语法的一大优点.在方法形参列表中,数组类型的参数前加params关键字,通常可以在调用方法时代码更加精练. 例如,下面代码: class Program { static void Main(string[] args) { Console.WriteLine(Sum(1)); Console.WriteLine(Sum(1, 2, 3)); Console.WriteLine(Sum(1, 2, 3, 4, 5)); Console.

  • c#访问this关键字和base关键字示例

    指定创建派生类实例时应调用的基类构造函数: 调用基类上已被其他方法重写的方法. 注意:不能从静态方法中使用base关键字,base关键字只能在实例构造函数.实例方法或实例访问器中使用. 例:访问关键字this和base关键字示例:创建基类Person,包含两个数组成员name和age.一个具有两个参数的构造函数.一个虚函数GetInfo()以显示数据成员name和age的内容:创建派生类Student,包含一个数据成员studentId,一个具有三个参数的派生类构造函数,并用:base调用基类构

  • 深入探讨C#中的const、readonly关键字

    首先不可否认,这些在面试上会经常被面试官问起,但是你回答的让面试官满意吗?当然如果你知道了这些原理,或许你就不 怕了.既然说到了原理,我们还是从MSDN说起. 一:值得推敲的几个地方 1.先来看看msdn上面对const是怎么说的,我们会看到.不能修改,编译时常量这些关键性信息. Q:  const为什么不能被修改. A:这个很简单,很多教科书上面都说,当编译器编译时,会将常量的值保存在该程序集的元数据中,下面我们做个实例 看一看. ①:新建一个projectA. 复制代码 代码如下: // P

  • c#中var关键字用法浅谈

    VAR 是3.5新出的一个定义变量的类型其实也就是弱化类型的定义VAR可代替任何类型编译器会根据上下文来判断你到底是想用什么类型的 至于什么情况下用到VAR   我想就是你无法确定自己将用的是什么类型就可以使用VAR     类似 OBJECT但是效率比OBJECT高点 使用var定义变量时有以下四个特点:1. 必须在定义时初始化.也就是必须是var s = "abcd"形式,而不能是如下形式:var s;s = "abcd";2. 一但初始化完成,就不能再给变量赋

  • 描述C#多线程中lock关键字的使用分析

    本文介绍C# lock关键字,C#提供了一个关键字lock,它可以把一段代码定义为互斥段(critical section),互斥段在一个时刻内只允许一个线程进入执行,而其他线程必须等待.每个线程都有自己的资源,但是代码区是共享的,即每个线程都可以执行相同的函数.这可能带来的问题就是几个线程同时执行一个函数,导致数据的混乱,产生不可预料的结果,因此我们必须避免这种情况的发生.C#提供了一个关键字lock,它可以把一段代码定义为互斥段(critical section),互斥段在一个时刻内只允许一

  • C#中fixed关键字的作用总结

    原则: 1.垃圾回收机制,维护引用信息不维护指针信息 2.引用类型的实例化对象在生存期内由垃圾回收机制处理,可能移动内存 3.当一个类的实例化对象中含有值类型时,定义指向这些值类型的指针编译报error,因为这些内嵌在引用类型中的值类型实例会随着引用实例化对象的内存移动而移动,所以指针值在不知情的情况下会发生变化,fixed关键字做的工作便是让这样的类实例化对象(不是类类型本身,而是一个实例化对象)固定住不移动,让垃圾回收机制特殊处理这个类的实例化对象

  • 深入理解c# checked unchecked 关键字

    checked 和 unchecked关键字用来限定检查或者不检查数学运算溢出的:如果使用了checked发生数学运算溢出时会抛出OverflowException:如果使用了unchecked则不会检查溢出,算错了也不会报错.1. 一段编译没通过的代码 复制代码 代码如下: int a = int.MaxValue * 2; 以上代码段编译没有通过,在VS2010中会有一条红色的波浪线指出这段代码有问题:"The operation overflows at compile time in c

  • 彻底理解Java中this 关键字

    this关键字再java里面是一个我认为非常不好理解的概念,:)也许是太笨的原因 this 关键字的含义:可为以调用了其方法的那个对象生成相应的句柄. 怎么理解这段话呢? thinking in java里面有这么一个例子 有两个同一个类型的对象,分别叫做a和b,那我们怎样区别在调用方法f()的时候,是谁再调用这个方法呢? 例如: class Banana { void f(int i){ /***方法主体*****/ } } Banana a = new Banana();//生成Banana

  • 深入理解c++中virtual关键字

    1.virtual关键字主要是什么作用?c++中的函数调用默认不适用动态绑定.要触发动态绑定,必须满足两个条件:第一,指定为虚函数:第二,通过基类类型的引用或指针调用.由此可见,virtual主要主要是实现动态绑定. 2.那些情况下可以使用virtual关键字?virtual可用来定义类函数和应用到虚继承. 友元函数 构造函数 static静态函数 不能用virtual关键字修饰:普通成员函数 和析构函数 可以用virtual关键字修饰: 3.virtual函数的效果 复制代码 代码如下: cl

  • 正确理解python中的关键字“with”与上下文管理器

    前言 如果你有阅读源码的习惯,可能会看到一些优秀的代码经常出现带有 "with" 关键字的语句,它通常用在什么场景呢?今天就来说说 with 和 上下文管理器. 对于系统资源如文件.数据库连接.socket 而言,应用程序打开这些资源并执行完业务逻辑之后,必须做的一件事就是要关闭(断开)该资源. 比如 Python 程序打开一个文件,往文件中写内容,写完之后,就要关闭该文件,否则会出现什么情况呢?极端情况下会出现 "Too many open files" 的错误,

  • 深入理解java中this关键字的使用

    一,表示类中属性 1,没有使用this的情况 class Person{ // 定义Person类 private String name ; // 姓名 private int age ; // 年龄 public Person(String name,int age){ // 通过构造方法赋值 name = name ; age = age ; } public String getInfo(){ // 取得信息的方法 return "姓名:" + name + ",年龄

  • 详解Java中的checked异常和unchecked异常区别

    (一)Java的异常层次结构 要想明白Java中checked Exception和unchecked Exception的区别,我们首先来看一下Java的异常层次结构. 这是一个简化的Java异常层次结构示意图,需要注意的是所有的类都是从Throwable继承而来,下一层则分为两个结构,Error和Exception.其中Error类层次描述了Java运行时系统的内部错误和资源耗尽错误,这种错误除了简单的报告给用户,并尽力阻止程序安全终止之外,一般也米有别的解决办法了. (二)unchecke

  • 使用checked语句防止数据溢出的解决方法

    在C#中有一个关键字checked,它用来判断当前上下文中的数值运算和数值转换是否会溢出.如是是常量溢出,那在编译时就能发现:如果是变量溢出,那在运行时会抛出OverflowException.数值运算有:++   -   - (unary)   +   -   *   / 有了这个就不用担心数据溢出了. checkedchecked 有两种使用方法:1.作为操作符来使用 复制代码 代码如下: int a = int.MinValue;int c = checked(a--); 执行的时候会抛出

  • 探讨c#中的unchecked是什么意思,起什么作用?

    Checked与Unchecked     对于因为整数类型参与算术操作和类型转换时产生的"溢出异常"--System.OverflowException,在某些算法来讲不算真正的"异常",相反这种溢出常常为程序所用.C#通过引入checked和unchecked关键字来控制这种特殊情况的需求.它们都可以加于一个语句块前(如:checked{--}),或者一个算术表达式前(如:unchecked(x+y)),其中加checked标志的语句或表达式如果发生算术溢出,则

  • 深入理解JavaScript系列(13) This? Yes,this!

    介绍 在这篇文章里,我们将讨论跟执行上下文直接相关的更多细节.讨论的主题就是this关键字.实践证明,这个主题很难,在不同执行上下文中this的确定经常会发生问题. 许多程序员习惯的认为,在程序语言中,this关键字与面向对象程序开发紧密相关,其完全指向由构造器新创建的对象.在ECMAScript规范中也是这样实现的,但正如我们将看到那样,在ECMAScript中,this并不限于只用来指向新创建的对象. 英文翻译: Dmitry A. Soshnikov在Stoyan Stefanov的帮助下

  • asp.net运算符之逻辑运算符以及其他运算符介绍与实例

    逻辑(布尔型)运算符用于对boolean型的结果的表达式进行运算,运算的结果都是boolean型.其运算结果如下所示: 运算符 运算 例子 结果 & AND(与) false&true false | OR(或) false|true true ^ XOR(异或) false^true true ! NOT(非) !false true && AND(短路) false&&true false || OR(短路) false||true true 下面对一些

随机推荐