主页 / 问题 / 554196
Accepted
Bald
Asked:2020-08-11 13:49:34 +0000 UTC2020-08-11 13:49:34 +0000 UTC

空集合的 `All()` 方法返回 `true`：错误还是功能？

  • 772

我有一个类Item

public class Item
{
    public int ParentId {get;set;}
    public int TypeId {get;set;}
    public int? AttachedFileId {get;set;}
}

我有必要为每个父母接收这种或那种类型的存在标志。item没有附件的存在被认为是不存在，写了以下请求：

var items = _context.Set<Items>()
    .GroupBy(x=>x.ParentId)
    .Select(x=>new
    {
        ParentId = x.Key,
        Type1 = x.Where(x=>x.TypeId==1).Any() && x.Where(x=>x.TypeId==1).All(x=>x.AttachedFileId!=null)
        //И так для каждого типа
    })

请求返回我需要的数据，但我觉得条件 x.Where(x=>x.TypeId==1).Any() && x.Where(x=>x.TypeId==1).All(x=>x.AttachedFileId!=null)可以改写

这也让我感到困惑，All空集合的方法返回true

小提琴的例子

c#

1 个回答

  1. Best Answer

    从数学的角度来看，一切都是正确的：该方法是全称量词All的类比，对于空集它始终为真，无论条件如何。

    这个方法是这样实现的（减去检查）：

    public static bool All<TSource>(this IEnumerable<TSource> source,
                                Func<TSource, bool> predicate) {
    foreach (TSource element in source)
        if (!predicate(element))
            return false;
    return true;
}

    简化你的表达方式效果不是很好。有没有可能一次pass就把变量堆起来，但是严重违背了functionality的思路：

    bool any = false;
bool result = x.Where(x => any = x.TypeId == 1).All(x => x.AttachedFileId != null) && any;
    • 11

相关问题