Я работаю над переписыванием своего свободного интерфейса для моей библиотеки классов IoC, и когда я реорганизовал некоторый код, чтобы разделить некоторые общие функции через базовый класс, я надавил на него.
Примечание. Это то, что я хочу сделать, а не что-то, что мне нужно сделать. Если мне придется делать с другим синтаксисом, я буду, но если у кого-то есть идея о том, как сделать мой код компилируемым, как я его хочу, это было бы очень желанным.
Я хочу, чтобы некоторые методы расширения были доступны для определенного базового класса, и эти методы должны быть общими, с одним общим типом, связанным с аргументом метода, но методы также должны возвращать определенный тип, связанный с конкретный потомок, к которому они обращаются.
Лучше использовать пример кода, чем приведенное выше описание.
Вот простой и полный пример того, что не работает:
using System;
namespace ConsoleApplication16
{
public class ParameterizedRegistrationBase { }
public class ConcreteTypeRegistration : ParameterizedRegistrationBase
{
public void SomethingConcrete() { }
}
public class DelegateRegistration : ParameterizedRegistrationBase
{
public void SomethingDelegated() { }
}
public static class Extensions
{
public static ParameterizedRegistrationBase Parameter<T>(
this ParameterizedRegistrationBase p, string name, T value)
{
return p;
}
}
class Program
{
static void Main(string[] args)
{
ConcreteTypeRegistration ct = new ConcreteTypeRegistration();
ct
.Parameter<int>("age", 20)
.SomethingConcrete(); // <-- this is not available
DelegateRegistration del = new DelegateRegistration();
del
.Parameter<int>("age", 20)
.SomethingDelegated(); // <-- neither is this
}
}
}
Если вы скомпилируете это, вы получите:
'ConsoleApplication16.ParameterizedRegistrationBase' does not contain a definition for 'SomethingConcrete' and no extension method 'SomethingConcrete'...
'ConsoleApplication16.ParameterizedRegistrationBase' does not contain a definition for 'SomethingDelegated' and no extension method 'SomethingDelegated'...
Я хочу, чтобы метод расширения (Parameter<T>
) мог быть вызван как для ConcreteTypeRegistration
, так и DelegateRegistration
, и в обоих случаях тип возвращаемого значения должен соответствовать типу, в который был вызван расширение.
Проблема заключается в следующем:
Я бы хотел написать:
ct.Parameter<string>("name", "Lasse")
^------^
notice only one generic argument
но также, что Parameter<T>
возвращает объект того же типа, на который он был вызван, что означает:
ct.Parameter<string>("name", "Lasse").SomethingConcrete();
^ ^-------+-------^
| |
+---------------------------------------------+
.SomethingConcrete comes from the object in "ct"
which in this case is of type ConcreteTypeRegistration
Можно ли каким-либо образом обмануть компилятор для совершения этого прыжка для меня?
Если я добавлю два аргумента типа generic в метод Parameter
, вывод типа заставляет меня либо предоставлять оба, либо none, что означает это:
public static TReg Parameter<TReg, T>(
this TReg p, string name, T value)
where TReg : ParameterizedRegistrationBase
дает мне следующее:
Using the generic method 'ConsoleApplication16.Extensions.Parameter<TReg,T>(TReg, string, T)' requires 2 type arguments
Using the generic method 'ConsoleApplication16.Extensions.Parameter<TReg,T>(TReg, string, T)' requires 2 type arguments
Это так же плохо.
Я могу легко реструктурировать классы или даже сделать методы не-расширения-методы, введя их в иерархию, но мой вопрос в том, можно ли избежать дублирования методов для двух потомков и каким-то образом объявить их только один раз, для базового класса.
Позвольте мне перефразировать это. Есть ли способ изменить классы в первом примере кода выше, чтобы можно было сохранить синтаксис в Main-методе без дублирования рассматриваемых методов?
Код должен быть совместим как с С# 3.0, так и с 4.0.
Изменить. Причина, по которой я не хочу оставлять аргументы общего типа для вывода, заключается в том, что для некоторых служб я хочу указать значение параметра для параметра конструктора, имеющего один тип, но передать значение, являющееся потомком. На данный момент сопоставление заданных значений аргументов и правильного конструктора для вызова выполняется с использованием имени и типа аргумента.
Позвольте мне привести пример:
ServiceContainerBuilder.Register<ISomeService>(r => r
.From(f => f.ConcreteType<FileService>(ct => ct
.Parameter<Stream>("source", new FileStream(...)))));
^--+---^ ^---+----^
| |
| +- has to be a descendant of Stream
|
+- has to match constructor of FileService
Если я оставлю оба для ввода вывода, тип параметра будет FileStream
, а не Stream
.