Question

在与同事谈论C＃时，他向我展示了一些我必须预测输出的C＃代码。这看起来很简单，但事实并非如此。我无法理解为什么C＃会这样做。

代码：

public class A<T1>
{
    public T1 a;

    public class B<T2> : A<T2>
    {
        public T1 b;

        public class C<T3> : B<T3>
        {
            public T1 c;
        }
    }
}

class Program
{
    static void Main(string[] args)
    {
        A<int>.B<char>.C<bool> o = new A<int>.B<char>.C<bool>();

        Console.WriteLine(o.a.GetType());
        Console.WriteLine(o.b.GetType());
        Console.WriteLine(o.c.GetType());

        Console.ReadKey();
    }
}

输出结果为：

System.Boolean
System.Char
System.Int32

如果我错了，请纠正我，但我知道o.a属于bool类型，因为C<T3>继承自B<T3>而B<T2>继承自A<T2> 。我也可以稍微理解o.c的类型是int，因为c的类型是T1，它从外部类中获取（我认为）。

当我试图弄清楚为什么o.b是char类型时，我的脑袋几乎爆炸了。有人可以向我解释一下吗？

Answer 1

这是一个古老的谜题，而且非常困难。当我把它交给安德斯本人时，他第一次没有得到正确答案！

我认为你的同事给你的版本来自Cyrus的博客：

http://blogs.msdn.com/b/cyrusn/archive/2005/08/01/446431.aspx

我的博客上有一个稍微简单的版本。

http://blogs.msdn.com/b/ericlippert/archive/2007/07/27/an-inheritance-puzzle-part-one.aspx

我的版本的解决方案在这里：

http://blogs.msdn.com/b/ericlippert/archive/2007/07/30/an-inheritance-puzzle-part-two.aspx

简而言之，混淆行为的原因是，当您在外部类和基类中都存在名称时，基类“wins”。也就是说，如果你有：

public class B
{
  public class X {}
} 
public class P
{
  public class X
  {
    public class D : B
    {
      public class N : X {}
    }
  }
}

然后P.X.D.N继承自B.X，而不是P.X。这个谜题使得嵌套的泛型类型可以通过“外部”和“基础”搜索路径命名相同的声明，但由于通用构造，每个都有不同的含义。

无论如何，请阅读博客文章中的解释，如果仍然不清楚，请提出更具体的问题。

Answer 2

好的，我的第一个答案是错的。嵌套很重要：

o.b.GetType()中的

是周围类的成员，它被实例化为B<char>，它继承自A<char>，后者又使T1等于char。以下内容（A_int.B_char.C_bool的手动实例化）不太清楚：

public class A_bool
{
    public bool a;

    public class B_bool : A_bool
    {
        public bool b;
    }
}

public class A_char
{
    public char a;

    public class B_bool : A_bool
    {
        public char b;
    }
}

public class A_int
{
    public int a;

    public class B_char : A_char
    {
        public int b;

        public class C_bool : A_char.B_bool
        {
            public int c;
        }
    }
}

此处C_bool也可以从A_bool.B_bool派生出来，对吧？但是因为我们嵌套在A_char中是首选。

通过测验了解C＃中的嵌套泛型类

2 个答案: