LAMBDA转换没有明确的返回类型和重载解析 [英] Lambda conversions with unclear return type and overload resolution

问题描述

如果我有一个lambda如（）=> {抛出新的异常（）; } ，目前还不清楚它是否有一个返回类型或没有。正因为如此，它可以是（隐含的）转换为两个动作和 Func键<对象> （或任何其他 Func键< T> ）。这是因为，根据§6.5的匿名函数转换的C＃的4规范的：

If I have a lambda such as () => { throw new Exception(); }, it's unclear whether it has a return type or not. Because of this, it can be (implicitly) converted to both Action and Func<object> (or any other Func<T>). This is because, according to §6.5 Anonymous function conversions of the C# 4 spec:

[A]委托键入 D 是一个匿名函数兼容˚F规定：

[A] delegate type D is compatible with an anonymous function F provided:

• ...

• …

如果 D 有一个无效返回类型和˚F体是一个语句块中，当[...] ˚F是一个有效的语句块中没有return语句指定一个表达式。

If D has a void return type and the body of F is a statement block, when […] the body of F is a valid statement block in which no return statement specifies an expression.

如果 D 具有非void返回类型和 F中的身体是一个语句块，当[...] ˚F是与非到达终点，其中每个收益语句指定隐式转换为<$的返回类型的表达式一个有效的语句块C $ C> D 。

If D has a non-void return type and the body of F is a statement block, when […] the body of F is a valid statement block with a non-reachable end point in which each return statement specifies an expression that is implicitly convertible to the return type of D.

但如果我有一个方法，其中一个有型动作和其他 Func键℃的参数的两个重载;对象> ，我通过它从上面的拉姆达，在 Func键<对象> 超负荷使用。为什么？规范的哪一部分说， Func键<对象> 比动作在这种情况下，更好地

But if I have two overloads of a method, where one has a parameter of type Action and the other Func<object>, and I pass it the lambda from above, the Func<object> overload is used. Why? Which part of specification says that Func<object> is better than Action in this case?

我已经看过§7.5.3.2的更好的函数成员的，但这并不能解释它。

I have looked at §7.5.3.2 Better function member, but that does not explain it.

推荐答案

我已经看了一款低：§7.5.3.3的从表现更好的转换的解释说：

I should've looked one section lower: §7.5.3.3 Better conversion from expression explains that:

给定一个隐式转换 C 1 ，从一个表达式转换电子到类型 T 1 和隐式转换 C 2 ，从一个表达式转换电子来一个类型 T 2 ， C 1 比更好转成c 2 如果以下至少一人持有：

Given an implicit conversion C1 that converts from an expression E to a type T1, and an implicit conversion C2 that converts from an expression E to a type T2, C1 is a better conversion than C2 if at least one of the following holds:

• ...

• …

电子是一个匿名函数， T 1 是一个委托类型 D 1 或表达式目录树类型表达式来; d 1 > ， T 2 是一个委托类型 D 2 或表达式目录树类型表达式来; d 2 > 和下列情况之一成立：

E is an anonymous function, T1 is either a delegate type D1 or an expression tree type Expression<D1>, T2 is either a delegate type D2 or an expression tree type Expression<D2> and one of the following holds:

• ...

• …

D 1 和 D 2 具有相同的参数列表，以及以下情况之一成立：

D1 and D2 have identical parameter lists, and one of the following holds:

• ...

• …

D 1 有一个返回类型是和 D 2 是无效的返回

这篇关于LAMBDA转换没有明确的返回类型和重载解析的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！