Обобщение наследования и объявление поля (класс <T>, где T: класс <T>)

Question

Обобщение наследования и объявление поля (класс <T>, где T: класс <T>)

1

У меня есть следующее определение класса:

public abstract class BaseExample<T> where T : BaseExample<T>
{

    public abstract T Clone(T original);

}

и его наследства

public class Example01 : BaseExample<Example01>
{
    public override Example01 Clone(Example01 original)
    {
        return this; // not the actual implementation
    }
}

public class Example02 : BaseExample<Example02>
{
    public override Example02 Clone(Example02 original)
    {
        return this; // not the actual implementation
    }
}

Как объявить переменную с типом или базовым классом? Поскольку следующее выражение не компилируется:

private BaseExample<T> declarationA;
    private BaseExample<T>  declarationA;
    private BaseExample declarationB;

Diego Prates de Andrade 13 нояб. 2014, в 22:30

Источник

1

BaseExample<T> не будет работать, если компилятор не знает, что такое T (имеется в виду, что он находится в универсальном классе или методе), а BaseExample не является типом.
D Stanley 13 нояб. 2014, в 20:38
1

Не ясно, чего вы пытаетесь достичь. В настоящее время кажется, что вы должны использовать классы Example01 / 02 в объявлении, но кажется, что вы этого не хотите.
Stilgar 13 нояб. 2014, в 20:38
0

Было бы полезно, если бы вы опубликовали для нас ошибку компиляции. Используйте ссылку внизу вашего вопроса, чтобы отредактировать ваш вопрос.
Jeff Bridgman 13 нояб. 2014, в 20:39
0

@Stilgar Мне нужен экземпляр BaseExample, который мог бы получать значения Example01 или Example02. Например: BaseExample a = new Example01 ();
Diego Prates de Andrade 13 нояб. 2014, в 20:45
0

И что будет возвращаемый тип объявления A.Clone () в этом гипотетическом случае?
Stilgar 13 нояб. 2014, в 20:52
0

@ Стилгар О, я думаю, что сейчас вижу проблему с моим подходом, я не могу сделать это таким образом. В любом случае, спасибо всем за помощь. Есть ли способ сделать метод родовым вместо класса?
Diego Prates de Andrade 13 нояб. 2014, в 21:05
0

Я до сих пор не знаю, чего вы пытаетесь достичь. Очевидно, вы не можете иметь статический тип, который не является ни универсальным, ни известным во время компиляции. Может быть, вы хотите интерфейс, реализованный на примере классов?
Stilgar 13 нояб. 2014, в 21:12

Показать ещё 5 комментариев

Теги:

c#

generics

inheritance

3 ответа

Ещё вопросы

BaseExample<T> не будет работать, если компилятор не знает, что такое T (имеется в виду, что он находится в универсальном классе или методе), а BaseExample не является типом.
Не ясно, чего вы пытаетесь достичь. В настоящее время кажется, что вы должны использовать классы Example01 / 02 в объявлении, но кажется, что вы этого не хотите.
Было бы полезно, если бы вы опубликовали для нас ошибку компиляции. Используйте ссылку внизу вашего вопроса, чтобы отредактировать ваш вопрос.
@Stilgar Мне нужен экземпляр BaseExample, который мог бы получать значения Example01 или Example02. Например: BaseExample a = new Example01 ();
И что будет возвращаемый тип объявления A.Clone () в этом гипотетическом случае?
@ Стилгар О, я думаю, что сейчас вижу проблему с моим подходом, я не могу сделать это таким образом. В любом случае, спасибо всем за помощь. Есть ли способ сделать метод родовым вместо класса?
Я до сих пор не знаю, чего вы пытаетесь достичь. Очевидно, вы не можете иметь статический тип, который не является ни универсальным, ни известным во время компиляции. Может быть, вы хотите интерфейс, реализованный на примере классов?

Mayank · Answer 1 · 2014-11-13T19-43-00.000Z

Он не будет работать так же, как все, что вы назначаете родовому типу T никогда не может быть BaseExample<T>.

BaseExample<int>  declarationA;

в случае, если выше int не может быть BaseExample<int> (int ! = BaseExample<int>)

D Stanley · Answer 2 · 2014-11-13T19-02-00.000Z

Мне нужно иметь экземпляр BaseExample который мог бы получить значения Example01 или Example02. например: BaseExample a = new Example01()

Вы не можете - BaseExample<Example01> и BaseExample<Example02> - разные типы. Там нет базового типа (кроме object), который может содержать любой тип.

Предположим, вы могли:

BaseExample a = new Example01();

a.Clone() будет возвращаемый тип a.Clone()?

Если ваш код находится в методе общего класса ot, вы можете:

public T MyMethod<T>(T value) where T : BaseExample<T>
{
    BaseExample<T> a = value;
    return value.Close();
}

Но тогда вы должны указать тип при вызове метода, например

Example01 a1 = new Example01();
Example01 a2 = MyMethod(a1);  // MyMethod<Example01> is inferred by the compiler

О, я думаю, что общий метод является решением моей проблемы. Спасибо!

David · Answer 3 · 2014-11-13T18-52-00.000Z

Как уже упоминалось, поскольку Generic<T1> и Generic<T2> являются разными классами, вы не можете назначить их одной и той же переменной.

Один из способов, которым я обойду это, - использовать не общий базовый класс, такой, что

public abstract class BaseExample { ... }
public abstract class BaseExmmple<T> : BaseExample
    where T : BaseExample<T>
{ ... }

Это можно сделать более безопасным путем внедрения internal abstract элемента, так что внешние классы не могут реализовать BaseExample.

Если вы хотите позвонить .Clone() из объекта, .Clone() в переменной не-общего типа, вы должны реализовать форму object -returning, которая обертывается родовым классом для вызова общей формы.