У меня есть способ интерфейса
public void Execute(ICommand command);
который должен передать известные подтипы ICommand соответствующей реализации метода Handle(SpecificCommand command) и выполнить некоторую общую обработку неизвестных типов. Я ищу универсальный (т.е. не требующий гигантского переключателя) способ сделать это, что-то похожее на
Handle(command as command.GetType()); // this obviously does not compile
Я знаю, что могу как-то зарегистрировать обработчики, например хранить их как делегатов в словаре, но для этого по-прежнему требуется дублировать логику обработки (один раз в конкретной сигнатуре метода Handle(...), один раз в регистрации делегата). Если я заполню словарь, проверив свой класс с помощью отражения (ища методы Handle(XXX command)), я получу удар по производительности.
Подводя итог: как я могу выполнить понижающее преобразование объекта (преобразованное вызовом Execute(ICommand command)), чтобы вызвать метод, требующий конкретного типа, не зная, к какому типу он относится во время компиляции.





Вы не можете, и зачем вам это нужно?
В этом вся причина полиморфизма. Если вы хотите иметь настраиваемое поведение, специфичное для определенных типов, оно должно существовать в самом типе и вызываться через функцию, объявленную в типе базового класса.
Что ж, «правильный» ответ состоит в том, что Handle () должен быть методом в ICommand, так что вместо Handle(command) вы должны сказать command.Handle().
Проблема в том, что Execute () - это интерфейсный метод, разные разработчики будут обрабатывать команды по-разному. И я бы предпочел не добавлять методы в интерфейс каждый раз, когда добавляю команду, поскольку это каждый раз нарушает работу разработчиков.
@skolima Я думаю, что вам нужно быть более конкретным, я согласен с критикой Джеймса, почти наверняка вы хотите использовать здесь полиморфизм, а не какой-то ужасно беспорядочный оператор switch или что-то в этом роде. Инкапсулируйте код там, где он принадлежит.
Метод Execute () и различные классы ICommand являются частью моего API. Я предлагаю одну реализацию Execute (), но клиенты предоставят другие. Я хочу, чтобы клиенты могли правильно компилировать, когда я добавляю новые команды (возможен ответ UnknownCommand).
@skolima, если вы еще не доработали свой дизайн, у вас есть время изменить свой API. Не зацикливайтесь на плохом решении только потому, что не думаете, что есть альтернативы.
Приведение выполняется во время компиляции, поэтому вам нужно знать тип во время компиляции. Перегрузка также определяется во время компиляции, поэтому к тому времени, когда вы действительно узнаете, какой конкретный тип использовать, будет уже слишком поздно.
Я не думаю, что вы на самом деле дублируете какой-либо логика, используя делегаты. В качестве альтернативы, если вы делаете это с отражением, вы можете очень легко создавать делегаты с помощью Delegate.CreateDelegate - вы получите снижение производительности только один раз, а после этого все будет очень быстро. См. Мой запись в блоге о Delegate.CreateDelegate для получения дополнительной информации.
Думаю, я бы решил использовать словарь, созданный вручную, или словарь, построенный с помощью отражения, в зависимости от того, сколько у меня методов и как часто они меняются. Вероятно, вы найдете KeyedByTypeCollection полезным для словаря.
Я пробовал разработать способ, который будет работать с использованием Double Dispatch (http://en.wikipedia.org/wiki/Double_dispatch), но кажется, что у вас есть ситуация, когда количество классов, реализующих ICommand, и тех, которые реализуют Execute (), может варьироваться во время выполнения (или, по крайней мере, между компиляцией и временем выполнения, что, по сути, одно и то же), поэтому единственное решение, которое я вижу, это использование словаря, как предлагал Джон Скит.
Моя проблема в том, что мне нужно настраиваемое поведение, специфичное не только для определенного типа, но и для потребителя этого типа.