Привет всем!

Есть набор интерфейсов

  public interface IRoot
  {
    IChildA ChildA { get; }
    IChildB ChildB { get; }
  }  
  public interface IChildA
  {
    IGrandChildA GrandChildA { get; }
    IGrandChildB GrandChildB { get; }
  }
  public interface IChildB
  {
    IGrandChildC GrandChildC { get; }
  }
  public interface IGrandChildA
  {
  }
  public interface IGrandChildB
  {
  }
  public interface IGrandChildC
  {
  }

Хочется написать конфигуратор в fluent стиле, который бы хранил ассоциации между интерфейсами, например чтобы это выглядело так

private static void Test()
{
  Configurator.Root<IRoot>()
    .Join( _ => _.ChildA )
    .Join( _ => _.GrandChildA )
    .Up()
    .Join( _ => _.GrandChildB )
    .Up()
    .Up()
    .Join( _ => _.ChildB );
}

Требуется, чтобы вложенность пар Join/Up была произвольной. Сам конфигуратор вот

public static class Configurator
{
  public static IConfigBuilder<T, T> Root<T>()
  {
    return null;
  }
}
public interface IConfigBuilder<P, T>
{
  IConfigBuilder<T, C> Join<C>( Expression<Func<T, C>> expression );
  IConfigBuilder<???, P> Up(); // Откуда взять тип пред- предыдущего узла?
}

Непонятно как запоминать в IConfigBuilder'е типы всех ранее использованных узлов. То есть как объявлять метод Up()? Тут вспоминаются списки типов по Александреску. Мржет можно что-то подобное сделать в дотнете?

Спасибо.

Здравствуйте, SergASh, Вы писали:

SAS>Привет всем!

SAS>Непонятно как запоминать в IConfigBuilder'е типы всех ранее использованных узлов. То есть как объявлять метод Up()? Тут вспоминаются списки типов по Александреску. Мржет можно что-то подобное сделать в дотнете?

так подойдет?

public interface IConfigBuilder<P, T>
{
  IConfigBuilder<IConfigBuilder<P, T>, C> Join<C>( Expression<Func<T, C>> expression );
  P Up();
}

public interface IConfigBuilder<T> : IConfigBuilder<IConfigBuilder<T>, T>
{
}

IConfigBuilder<T> используется как самый "верхний" конфигуратор:

public static class Configurator
{
    public static IConfigBuilder<IConfigBuilder<T>, T> Root<T>()
    {
        return new RootConfigBuilder<T>();
    }
}

class RootConfigBuilder<T> : ConfigBuilder<IConfigBuilder<T>, T>, IConfigBuilder<T>
{
    public RootConfigBuilder()
        : base(() => this)
    {
    }
}

class ConfigBuilder<P, T> : IConfigBuilder<P, T>
{
    private Func<P> parent;

    public ConfigBuilder(Func<P> parent)
    {
        this.parent = parent;
    }

    public IConfigBuilder<IConfigBuilder<P, T>, C> Join<C>(Expression<Func<T, C>> expression)
    {
        return new ConfigBuilder<IConfigBuilder<P, T>, C>(() => this);
    }

    public P Up()
    {
        return this.parent();
    }
}

Здравствуйте, k.o., Вы писали:

KO>так подойдет?

Да, мегаспасибо за идею. Интересовала именно декларация, ее реализовать не проблема.

Кстати, не советйуте, пожалуйста, никому писать base( () => this ). Это естественно не работает, при вызове делегат вернет null.

СПАСИБО!

Здравствуйте, SergASh, Вы писали:

SAS>Кстати, не советйуте, пожалуйста, никому писать base( () => this ). Это естественно не работает, при вызове делегат вернет null.

Если быть точнее, то до вызова не дойдет.

error CS0027: Keyword 'this' is not available in the current context

Здравствуйте, samius, Вы писали:

S>Если быть точнее, то до вызова не дойдет.
S>

S>error CS0027: Keyword 'this' is not available in the current context

Какая версия компилятора? На this в лямбде C# 3 не ругается.

Здравствуйте, SergASh, Вы писали:

SAS>Здравствуйте, k.o., Вы писали:

SAS>Кстати, не советйуте, пожалуйста, никому писать base( () => this ). Это естественно не работает, при вызове делегат вернет null.

Да, это был просто способ побыстрее получить что-то компилирующееся и даже почти работающее

SAS>СПАСИБО!

Здравствуйте, SergASh, Вы писали:

SAS>Здравствуйте, samius, Вы писали:

S>>Если быть точнее, то до вызова не дойдет.
S>>

S>>error CS0027: Keyword 'this' is not available in the current context

SAS>Какая версия компилятора? На this в лямбде C# 3 не ругается.

Нельзя передавать куда либо лямбды с захваченным this до вызова конструктора базового типа.

Здравствуйте, hardcase, Вы писали:

H>Нельзя передавать куда либо лямбды с захваченным this до вызова конструктора базового типа.

Неправильно. Передавать можно и компилятор не возражает, просто это не приводит к ожидаемому результату.

Вот вне лямбды выражение содержать this не может, такое компилятор не пропустит

    class Base2
    {
      public Base2( Derived2 self )
      {
        Self = self;
      }
      public Derived2 Self;
    }
    class Derived2 : Base2
    {
      public Derived2() 
        : base( AnyMethod( this ) )
      { }

      static Derived2 AnyMethod( Derived2 me )
      {
        return me;
      }
    }

Здравствуйте, SergASh, Вы писали:

SAS>Здравствуйте, hardcase, Вы писали:

H>>Нельзя передавать куда либо лямбды с захваченным this до вызова конструктора базового типа.

SAS>Неправильно. Передавать можно и компилятор не возражает, просто это не приводит к ожидаемому результату.
SAS>

Кошмар

Здравствуйте, SergASh, Вы писали:

SAS>Какая версия компилятора? На this в лямбде C# 3 не ругается.

Это был баг в C# 3.0 (такой код не должен компилироваться по спецификации, и он порождал неверифицируемый IL). В C# 4.0 его исправили, теперь это не компилируется.