C# checked和unchecked的使用小结_Asp.net

一、概述

checked 和 unchecked 语句指定整型类型算术运算和转换的溢出检查上下文。
当发生整数算术溢出时，溢出检查上下文将定义发生的情况。
- 在已检查的上下文中，引发 system.overflowexception；
- 如果在常数表达式中发生溢出，则会发生编译时错误。
- 在未检查的上下文中，会通过丢弃任何不适应目标类型的高序位来将操作结果截断。

二、语句

checked 和 unchecked 语句指定整型类型算术运算和转换的溢出检查上下文。

具体使用见下面案例：

     	static void main(string[] args)
        {
            uint a = uint.maxvalue;

            //【一】检查代码段 unchecked{ }
            unchecked
            {
                console.writeline(a + 1);  // output: 0
            }

            try
            {
                checked
                {
                    console.writeline(a + 1);
                }
            }
            catch (overflowexception e)
            {
                console.writeline(e.message);  // output: 算术运算导致溢出。
            }
            //由上可知，当我们使用checked的时候会做溢出检查，会抛出异常
            // 当我们使用unchecked的时候不会做溢出检查，不会有异常

三、表达式

若要为表达式指定溢出检查上下文，还可以使用 checked 和 unchecked 运算符

具体使用见下面案例：

    		//【二】检查表达式 unchecked()
            double d = double.maxvalue;

            int i = unchecked((int)d);
            console.writeline(i);  // output: -2147483648

            try
            {
                i = checked((int)d);
            }
            catch (overflowexception e)
            {
                console.writeline(e.message);  // output: 算术运算导致溢出。
            }
            console.readline();
        }

四、本地函数与 checked

checked 和 unchecked 语句和运算符仅影响以文本形式存在于语句块或运算符括号内的操作的溢出检查上下文

具体使用见下面案例：

      static void main(string[] args)
      {
          int multiply(int a, int b) => a * b;

          int factor = 2;

          try
          {
              checked
              {
                  console.writeline(multiply(factor, int.maxvalue));  // output: -2
              }
          }
          catch (overflowexception e)
          {
              console.writeline(e.message);
          }

          try
          {
              checked
              {
                  console.writeline(multiply(factor, factor * int.maxvalue));
              }
          }
          catch (overflowexception e)
          {
              console.writeline(e.message);  // output: arithmetic operation resulted in an overflow.
          }
      }

    internal class program
    {
        static void main(string[] args)
        {
            int factor = 2;
            try
            {
                checked
                {
                    console.writeline(multiply2(factor, int.maxvalue));  // output: -2
                }
            }
            catch (overflowexception e)
            {
                console.writeline(e.message);
            }

            try
            {
                checked
                {
                    console.writeline(multiply2(factor, factor * int.maxvalue));
                }
            }
            catch (overflowexception e)
            {
                console.writeline(e.message); // output: arithmetic operation resulted in an overflow.
            }
        }

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

注意，在前面的示例中：

有一个本地函数multiply ，一个正常的私有函数multiply2
当使用 console.writeline(multiply2(factor, int.maxvalue)); 这样的方式调用本地函数multiply 或私有函数multiply2，checked 语句不会引发任何异常。
当使用 console.writeline(multiply2(factor, factor * int.maxvalue)); 这样的方式调用本地函数multiply 或私有函数multiply2，由于第二个参数的表达式会引起 checked 语句的上下文检查，因此会引发异常。

      static void main(string[] args)
      {
          int multiply(int a, int b) => a * b;

          int factor = 2;

          try
          {
              unchecked
              {
                  console.writeline(multiply(factor, int.maxvalue));  // output: -2
              }
          }
          catch (overflowexception e)
          {
              console.writeline(e.message);
          }

          try
          {
              unchecked
              {
                  console.writeline(multiply(factor, factor * int.maxvalue)); // output: -4
              }
          }
          catch (overflowexception e)
          {
              console.writeline(e.message);  
          }
      }