为什么在继承泛型类型时，必须使用父类型限定使用嵌套类型？

Question

考虑一下：

[SomeAttr(typeof(Bar))] 
class Foo { 

    class Bar { 

    } 
} 

...这：

class Foo : ISomething<Bar> { 

    class Bar { 

    } 
} 

第一个例子编译，第二个没有。要使用嵌套式引用从一个泛型类型继承时，我必须与家长的类型名称限定它：

class Foo : ISomething<Foo.Bar> { 

    class Bar { 

    } 
} 

我的问题是，为什么呢？以及为什么从父类型的属性引用时不适用此限制（第一个示例）？

Answer 1

这一切都是关于声明的范围。请看下面的代码：

namespace FooSpace 
{ 
    class Foo : ISomething<Bar> 
    { 
     class Bar { } 
    } 
} 

的代码class Foo : ISomething<Bar>该生产线是在FooSpace命名空间，但是类Foo内不。此时，Bar没有意义。 Bar本身只有的范围范围内的Foo本身。

使用类Bar任何代码外的富类，必须限定它作为Foo.Bar。此规则在类声明本身内也适用。

这是为什么？难道编译器不能自动计算出您必须表示同一个类中嵌套的Bar？

嗯，一件事有可能是其他嵌套类称为在同一个命名空间中的其他类中Bar，如下：

namespace FooSpace 
{ 
    class Foo : List<Foo.Bar> 
    { 
     public class Bar { } 
    } 

    class Foo2 : List<Foo2.Bar> 
    { 
     public class Bar { } 
    } 
} 

没有资格，你的意思是这Bar？编译器将无法告诉。因此，编译器不要试图猜测，而是要坚持一个明确限定的类名。

对于属性的情况下，虽然类靶向属性是声明类声明这样上面：

[SomeAttr(typeof(Bar))] 
class Foo { ... 

在现实中，编译器把这个东西更是这样的：

class public auto ansi beforefieldinit FooSpace.Foo extends [mscorlib]System.Object 
{ 
    .custom instance void FooSpace.SomeAttr::.ctor ... etc. 

也就是说，使用您提供的参数，实际的SomeAttr属性对象被创建为里面的类。该参数typeof(Bar)当然是有效的，因为它存在于Foo的类范围内。

相关问题here也讨论过这种情况。

有趣的是要注意的是完全相同的规则和行为所适用的访问常量或静态类成员类的属性 - 你不需要指定类名，因为该属性里面类实际创建。