1

最近我遇到了一个有趣的问题，试图通过动态类型实现双重调度。

一点背景知识：在我的一个项目中，我使用 StructureMap 容器和动态类型作为在运行时调度方法调用的干净方式。将 StructureMap 容器更新到较新的版本 (3) 后，我的一些单元测试开始永远挂起。

为了重现这个问题，我创建了 2 个最大程度简化的单元测试：第一个测试永远挂在标有 (*) 的行上，第二个测试按预期通过。它们之间的唯一区别是第一个方法返回的是 StructureMap 的 LambdaInstance 类型的对象。

悬挂测试：

    [TestFixture]
    [Category("Unit")]
    public class when_trying_to_call_method_with_dynamic_argument1
    {            
        private class A {}

        private static LambdaInstance<object> Method(A obj)
        {
            throw new NotImplementedException();
        }

        [Test]
        [ExpectedException(typeof(NotImplementedException))]
        public void should_succeed()
        {
            var instance = (dynamic)new A();
            Method(instance); //(*)hangs forever on this line              
        }
    }

通过测试：

    [TestFixture]
    [Category("Unit")]
    public class when_trying_to_call_method_with_dynamic_argument2
    {            
        private class A {}

        private static object Method(A obj)
        {
            throw new NotImplementedException();
        }

        [Test]
        [ExpectedException(typeof(NotImplementedException))]
        public void should_succeed()
        {
            var instance = (dynamic)new A();
            Method(instance);
        }
    }

怎么可能？还是我只是累了需要睡觉？

无论如何，这是概念和教育问题，而不是愿意在特定图书馆中找到特定问题的解决方案。

UPDATE1：已验证 4.0 和 4.5 目标框架存在问题，已在 VS2010(SP1)、VS2013 中验证。

UPDATE2：简单的控制台应用程序也挂在同一行（所以，这不是测试运行器的问题）：

class Program
{
    private class A { }

    private static LambdaInstance<object> Method(A obj)
    {
        throw new NotImplementedException();
    }

    static void Main(string[] args)
    {
        var instance = (dynamic)new A();
        Method(instance); //(*)hangs forever on this line            
    }
}

我还在GitHub 上创建了独立示例。

4

1 回答 1

1

问题在于 StructureMap 的LambdaInstance<T>类继承。C# 动态的使用涉及创建多态调用点，这些调用点确实使用运行时绑定器。

考虑 LambdaInstance 类的简化继承树：

class Program
{
    private static LambdaInstance<object> Method(object obj)
    {
        throw new NotImplementedException();
    }

    static void Main(string[] args)
    {
        var instance = (dynamic)new object();
        Method(instance);
    }
}

public class LambdaInstance<T> : LambdaInstance<T, T>
{

}

public class LambdaInstance<T, TPluginType> : ExpressedInstance<LambdaInstance<T, TPluginType>, T, TPluginType>
{

}

public abstract class ExpressedInstance<T>
{

}

public abstract class ExpressedInstance<T, TReturned, TPluginType> : ExpressedInstance<T>
{

}

如上所示，LambdaInstance<T, TPluginType>继承ExpressedInstance<T, TReturned, TPluginType>，但具有T:LambdaInstance<T, TPluginType>. 所以泛型参数的特化T是子类型定义 - LambdaInstance<T, TPluginType>。这在运行时获取构造类型的情况下创建循环引用，这是运行时绑定器对不变多态行为的要求。

如果您需要问题的来源，请查看类（Microsoft.CSharp.dll 程序集）的私有方法LoadSymbolsFromType(Type originalType)和GetConstructedType(Type type, AggregateSymbol agg )。Microsoft.CSharp.RuntimeBinder.SymbolTableLoadSymbolsFromType 和 GetConstructedType 方法相互调用，同时实例化新类型。

要在没有框架源代码的情况下检查这一点，请尝试通过提供预定义类型来剖析泛型专业化，System.Int32例如。

class Program
{
    private static LambdaInstance<object> Method(object obj)
    {
        throw new NotImplementedException();
    }

    static void Main(string[] args)
    {
        var instance = (dynamic)new object();
        Method(instance);
    }
}

public class LambdaInstance<T> : LambdaInstance<T, int>
{

}

public class LambdaInstance<T, TPluginType> : ExpressedInstance<LambdaInstance<T, TPluginType>, int, TPluginType>
{

}

public abstract class ExpressedInstance<T>
{

}

public abstract class ExpressedInstance<T, TReturned, TPluginType> : ExpressedInstance<T>
{

}

运行应用程序。将System.StackOverflowException被抛出。使用调试器和反汇编模式 - 问题来源是System.RuntimeTypeHandle.Instantiate(System.Type[])。

于 2014-11-20T20:13:45.837 回答