主页 / user-6908545

Ivan Petrov's questions

Martin Hope
Ivan Petrov
Asked: 2024-09-18 20:43:05 +0800 CST
  • 6

在 Nick Chapsas 最近制作的这段视频中，他在结尾评论说该Find方法List<T>“未优化”，因为代码不是在数组的 Span 上进行迭代，而是在数组本身上进行迭代：

public T? Find(Predicate<T> match) {
    if (match == null) {
        ThrowHelper.ThrowArgumentNullException(ExceptionArgument.match);
    }

    for (int i = 0; i < _size; i++) {
        if (match(_items[i])) {
            return _items[i];
        }
    }
    return default;
}

从Stephen Toub 在 Spans 上发表的（更新的？）博客文章的这一段来看，我认为对 Spans 进行迭代可以像对数组进行迭代一样快（但不会更快） ：

汇编代码之所以如此相似，部分原因是消除了边界检查。但 JIT 将跨度索引器识别为内在函数，这意味着 JIT 会为索引器生成特殊代码，而不是将其实际的 IL 代码转换为汇编代码。

所有这些都是为了说明运行时可以对跨度应用 与数组相同类型的优化，从而使跨度成为访问数据的有效机制。

什么时候人们会不言而喻地认为，对数组的 Span 进行迭代会和对数组本身进行迭代一样快，甚至可能更快？哪个 .NET 版本引入了这些不能用于数组的 JIT Span 优化？

c#
Martin Hope
Ivan Petrov
Asked: 2024-09-03 09:49:30 +0800 CST
  • 5

对于静态，文档DispatchProxy.Create<T,TProxy>()告诉我们：

创建一个从类派生TProxy并实现接口的对象实例T。

有以下测试代码可以确认：

interface I{
    void Foo();
}

class D : DispatchProxy {
    protected override object Invoke(MethodInfo targetMethod, object[] args) {
        Console.WriteLine("In Invoke");
        return null;
    }
    public virtual void DMethod(){
    }
}

var proxy = DispatchProxy.Create<I,D>();
Console.WriteLine(proxy.GetType().BaseType); // typeof(D)
Console.WriteLine(proxy is I); // true

Invoke然后根据文档，关于该方法的有趣部分是：

每当调用生成的代理类型上的任何方法时，都会调用此方法来调度控制。

这可能意味着

proxy
.GetType()
.GetMethods(BindingFlags.NonPublic|BindingFlags.Public|BindingFlags.Instance|BindingFlags.Static)
.Select(x => x.Name)

这给了我们

Foo 调用 DMethod GetType MemberwiseClone 完成 ToString 等于 GetHashCode

但是如果我们测试是否调用了Invoke接口方法和调度类方法：

proxy.Foo(); // In Invoke
((D)proxy).DMethod(); // nothing

查看DispatchProxy生成的代理类型是如何使用私有字段来实现的，该私有字段包含一个 MethodInfos 数组，这些数组在调用它的存根方法中使用，Invoke这将使我们只能使用可以覆盖的方法来实现这种行为。

这就是为什么我将 DMethod 定义为virtual，但显然没有创建存根。

这是否意味着文档应该说明：

每当调用生成的代理类型上的任何 >>>接口方法时，都会调用此方法来调度控制。

c#