- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
女士们先生们,
我最近尝试了这个实验:
static class TryParseExtensions
{
public delegate bool TryParseMethod<T>(string s, out T maybeValue);
public static T? OrNull<T>(this TryParseMethod<T> tryParser, string s) where T:struct
{
T result;
return tryParser(s, out result) ? (T?)result : null;
}
}
// compiler error "'int.TryParse(string, out int)' is a 'method', which is not valid in the given context"
var result = int.TryParse.OrNull("1"); // int.TryParse.OrNull<int>("1"); doesnt work either
// compiler error: type cannot be infered....why?
var result2 = TryParseExtensions.OrNull(int.TryParse, "2");
// works as expected
var result3 = TryParseExtensions.OrNull<int>(int.TryParse, "3");
var result4 = ((TryParseExtensions.TryParseMethod<int>)int.TryParse).OrNull("4");
我想知道两件事:
为什么编译器不能推断出“int”类型的参数?
我是否正确理解扩展方法不会在委托(delegate)类型上被发现,因为我猜它们不是真正的那种类型(而是一种“方法”),只是恰好与委托(delegate)签名相匹配?这样的类型转换解决了这个问题。启用场景 1 是否可行(当然不是具体的,但一般来说)?我想从语言/编译器的角度来看它是否真的有用,或者我只是(试图)疯狂地滥用这里的东西?
期待一些见解。谢谢
最佳答案
您在这里有很多问题。 (将来我会建议当你有多个问题时,将它们分成多个问题,而不是一个帖子中包含多个问题;你可能会得到更好的答复。)
Why can the compiler not infer the "int" type parameter in:
TryParseExtensions.OrNull(int.TryParse, "2");
好问题。我不会在这里回答这个问题,而是建议您参阅我 2007 年的文章,该文章解释了为什么这在 C# 3.0 中不起作用:
总结:从根本上说,这里存在先有鸡还是先有蛋的问题。我们必须对 int.TryParse 进行重载解析以确定 TryParse 的哪个重载是预期的(或者,如果它们都不起作用,则错误是什么。)重载解析始终尝试从参数推断。但在这种情况下,它恰恰是我们试图推断的论证类型。
我们可以想出一个新的重载决议算法,说“好吧,如果方法组中只有一个方法,那么即使我们不知道参数是什么,也选择那个”,但这看起来很弱。对于其中只有一个方法的特殊情况方法组来说,这似乎是一个坏主意,因为这会惩罚您添加新的重载;它可能会突然成为一个突破性的变化。
正如您从这篇文章的评论中看到的那样,我们收到了很多关于它的良好反馈。得到的最佳反馈基本上是“好吧,假设类型推断已经计算出所有参数的类型,并且它是我们试图推断的返回类型;在那种情况下,您可以进行过载解析”。该分析是正确的,并且对这种效果的更改进入了 C# 4。我在这里详细讨论了这一点:
http://blogs.msdn.com/b/ericlippert/archive/2008/05/28/method-type-inference-changes-part-zero.aspx
Do I understand correctly that extensions methods do not get discovered on delegate types, as I guess they arent really of that type (but are a "Method") that only happen to match the delegates signature?
你的术语有点不对,但你的想法是正确的。当“接收者”是一个方法组时,我们不会发现扩展方法。更一般地说,当接收者是缺少自己类型的东西时,我们不会发现扩展方法,而是根据其上下文采用一种类型:方法组、lambda、匿名方法和 null 文字都具有此属性。说null.Whatever()
真的很奇怪并在 String 上调用扩展方法,甚至更奇怪,(x=>x+1).Whatever()
并在 Func<int, int>
上调用扩展方法.
描述此行为的规范行是:
An implicit identity, reference or boxing conversion [must exist] from [the receiver expression] to the type of the first parameter [...].
方法组上的转换不是标识、引用或装箱转换;它们是方法组转换。
Would it be infeasable to enable scenario 1 to work (not this one specifically of course, but in general)? I guess from a language/compiler perspective and would it actually be useful, or am I just (attempting to) wildly abusing things here?
这不是不可行。我们这里有一个非常聪明的团队,没有理论上不可能这样做的理由。在我们看来,与额外的复杂性成本相比,它似乎不喜欢为语言增加更多值(value)的功能。
有时候它会很有用。例如,我希望能够做到这一点;假设我有一个 static Func<A, R> Memoize<A, R>(this Func<A, R> f) {...}
:
var fib = (n=>n<2?1:fib(n-1)+fib(n-2)).Memoize();
而不是你今天必须写的,这是:
Func<int, int> fib = null;
fib = n=>n<2?1:fib(n-1)+fib(n-2);
fib = fib.Memoize();
但坦率地说,所提议的功能给语言增加的额外复杂性并不能通过使上述代码不那么冗长这一小小的好处来弥补。
关于c# - 作为第一个参数委托(delegate)给扩展方法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6187979/
我看了很多文章,但我仍然不清楚我们通常创建的普通委托(delegate)和多播委托(delegate)之间的区别。 public delegate void MyMethodHandler(objec
考虑以下几点: Action a1 = new Action(_insert); Action a2 = new Action(a1); a2 指的是什么?它是 a1,a1 的浅拷贝还是 a1 的深拷
我希望这听起来像是一个显而易见的问题,但是委托(delegate)返回类型是否也必须与其委托(delegate)的方法的返回类型相匹配? EG,像这样: public static void Save
我想使用 Kotlin 委托(delegate),但我不想在委托(delegate)人之外创建委托(delegate)。委托(delegate)的所有示例都如下所示: interface Worker
class SuperClass { var delegate : SuperClassDelegate? } protocol SuperClassDelegate { func d
我有一个加载 View 的 View ,需要将 View 推送到主导航 Controller 。 我已经为每个 View 设置了一个委托(delegate),并且基本上使我的调用沿着“链”返回到主导航
为简单起见,假设我想创建一个自定义 UITextField 并向其添加一个简单的行为;也就是说,如果文本字段成为第一响应者,背景颜色将变为绿色。 为此,在我的自定义类中,我必须将该类设置为委托(del
我非常有信心我应该能够使用非静态方法的委托(delegate),但下面给了我一个错误: public class TestClass { private delegate void TestD
在 C# 中不能从 System.Delegate 或 System.MulticastDelegate 继承。只要您声明标准的“运行时托管”方法,就完全可以在 MSIL 中执行此操作。但是,每次我向
我在 Storyboard 中定义了一个 iPad 界面,带有一个 SplitViewController。我想将 SplitViewController 的委托(delegate)设置为指向详细 C
我有几个解析器。有一个顶级的可以委托(delegate)给另一个。 Parser我们从 Reader 中获取他们的输入(可变)。我只想要一个 Parser为了能够一次解析,只有一个解析器应该有 Rea
一直以来我都在阅读关于反射的文章,每个人都在说:“反射很慢”,“反射很慢”。 现在我决定测试速度有多慢,令我惊讶的是,使用反射创建的委托(delegate)实际上是使用 lambda 创建的委托(de
在 Xcode 4.5 中启动了 Cocos2D 2.1 模板(没有物理引擎),针对 iOS 6 和 iPad。在 CDAudioManager.m 文件中,以下代码... AVAudioSessio
以下是来自未管理的 dll 的函数代码。它接受一个函数指针作为参数,并简单地返回被调用函数返回的值。 extern __declspec(dllexport) int _stdcall callDe
//NewCharts.h #import @interface NewCharts : UIViewController @property(nonatomic,retain)IBOutlet U
鉴于以下 MSDN 示例代码,为什么我不能定义 Action 委托(delegate)“内联”: public static void Main(string[] args) { Action
在虚幻引擎中,UFUNCTION用于通过附加说明符来丰富功能,以用于蓝图使用、复制和委托(delegate)。 然而,一些委托(delegate)类型似乎不允许绑定(bind) UFUNCTION(如
我刚刚将照片选择器放入我的项目中,一切正常。唯一的事情是它坚持在我设置委托(delegate)的地方给我以下警告 - Assigning to 'id' from incompatible type
我有一个 UIImageView 的子类,并且想将 self 作为参数传递给委托(delegate)。我在 MyImageView 之前收到错误“预期 ')'”。我需要将对象传递给委托(delegat
我正在开发 iOS 10 的语音转文本功能。 我希望调用 SFSpeechRecognitionTaskDelegate 的委托(delegate)方法来检查完成的结果。 func speechRec
我是一名优秀的程序员,十分优秀!