C# 类型推断得到错误的类型

Question

我创建了以下属性，如果在 ViewState[TOTAL_RECORD_COUNT] 为 null 时访问 getter，则会引发 InvalidCastException。

public long TotalRecordCount
{
    get { return (long)(ViewState[TOTAL_RECORD_COUNT] ?? -1); }
    set { ViewState[TOTAL_RECORD_COUNT] = value; }
}

我的想法是，它错误地尝试将 ViewState[TOTAL_RECORD_COUNT] 中的对象拆箱为 int，但失败了，因为它包含 long，但是我认为这个逻辑可能存在缺陷。我将把它作为练习留给读者来指出这个缺陷。

从那以后，我改变了该属性，以读取

public long TotalRecordCount
{
    get { return (long?)ViewState[TOTAL_RECORD_COUNT] ?? -1; }
    set { ViewState[TOTAL_RECORD_COUNT] = value; }
}

它的效果。尽管如此，我仍然想知道我的原始版本出了什么问题...... StackOverflow 来救援吗？

请注意，如果我尝试在立即窗口中执行 (long)(ViewState[TOTAL_RECORD_COUNT] ?? -1) ，我会收到错误消息 Cannot unbox 'ViewState[TOTAL_RECORD_COUNT] ?? -1' 作为“long”，如果我执行 (ViewState[TOTAL_RECORD_COUNT] ?? -1).GetType().Name 我得到 Int32。我可以执行 (long)-1 并最终得到 -1 作为 Int64...那么怎么了？

Answer 1

ViewState 索引器的返回类型是 Object（我假设您在这里指的是 ASP.NET 视图状态）。现在考虑一下当编译器看到这个（相当于你的代码）时它必须做什么：

object o = ViewState[...];
var x = o ?? -1;

它必须推断出表达式 o ?? 的结果类型。 -1 不知何故。左边是一个对象，右边是一个int。显然，该表达式最通用的类​​型也是object。但是，这意味着如果它实际上最终使用了 -1 （因为 o 为 null），则必须将其转换为 object - 对于 int 来说，这意味着拳击。

所以 x 是 object 类型，它可能包含一个 int （也许还有一些其他整数类型 - 我们不知道什么是例如，在您的视图状态中，它可能是短）。现在你可以写：

long y = (long)x;

由于x是object，所以这是拆箱。但是，您只能将值类型拆箱为完全相同的类型（唯一的例外是您可以用有符号类型替换等效的无符号类型，并用枚举替换其基础基类型）。也就是说，您无法将 int 拆箱为 long。重现此问题的一种更简单的方法（无需“额外”代码）是：

object x = 123;
long y = (long)x;

它也会抛出 InvalidCastException，并且出于完全相同的原因。

Answer 2

演员阵容必须只有一步。

表达式

由于无法将包含 Int32 的对象拆箱为 long，因此需要首先将其拆箱为 Int32，然后将其转换为 long。

Answer 3

问题不在于 ViewState[TOTAL_RECORD_COUNT] 的拆箱，问题在于 -1 的装箱和拆箱。

   ViewState[TOTAL_RECORD_COUNT] ?? -1

你正在使用?? “object”和“int”上的运算符。结果类型是“对象”。这意味着当视图状态中不存在该字段时，-1 将被装箱（作为 int）。

然后，当您的程序尝试将 (int)-1 作为 long 拆箱时，它会崩溃。

Answer 4

原文中，如果你把它分解，你正在做：

(ViewState[TOTAL_RECORD_COUNT] ?? -1)

在你的 运算符 (??) 专门设计用于：

为可空值类型以及引用类型定义默认值。

在您的情况下，您使用它来处理 System.Object，因此它将将“-1”视为 Int32，并将其装箱到新的 System.Object 中。然后，它尝试将 Int32 拆箱为 long，但失败，因为转换无法在一步中拆箱并更改类型。

您可以通过使用 L 后缀指定 -1 为 long 来轻松解决此问题：

public long TotalRecordCount
{
    get { return (long)(ViewState[TOTAL_RECORD_COUNT] ?? -1L); }
    set { ViewState[TOTAL_RECORD_COUNT] = value; }
}

Answer 5

Int64 是一种值类型，因此转换 null 到值类型总是会抛出异常 (NullReferenceException)。将 Int32 转换为 Int64 将成功，并且不会抛出 InvalidCastException。