Question

我有两个代码块，目的是推断编译器分配给var关键字的类型。

var b = 0x80000000 - 0x1;
Console.WriteLine("b: {0}", b);
Console.WriteLine("b.GetType()={0}", b.GetType());

uint val1 = 0x80000000;
int val2 = 0x1;
var c = val1 - val2;
Console.WriteLine("c: {0}", c);
Console.WriteLine("c.GetType(): {0}", c.GetType());

输出：

  b: 2147483647                   //Result of UInt32-Int32
                                  //(as compiler assigns datatype in the
                                  //order of int, uint, long and ulong)
  b.GetType()=System.UInt32       //OK

  c: 2147483647                   //Uint32-Int32                               
  c.GetType(): System.Int64       //Not Understood, why not UInt32 ?

如果var b和var c具有几乎相同的初始化 - var c甚至是显式的，那么为什么它会提供意外的数据类型System.Int64？

Answer 1

因为

var b = 0x80000000 - 0x1;

已经计算好了。通过优化

但是

var val1 = 0x80000000;
var val2 = 0x1;
var c = val1 - val2;

尚未计算。并且编译器猜测以后可能会更改val1和val2 ...

const uint val1 = 0x80000000;
const int val2 = 0x1;
var c = val1 - val2;

c现在是UInt32因为编译器会对其进行计算并知道转发。

因为val1和val2是常量，编译器知道它们不会被更改。所以不再需要Int64

Answer 2

问题在于，当您在int和uint之间进行操作时，uint正在转换为带符号的数字。

因此，为了使uint能够以无符号数存储其所有信息（从0到2 ³ - 1），它必须被转换为{{1} （从-2 ⁶³到2 ⁶³ - 1），因为long的范围是从-2 ³¹到2 ³¹ - 1。

Answer 3

编译器自动将类型扩展为64位，因为这是唯一可以保存UInt32和Int32之间操作结果的整数。尝试更改为

ulong val1 = 0x80000000;
long val2 = 0x1;

并且您将看到编译错误，因为编译器无法找到保存结果的类型。

Int64不是b的推断类型，因为编译器检测到常量落入Int32范围。尝试

var b = 0x800000000000 - 0x1;

您将看到推断类型long

评估关键字var的不同类型

3 个答案: