16

我定义了一个泛型类，它派生自 BindingList 并具有嵌套的非泛型类：

class Generic<T> : BindingList<Generic<T>.Inner>
{
    public class Inner
    {
        public object Foo { get; set; }
    }
}

StackOverflowException尝试Value通过动态引用访问属性时，mscorlib 中会出现A ，如下所示：

dynamic d = new Generic<string>.Inner();
var value = d.Foo; // StackOverflowException

var value = d.Bar    // StackOverflowException as well, not a 
                     // 'RuntimeBinderException' like you would expect when
                     // trying to access a non-existing member

这是我能做的最小的复制品。

从 BindingList 派生是一个重要的细节，如果我将其更改为List程序可以正确执行。

为什么会这样？

编辑：

这是调用堆栈的顶部：

[Managed to Native Transition]  
mscorlib.dll!System.RuntimeTypeHandle.Instantiate(System.Type[] inst)   
mscorlib.dll!System.RuntimeType.MakeGenericType(System.Type[] instantiation)    
Microsoft.CSharp.dll!Microsoft.CSharp.RuntimeBinder.Semantics.CType.CalculateAssociatedSystemTypeForAggregate(Microsoft.CSharp.RuntimeBinder.Semantics.AggregateType aggtype)   
Microsoft.CSharp.dll!Microsoft.CSharp.RuntimeBinder.Semantics.CType.CalculateAssociatedSystemType(Microsoft.CSharp.RuntimeBinder.Semantics.CType src)   
Microsoft.CSharp.dll!Microsoft.CSharp.RuntimeBinder.Semantics.CType.AssociatedSystemType.get()  
Microsoft.CSharp.dll!Microsoft.CSharp.RuntimeBinder.Semantics.TypeManager.GetAggregate(Microsoft.CSharp.RuntimeBinder.Semantics.AggregateSymbol agg, Microsoft.CSharp.RuntimeBinder.Semantics.AggregateType atsOuter, Microsoft.CSharp.RuntimeBinder.Semantics.TypeArray typeArgs)  
Microsoft.CSharp.dll!Microsoft.CSharp.RuntimeBinder.Semantics.TypeManager.GetAggregate(Microsoft.CSharp.RuntimeBinder.Semantics.AggregateSymbol agg, Microsoft.CSharp.RuntimeBinder.Semantics.TypeArray typeArgsAll)    
Microsoft.CSharp.dll!Microsoft.CSharp.RuntimeBinder.Semantics.TypeManager.GetAggregate(Microsoft.CSharp.RuntimeBinder.Semantics.AggregateSymbol agg, Microsoft.CSharp.RuntimeBinder.Semantics.TypeArray typeArgsAll)    
Microsoft.CSharp.dll!Microsoft.CSharp.RuntimeBinder.Semantics.TypeManager.SubstTypeCore(Microsoft.CSharp.RuntimeBinder.Semantics.CType type, Microsoft.CSharp.RuntimeBinder.Semantics.SubstContext pctx)    
Microsoft.CSharp.dll!Microsoft.CSharp.RuntimeBinder.Semantics.TypeManager.SubstTypeArray(Microsoft.CSharp.RuntimeBinder.Semantics.TypeArray taSrc, Microsoft.CSharp.RuntimeBinder.Semantics.SubstContext pctx)
4

2 回答 2

2

我认为问题出在这个地方

Generic<T> :BindingList<Generic<T>.Inner>

请注意，您将声明的类用作父类 BindingList 中的泛型参数。所以我相信反射只会以一个不定式循环结束，你会得到 StackOverflow。

当你使用

var d = new Generic<string>.Inner();

编译器只是用 Generic.Inner 替换它，所以它是一样的

Generic<string>.Inner d = new Generic<string>.Inner();

但是当你使用

dynamic d = new Generic<string>.Inner();

你真的使用反射。再次反射开始深入挖掘你的类结构，它就像......你的类 => BindingList => BindingList 的泛型参数 => 你的类（因为它是 BindingList 的泛型参数）=> BindingList = > 等等，直到你获取 StackOverflow。

您可以更改为Generic<T> : BindingList<string>来打破这个不定式循环并且它有效！

于 2013-10-28T07:24:22.653 回答
1

非常感谢您的指正！我调查了这个我会说非常有趣的时刻，发现我是对的。

首先，这不是BUG！这就是微软团队解决这个问题的方式。我再次相信我上面写的所有内容都是真的！

所以正如我所说，你最终会得到一个不定式循环并得到 StackOverflow，但在我看来你得到它的速度非常非常快。因此，当您无法访问您的机器并且看起来它已经死机时，不会有任何长时间。我开始深入研究 BindingList 的结构以及结果。

我建立

class Example<T> : Level1<Example<T>>
{
    public string Name = "111";
}

public class Level1<T>
{

}

主要是

dynamic d = new Example<string>();
var value = d.Name;

它有效！然后我添加了另一个级别

public class Level1<T> : Level2<T>
{

}

public class Level2<T>
{

}

我得到了 StackOverflow。我改为

public class Level1<T> : Level2
{

}

public class Level2
{

}

它再次起作用！

所以我认为微软的人刚刚说......所以这是无法通过并抛出异常后的最高级别。

现在让我们看看BindingList<T> 

public class BindingList<T> : Collection<T>, 
    IBindingList, IList, ICollection, IEnumerable, ICancelAddNew, 
    IRaiseItemChangedEvents

注意Collection<T>

看看List<T>

public class List<T> : IList<T>, ICollection<T>, 
    IList, ICollection, IReadOnlyList<T>, IReadOnlyCollection<T>, IEnumerable<T>, 
    IEnumerable

只是接口......

因此它适用于 List 但不适用于 BindingList！我的例子证明了这一点！我相信他们是故意这样做的以停止不定式循环。

于 2013-10-31T05:53:06.613 回答