语法含义：return _(); IEnumerable<TSource> _() [重复]

Question

在下面的C#代码中，我发现_()的用法很奇怪。谁能解释一下这是什么意思？

public static IEnumerable<TSource> DistinctBy<TSource, TKey>(this IEnumerable<TSource> source,
            Func<TSource, TKey> keySelector, IEqualityComparer<TKey> comparer)
{
    if (source == null) throw new ArgumentNullException(nameof(source));
    if (keySelector == null) throw new ArgumentNullException(nameof(keySelector));

    return _(); IEnumerable<TSource> _()
    {
        var knownKeys = new HashSet<TKey>(comparer);
        foreach (var element in source)
        {
            if (knownKeys.Add(keySelector(element)))
                yield return element;
        }
    }
}

Answer 1

在return 语句之后插入换行符可能更容易理解代码：

return _();

IEnumerable<TSource> _()
{
    var knownKeys = new HashSet<TKey>(comparer);
    foreach (var element in source)
    {
        if (knownKeys.Add(keySelector(element)))
            yield return element;
    }
}

在这种情况下，下划线只是 local function 的任意名称（这是 C# 7.0 中引入的新功能）。如果您愿意，可以将下划线替换为更具描述性的名称：

return DistinctByHelper();

IEnumerable<TSource> DistinctByHelper()
{
    var knownKeys = new HashSet<TKey>(comparer);
    foreach (var element in source)
    {
        if (knownKeys.Add(keySelector(element)))
            yield return element;
    }
}

作为局部函数，_（或DistinctByHelper）方法可以访问DistinctBy方法的所有变量。

顺便说一下，这里有两个方法的原因是，如果任何参数为空，ArgumentNullException 将在调用DistinctBy 时立即抛出，而不是在枚举结果时（由于存在yield return 声明）。