Наследование и общий тип настройки

Question

Может кто-нибудь объяснить мне, почему приведенный ниже код выводит то, что он делает? Почему T - строка в первой, а не Int32, и почему в следующем выходе это противоположный случай?

Эта головоломка из interview with Eric Lippert

Когда я смотрю через код, я действительно понятия не имею, если он собирается быть Int32 или строка:

public class A<T> 
    { 
     public class B : A<int> 
     { 
      public void M() { System.Console.WriteLine(typeof(T)); } 
      public class C : B { } 
     } 
    } 

    public class P 
    { 
     public static void Main() 
     {    
      (new A<string>.B()).M(); //Outputs System.String 
      (new A<string>.B.C()).M(); //Outputs System.Int32 
      Console.Read(); 
     } 
    } 

Answer 1

слегка Изменение кода:

public class A<T> 
{ 
    public class B : A<int> 
    { 
     public void M() { System.Console.WriteLine(typeof(T)); } 
     public class C : A<T>.B { } 
    } 
} 

public class P 
{ 
    public static void Main() 
    {    
     (new A<string>.B.C()).M(); //Outputs System.String 
    } 
} 

Обратите внимание, как я изменил C «s базовый класс от B к A<T>.B. Это изменяет выход от System.Int32 до System.String.

Без этого A<string>.B.C получен не от A<string>.B, а от A<int>.B, вызывая поведение, которое вы видели.Это потому, что имена, определенные в базовых классах, доступны по неквалифицированному поиску, а имя B определено в базовом классе A<int>.

Answer 2

Метод M внутри B печатает typeof(T)A<T>, A является родительским классом B.

Так, независимо от того, B происходит от того, что, M отпечатков typeof(T) что является String.

So A<T>.B.M отпечатки ближайшего A's T.

Так A<string>.B.M напечатает string

Теперь разложим выражение A<string>.B.C, что эквивалентно A<string>.B.A<int>.B (с C является A<int>.B), поэтому метод A<string>.B.A<int>.B.M напечатает ближайший T.

A<string>.B.A<int>.B.M напечатает int

Answer 3

К Introduction to Generics T также доступна в гнездовой классе. Это случай с классом B, который вложен в A. С другой стороны, C вложен в B, а T B доступен в C. Как вы можете видеть, T B - это int, а метод, вызванный на C, будет использовать int в качестве общего параметра.

Answer 4

Метод M() Всегда печатает тип родового параметра родительского класса в своем классе:

Так (new A<string>.B.C()).M(); должен печатать общий тип B который всегда int. (Вы можете увидеть B всегда A<int>)

(new A<string>.B()).M(); Также необходимо распечатать string потому родительским B является A<string>.

Answer 5

Может кто-нибудь объяснить мне, почему приведенный ниже код выводит то, что он делает?

Суть дела заключается в определении значения B в class C : B. Рассмотрим версию без дженериков: (для краткости я буду опускать общественность.)

class D { class E {} } 
class J { 
    class E {} 
    class K : D { 
    E e; // Fully qualify this type 
    } 
} 

Это может быть J.E или D.E; что он? Правило в C# при разрешении имени - это поиск иерархии базового класса, и только если это не удается, посмотрите на свой контейнер. K уже имеет элемент E по наследованию, поэтому ему не нужно смотреть на его контейнер, чтобы обнаружить, что его контейнер имеет элемент E посредством сдерживания.

Но мы видим, что головоломка имеет такую ​​же структуру; это просто запутывается дженериками. Мы можем относиться к родовым как шаблон и просто выписывать конструкции A-оф-строки и A-of-ИНТАС классов:

class A_of_int 
{ 
    class B : A_of_int 
    { 
    void M() { Write("int"); } 
    class C : B { } // A_of_int.B 
    } 
} 
class A_of_string 
{ 
    class B : A_of_int 
    { 
    void M() { Write("string"); } 
    class C : B {} // still A_of_int.B 
    } 
} 

И теперь должно быть ясно, почему A_of_string.B.M() пишет string но A_of_string.B.C.M() пишет int ,