1
public interface IFoo<T> { }
public class FooStr : IFoo<string> { }
public class FooInt : IFoo<int> { }
public class FooObj : IFoo<object> { }
public class FooHandler<T> where T : IFoo<...> { } // ???
...
FooHandler<FooStr> fooHandlerStr = new FooHandler<FooStr>();
FooHandler<FooInt> fooHandlerInt = new FooHandler<FooInt>();
FooHandler<FooObj> fooHandlerObj = new FooHandler<FooObj>();

Как написать класс, T которого IFoo<> с любым U?

7
  • Стоит указать, что именно не так. Показанный код не работает? Что такое "обработчик"? Метод? Класс? На что это должно быть похоже? Если что-то обрабатывается, значит где-то какие-то аргументы в метод должны передаваться, или что-то возвращаться должно? Конкретизируйте вопрос.
    – aepot
    Commented 6 июн. 2023 в 12:43
  • 1
    @aepot, в этом и прикол, я хочу без указания X. IFoo<X> уже подрузомевает некий X и я не хочу его указывать, перегружая бестолковой информацией.
    – Yaroslav
    Commented 6 июн. 2023 в 12:48
  • Причем не только беcтолковой но и вредной! Тут заложен конфликт что, если указать не тот тип X который реализует T, код ломается.
    – Yaroslav
    Commented 6 июн. 2023 в 12:50
  • metanit.com/sharp/tutorial/3.27.php - здесь точно ничего полезного нет? Если X это родитель классов, то можно сделать контрвариантный или ковариантный интерфейс. А был бы смысл в этом, но точно не узнать имея перед глазами конкретной реализации. Что хотите - понятно, непонятно - зачем?
    – aepot
    Commented 6 июн. 2023 в 12:52
  • 1
    stackoverflow.com/a/1541173/5045688 Commented 6 июн. 2023 в 13:30

1 ответ 1

1

Ответ на англоязычном stack: C# generic "where constraint" with "any generic type" definition?

Спасибо @AlexanderPetrov.


public interface IFoo { }
public interface IFoo<T> : IFoo { }
public class FooHandler<U> where U : IFoo { }

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


public interface IFoo { }
public interface IFoo<T> : IFoo { }
public class FooHandler<U, T> where U : IFoo<T> { }

Очевидный вариант, если T типа IFoo нужно использовать в аргументах FooHandler.


Варианта, где T может автоматически взяться из U, к сожалению не существует, язык такого пока что не позволяет.

  • U нужно мануально указывать повторно
  • не только в FooHandler но и в всех его обобщенных наследниках, нужно писать where U : IFoo<T>, что бы U который ты указываешь мануально не мог отличаться от того, который реализует IFoo
  • 😢 😩 😭
1
  • Галку воткнуть в ответ не забудь.
    – aepot
    Commented 11 июн. 2023 в 14:51

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.