Можно ли в виртуальном методе базового класса в качестве ... - .NET

Можно ли в виртуальном методе базового класса в качестве параметра указать тип наследника

public class BaseClass
{

protected virtual void VirtMethod(/*Вот здесь хочу как-то указать тип таким образом, чтобы в наследнике получился типа наследника*/)
{
}

}

public class DerivedClass : BaseClass
{

//Нужно чтобы наследник выглядел так
protected override void VirtMethod(DerivedClass baseObject)
{
}

}

Это можно сделать передавать тип базового класса в виде параметра типа, но как-то не очень так хочется делать. Можно ли по-другому?

Здравствуйте, Аноним, Вы писали:

А> Можно ли в виртуальном методе базового класса в качестве параметра указать тип наследника

Например, как-то так:

  class Base
  {
    protected virtual void Method(Base item) {
    }
  }

  class Derived : Base
  {
    protected virtual void Method(Derived item) {
    }

    protected sealed override void Method(Base item) {
      Method((Derived)item);
    }
  }

А>//Нужно чтобы наследник выглядел так

Для чего?

Здравствуйте, Аноним, Вы писали:

А>Это можно сделать передавать тип базового класса в виде параметра типа, но как-то не очень так хочется делать. Можно ли по-другому?

В смысле так не хочется?

public class BaseClass<T>
{
    protected virtual void VirtMethod(T obj)
    {
    }
}

public class DerivedClass : BaseClass<DerivedClass>
{
    protected override void VirtMethod(DerivedClass obj)
    {
    }
}

А вообще как-то странно это все выглядит

public interface  IBase
{
    void BaseM();
}

public class BaseClass<T> : IBase where T : IBase
{
    public void BaseM() {}

    protected virtual void VirtMethod(T t)
    {
        t.BaseM();
    }
}

public class DerivedClass : BaseClass<DerivedClass>
{
    public void Derived() {}
    //Нужно чтобы наследник выглядел так
    protected override void VirtMethod(DerivedClass baseObject)
    {
        baseObject.BaseM();
        baseObject.Derived();
    }
}

Здравствуйте, Аноним, Вы писали:

А> Это можно сделать передавать тип базового класса в виде параметра типа, но как-то не очень так хочется делать. Можно ли по-другому?

А что должно будет произойти, если:

class OtherDerived : BaseClass { }

BaseClass a = new Derived();
a.VirtMethod(new OtherDerived());

В C++ есть поддержка ковариантности в указании типа возвращаемого значения при переопределении виртуального метода. В C# оного нету. Только в случае возвращаемого значения можно безопасно сменить тип на производный (причём, насколько я помню, сменить можно только на тип класса, в котором метод переопределяется).

Приведённый Вами сценарий потребовал бы проверок времени выполнения и на самом деле не имеет смысла. Пересмотрите архитектуру.

Здравствуйте, Аноним, Вы писали:

А>

А>public interface IBase ...
А>public class BaseClass<T> : IBase where T : IBase ...
А>

В base class constraint можно и на самого себя сослаться

public class BaseClass<T> where T : BaseClass<T>
{
    public void BaseM() { }

    protected virtual void VirtMethod(T t) { t.BaseM(); }
}

public class DerivedClass : BaseClass<DerivedClass>
{
    public void Derived() { }

    protected override void VirtMethod(DerivedClass baseObject)
    {
        baseObject.BaseM();
        baseObject.Derived();
    }
}

Здравствуйте, Аноним, Вы писали:

А> Это можно сделать передавать тип базового класса в виде параметра типа, но как-то не очень так хочется делать. Можно ли по-другому?

Что мешает так:

  class Base
  {
    protected virtual void Method(Derived item) {
    }
  }

  class Derived : Base
  {
    protected sealed override void Method(Derived item) {
    }
  }

Все равно какая-то бедовая хотелка. Что нужно сделать-то?

Здравствуйте, Пельмешко, Вы писали:

П>Здравствуйте, Аноним, Вы писали:

А>> Это можно сделать передавать тип базового класса в виде параметра типа, но как-то не очень так хочется делать. Можно ли по-другому?

П>А что должно будет произойти, если:
П>

П>class OtherDerived : BaseClass { }

П>BaseClass a = new Derived();
П>a.VirtMethod(new OtherDerived());
П>

П>В C++ есть поддержка ковариантности в указании типа возвращаемого значения при переопределении виртуального метода. В C# оного нету. Только в случае возвращаемого значения можно безопасно сменить тип на производный (причём, насколько я помню, сменить можно только на тип класса, в котором метод переопределяется).

П>Приведённый Вами сценарий потребовал бы проверок времени выполнения и на самом деле не имеет смысла. Пересмотрите архитектуру.

Благодаря приведенному примеру понял, почему нету именно такой возможности. Спасибо.

	От:	Аноним
	Дата:	17.03.10 14:23
	Оценка:

От:	_FRED_	@ViIvanov
Дата:	17.03.10 14:30
Оценка:

	От:	Воронков Василий
	Дата:	17.03.10 14:35
	Оценка:

	От:	Аноним
	Дата:	17.03.10 14:35
	Оценка:

От:	Пельмешко	blog
Дата:	17.03.10 14:37
Оценка:

От:	samius	http://sams-tricks.blogspot.com
Дата:	17.03.10 14:44
Оценка: