Обобщенный интерфейс ковариантность

@bazyzy · Регистрация: 27.01.2013

Author24 — интернет-сервис помощи студентам

Господа, подскажите пожалуйста по коду. Вот ради эксперимента набросал код, но не пойму, почему метод GetNameObj возвращает объект типа a1 если ему как через конструктор, так и через параметр типа передают a2.
Вот код

C#

using System;
interface a<out T>
{
    T GetNameObj();
}
class b<T> : a<T>
{
    T t;
    public b(T o)
    {
        t = o;
    }
    public T GetNameObj()
    {
        Console.WriteLine(typeof(T).Name);
        return t;
    }
}
class a1 {  }
class a2 : a1 {  }
class c
{
    static void Main()
    {
        a<a1> A = new b<a2>(new a2());
        a2 A2 =(a2) A.GetNameObj(); //вот этот метод почему-то возвращает тип a1
        
    }
}

Мне кажется, что единственным объяснением такого поведения является то, что методу без разницы что я там передаю за тип данных в конструктор или параметр типа, ему главное что в интерфейсной ссылке указан параметр типа a1. Но в таком случае приоритет выше у интрефейса чем у у типа объекта ? Или я что-то не правильно понял ? Подскажите пожалуйста.

@mr_duke · 26.11.2014, 22:29

упс

C#

1	a2 A2 =( (a<a2>) A ).GetNameObj();

это контрвариантноть вроде

@kolorotur · 26.11.2014, 22:41

Сообщение от bazyzy

почему метод GetNameObj возвращает объект типа a1 если ему как через конструктор, так и через параметр типа передают a2.

Потому что в коде вы проверяете имя типа параметра, а не объекта, на который ссылается переменная этого типа. Вариантность тут вообще не при делах.
Чтобы не путаться с обобщениями, примерно вот так выглядит ваш класс с точки зрения рантайма:

C#

class b_a2 : a_a2
{
    a2 t;
    public b(a2 o)
    {
        t = o;
    }
    public a2 GetNameObj()
    {
        Console.WriteLine(typeof(a2).Name);
        return t;
    }
}

Как видите, там всегда будет имя типа параметра, вне зависимости от конкретного типа объекта, на который ссылается ваша переменная.

Если хотите получить конкретный тип объекта, то вместо typeof(T) используйте t.GetType()

@mr_duke · 26.11.2014, 22:58

Кажется дело в версии платформы под 4 и выше все работает и typeof и gettype всмысле структура обобщений, а вот ниже помогает только ручное преобразование

@kolorotur · 26.11.2014, 23:07

Сообщение от mr_duke

под 4 и выше все работает и typeof и gettype всмысле структура обобщений

Вы, наверное, что-то путаете. typeof и GetType — это не совсем одно и то же. typeof работает на типе, а GetType — на объекте. typeof(T), где Т — тип параметра, всегда вернет имя типа, с которым создан класс, в любой версии фреймворка, начиная с 2.0.

@mr_duke · 26.11.2014, 23:09

ну я это и имел ввиду и t и T

Добавлено через 1 минуту
на 5 все норм в любом случае а2 дает
а на 3.5 typeof дает а1 а GetType вообще краш вызвал))))

@mr_duke 6 / 6 / 4 Регистрация: 23.11.2014 Сообщений: 23
	26.11.2014, 22:58	4
	Кажется дело в версии платформы под 4 и выше все работает и typeof и gettype всмысле структура обобщений, а вот ниже помогает только ручное преобразование 0

@kolorotur 17685 / 12871 / 3365 Регистрация: 17.09.2011 Сообщений: 21,136
	26.11.2014, 23:07	5
	Сообщение от mr_duke под 4 и выше все работает и typeof и gettype всмысле структура обобщений Вы, наверное, что-то путаете. typeof и GetType — это не совсем одно и то же. typeof работает на типе, а GetType — на объекте. typeof(T), где Т — тип параметра, всегда вернет имя типа, с которым создан класс, в любой версии фреймворка, начиная с 2.0. 1

@mr_duke 6 / 6 / 4 Регистрация: 23.11.2014 Сообщений: 23
	26.11.2014, 23:09	6
	ну я это и имел ввиду и t и T Добавлено через 1 минуту на 5 все норм в любом случае а2 дает а на 3.5 typeof дает а1 а GetType вообще краш вызвал)))) 0

Опции темы

Обобщенный интерфейс ковариантность

Решение