Есть следующий код:
public abstract class PointBase
{
}
public class ProductPoint : PointBase
{
}
public class EmptyPoint : PointBase
{
}
...
public void SomeMethod(IEnumerable<PointBase> points)
{
points.ForEach(DoSome);
}
public void DoSome(PointBase point)
{
if (point is ProductPoint)
{
DoSomeForProductPoint((ProductPoint)point);
return;
}
if (point is EmptyPoint)
{
DoSomeForEmptyPoint((EmptyPoint)point);
return;
}
throw new Exception("An unknown implementation.");
}
Мест с таким type checking'ом несколько.
Что хочется?
Чтобы при добавлении нового наследника от PointBase среда разработки сама мне говорила какие места с type checking'ом мне нужно дополнить чтобы они работали с новым наследником.
Чтобы нельзя было скомпилировать код (ну или в крайнем случае прогнать удачно тесты) без дополнения всех мест с type checking'ом для нового наследника.
Решения в лоб:
Какой-то волшебный метод в базовом классе с примерно следующим содержанием:
public static void DoSomeForDerived( PointBase p, Action<ProductPoint> a1, Action<EmptyPoint> a2) { if (point is ProductPoint) { a1((ProductPoint)point); return; } if (point is EmptyPoint) { a2((EmptyPoint)point); return; } throw new Exception("An unknown implementation."); }
И собственно вызывать этот метод каждый раз когда мне нужен какой-то type checking прокидывая в него экшены которые нужно выполнять для каждого типа наследников. С таким решением при добавлении нового наследника, например какого-нибудь "CodePoint : PointBase", и добавлением нового экшена в сигнатуру метода компилятор при следующем билде скажет мне что все прежние использования этого метода содержат неполный набор аргуметов. И я, разработчик, буду вынужден тем самым заимплементить логику работы с новым наследником во всех местах.
- Рефлексия при тестировании. Все методы которые в аргументах содержат какой-либо упоминание о PointBase тестировать отталкиваясь от текущего количества наследников в сборке вытаскивая их с помошью рефлексии. Тут мне конечно необходимо чтобы у всех наследников был конструктор без параметров чтобы я мог создать их экземпляры и понапихать туда для теста. Без наличия такого конструктора задача сильно усложняется и перестает иметь всякий смысл из за затрат по времени.
Ни один из вариантов мне не нравится. Буду рад увидеть любые предложения.