即使是“IsNullOrEmpty”检查给出“IEnumerable 的可能多重枚举”警告

Question

已经有一个关于“可能的多重枚举”的问题，但这个问题更具体。

请考虑以下方法，该方法采用 IEnumerable 作为输入，并对其每个元素执行给定的方法：

public static bool SomeMethod(IEnumerable<string> enumerable)
{
    if (enumerable.IsNullOrEmpty())
    {
        // throw exception.
    }
    else
    {
        return (enumerable.All(SomeBooleanMethod));
    }
}

在上面的代码中，IsNullOrEmpty 只是一个扩展 问题是

return (!ReferenceEquals(enumerable, null) || enumerable.Any());

ReSharper 警告我“可能存在多个 IEnumerable 枚举”，我真的不知道这是否真的是一个问题。

我理解警告的含义，但是如果您确实需要检查并在空或空的情况下抛出异常，那么在这种情况下您真正能做什么？

Answer 1

这意味着您（部分）多次迭代 IEnumerable：首先在调用 Any() 时（它至少需要初始化一次迭代以查看可枚举是否返回任何元素），第二次在 All 中（从头开始迭代）。

ReSharper 警告您这一点的原因是，枚举可枚举可能会导致副作用，并且无意中迭代两次可能会触发两次副作用，这可能是理想的，也可能不是理想的。

Answer 2

正如 @tdammers 所指出的，所指的“多个枚举”是 Any 和 All 所需的两个枚举。既然你想拒绝一个空序列，我能想到的最好的办法是：

public static bool SomeMethod(IEnumerable<string> enumerable)
{
    if (enumerable == null)
        throw new ArgumentNullException();

    // Manually perform an All, keeping track of if there are any elements
    bool anyElements = false;

    bool result = true;

    foreach (string item in enumerable)
    {
        anyElements = true;
        result = result && SomeBooleanMethod(item);

        // Can short-circuit here
        if (!result)
            break;
    }

    if (!anyElements)
        throw new ArgumentException();    // Empty sequence is invalid argument

    return result;
}

Answer 3

虽然这里的其他答案是正确的，因为您枚举了两次（以及这样做的潜在危害），但对于您收到警告的原因，它们都（微妙地）不正确。

Resharper 不会警告您，因为您正在调用 Any() 和 All()。它警告您，因为您正在调用 IsNullOrEmpty() 和 All()。事实上，Resharper 甚至不知道您正在调用 Any()。尝试删除它 - 您会发现您仍然收到警告。

这是因为 Resharper 不知道传递给另一个方法的可枚举会发生什么。也许其他方法会枚举它，也许不会。但是您将枚举传递给两个方法，所以也许它们都枚举它，所以也许它被枚举两次。因此，警告“可能多重枚举”。

这很微妙但很重要。在您的情况下，警告很有用，因为您枚举了两次。但也许您的扩展方法不枚举可枚举项，并且您知道可以忽略该警告。在这种情况下，Resharper 会为您提供 NoEnumeration Resharper 代码注释中的属性

这允许您标记枚举，如下所示 。配制方法如下：

public static bool IsNull<T>([NoEnumeration]this IEnumerable<T> enumerable)
{
    return enumerable is null;
}