另一个“使用未分配的局部变量‘无论如何’” ”问题

Question

这是我想知道有一段时间的事情。我浏览了一堆标题中包含以下错误的问题，但找不到解释这种情况的问题。

首先看这个例子：

private void test() {
    string errorMessage;
    bool isOK = SomeClassWithBusinessRules.VerifySomeStuff(idOfStuffToVerify, ref errorMessage);
    if (!isOK)
        throw new BusinessException(errorMessage ?? "Some error occured.");
}

如果你编译这个例子，编译器会抱怨这个消息：

错误 2 使用未分配的局部变量“errorMessage”

将变量初始值设定项更改为 null 将使其消失。

这将编译：

private void test() {
    string errorMessage = null;
    bool isOK = SomeClassWithBusinessRules.VerifySomeStuff(idOfStuffToVerify, ref errorMessage);
    if (!isOK)
        throw new BusinessException(errorMessage ?? "Some error occured.");
}

那么为什么我们会收到编译错误呢？

Answer 1

当您将其传递给 VerifySomeStuff 时，您指定了 ref 但它还没有值。这是不合法的，因为 VerifySomeStuff 可以选择读取该值，但此时该值还没有定义的值。赋值null满足明确赋值的要求。另一种选择是 out：

string errorMessage;
bool isOK = SomeClassWithBusinessRules.VerifySomeStuff(id, out errorMessage);
if (!isOK)
    throw new BusinessException(errorMessage ?? "Some error occured.");

这是合法的（但需要更改 VerifySomeStuff，因为必须更改签名，并且现在需要退出前给参数赋值（除非发生异常））。从显示的代码中，如果没有错误，您可以选择 VerifySomeStuff 将 null 分配给参数。

当然，如果布尔和字符串重复“是否有问题”目的，您也可以使用：

string errorMessage = SomeClassWithBusinessRules.VerifySomeStuff(id);
bool isOK = errorMessage == null;

Answer 2

您会收到编译错误，因为用作 ref 参数的变量必须事先明确分配。如果您将方法更改为使用 out 参数，那就没问题了：

bool isOK = SomeClass.VerifySomeStuff(id, out errorMessage);

请注意，这也需要更改 VerifySomeStuff，使其成为 out 参数。然后，该方法必须在任何“正常”返回路径中明确分配一个值 - 这样，当该方法正常返回时，errorMessage 已明确分配。

分别参见第 10.6.1.2 节和第 10.6.1.3 节 ref 和 out 参数的详细信息。

Answer 3

您正在通过 ref 传递 errorMessage。这具有输入/输出语义。换句话说，该协议是接收者可以期望该对象已被初始化，而您没有这样做。

似乎您只是想要 out 语义。将 VerifySomeStuff 更改为对 errorMessage 使用 out 而不是 ref，并将调用代码更改为使用 出。

请注意，当您使用 out 传递时，被调用者在对象初始化之前不允许读取。被调用者还有责任在返回之前执行初始化。

Answer 4

您还可以通过将方法更改为来更正“错误”。

 SomeClassWithBusinessRules.VerifySomeStuff(int idOfStuffToVerify, 
            out string  errorMessage);

当您使用 out 时，负担转移到该方法，除非您对 errorMessage 参数进行赋值，否则它将不会编译。

Answer 5

当传递ref参数时，被调用代码可以做的事情之一是将ref参数变量重新指向一个新位置，即更新其引用。为了实现这一点，变量必须首先指向某个东西，因此必须对其进行赋值，即使这只是 null。

Answer 6

你的问题（为什么编译器抱怨）已经被其他人回答了。不过，我建议您重新考虑您的设计：

bool isOK = SomeClassWithBusinessRules.VerifySomeStuff(idOfStuffToVerify, ref errorMessage);
if (!isOK)
    throw new BusinessException(errorMessage ?? "Some error occured.");
}

既然只有发生错误时才需要 errorMessage，为什么还需要额外的返回值呢？您可以将其缩短为：（

string error = SomeClassWithBusinessRules.VerifySomeStuff(idOfStuffToVerify);
if (error != null)
    throw new BusinessException(error);
}

当然，这样您就不会再遇到“发生了一些错误”的情况。但是显示“无用”的错误消息无论如何都是不好的做法。）

事实上，如果错误是异常的情况（即，不属于常规控制流的一部分，而是指示数据或逻辑错误的情况），将异常移至VerifySomeStuff内可能是有意义的：

// no return value
SomeClassWithBusinessRules.VerifySomeStuff(idOfStuffToVerify);

class SomeClassWithBusinessRules {
    void VerifySomeStuff(int id) {
        ...
        if (someCondition)
            throw new BusinessException(error);
        ...
    }
}