Advanced StructureMap: custom registration conventions for partially closed types


A while back, I highlighted an issue we ran into where I had basically partially closed generic types.  A common pattern in message- and command-based architectures is the concept of a handler for a message:

public interface IHandler<TEvent>
{
    void Handle(TEvent args);
}

It’s a pattern with many names, but the basic concept is to separate the execution of a command from the representation of a command.  We use it with our ActionResult objects, command messages and lots of other places where creating a parameter object separate from the method using the parameter object provides a great benefit.  But as we used this pattern more and more, we would start to see duplication around certain types of commands.  For example, we might have a command to delete a customer:

public class DeleteCustomerCommand
{
    public DeleteCustomerCommand(Customer customer)
    {
        Customer = customer;
    }

    public Customer Customer { get; private set; }
}

And the implementation is fairly straightforward:

public class DeleteCustomerCommandHandler : IHandler<DeleteCustomerCommand>
{
    private readonly ICustomerRepository _customerRepository;

    public DeleteCustomerCommandHandler(ICustomerRepository customerRepository)
    {
        _customerRepository = customerRepository;
    }

    public void Handle(DeleteCustomerCommand args)
    {
        _customerRepository.Delete(args.Customer);
    }
}

That’s all fine and dandy, but now I have to create another handler for every. single. entity. type. in. the. world.  That’s duplication I’d like to avoid, especially since it provides absolutely zero value (other than extra code I have to maintain).  Instead, I’d like to define a generalized command:

public class DeleteCommand<TEntity>
{
    public DeleteCommand(TEntity entity)
    {
        Entity = entity;
    }

    public TEntity Entity { get; private set; }
}

Now I only need to define a generic handler for this command:

public class DeleteEntityCommandHandler<TEntity> : IHandler<DeleteEntityCommand<TEntity>>
{
    private readonly IRepository<TEntity> _repository;

    public DeleteEntityCommandHandler(IRepository<TEntity> repository)
    {
        _repository = repository;
    }

    public void Handle(DeleteEntityCommand<TEntity> args)
    {
        _repository.Delete(args.Entity);
    }
}

Up to this point, I’ve shown nothing new that I didn’t already have in that previous open generics post.  The trick now is to hook up the right handler to the right message.  In the last StructureMap post, I showed how to hook up IHandler to the concrete implementation.  But in this case, I don’t have a concrete implementation.  I will request an IHandler<DeleteEntityCommand> or Order or whatever, and I need to wire up a new concrete type, DeleteEntityCommandHandler (or Order or whatever).

Because I have the issue where I don’t know the concrete type until it’s requested, I need to tell my IoC Container of choice (StructureMap) how to handle these requests.

###

Creating a custom registration convention

Quick note on StructureMap – internally, concrete types are matched up to requested types through configuration.  StructureMap does a great job at reducing the amount of configuration through registration conventions, registries and configuration, but I still have to match up every concrete service type to a requested type.  StructureMap (I believe) doesn’t let you wait until a type is requested to find its implementation, it already needs to know it beforehand.

So how does that affect me?  For one, I only have one implementation, but it’s generic.  I could literally have as many closed generic implementations as there are entities in my system, because each will get its own (correct) repository implementation.

The interesting thing about the “ConnectImplementationsToTypesClosing” method I highlighted last time is that this is actually just a helper method to use an existing IRegistrationConvention (previously TypeScanner in 2.5.3 and earlier).  The IRegistrationConvention is a fairly simple interface:

public interface IRegistrationConvention
{
    void Process(Type type, Registry registry);
}

During the scanning process, StructureMap will call any convention I add, passing in the type to check and a Registry object.  If the type seems interesting to me, I’ll register the interface and implementation in the Registry object.  So what do we need to do here?

Basically, we want to look for all subclasses of Entity, and register the delete command handler for that entity type.  To do so, it will require some open generics magic:

public class DeleteCommandRegistrationConvention : IRegistrationConvention
{
    private static readonly Type _openDeleteCommandType = typeof(DeleteEntityCommand<>);
    private static readonly Type _openHandlerInterfaceType = typeof(IHandler<>);
    private static readonly Type _openDeleteCommandHandlerType = typeof(DeleteEntityCommandHandler<>);

    public void Process(Type type, Registry registry)
    {
        if (!type.IsAbstract && typeof(Entity).IsAssignableFrom(type))
        {
            Type closedDeleteCommandType = _openDeleteCommandType.MakeGenericType(type);
            Type closedHandlerInterfaceType = _openHandlerInterfaceType.MakeGenericType(closedDeleteCommandType);
            Type closedDeleteCommandHandlerType = _openDeleteCommandHandlerType.MakeGenericType(type);

            registry.For(closedHandlerInterfaceType).Use(closedDeleteCommandHandlerType);
        }
    }
}

First, I create some static members for all the open generic types I care about.  Notably, the open command type, the open handler interface type, and the open command handler type.  What I want to do is hook up all requests for IHandler<DeleteEntityCommand> to the closed type DeleteEntityCommandHandler.  In the Process method, I look for all non-abstract subclasses of Entity, and close all the open types.  Finally, I instruct StructureMap to wire up the closed interface (IHandler<>) to the closed implementation (DeleteEntityCommandHandler<>).

Hooking up our custom registration convention

In the last article, I hooked up the IHandler implementations.  We’ll need to keep that, but additionally register not only the convention we created, but the repositories we use as part of the concrete handler:

public class HandlerRegistry : Registry
{
    public HandlerRegistry()
    {
        Scan(cfg =>
        {
            cfg.TheCallingAssembly();
            cfg.IncludeNamespaceContainingType<OrderCanceledEvent>();
            cfg.ConnectImplementationsToTypesClosing(typeof(IHandler<>));
            cfg.ConnectImplementationsToTypesClosing(typeof(IRepository<>));
            
            cfg.Convention<DeleteCommandRegistrationConvention>();
            cfg.WithDefaultConventions();
        });
    }
}

To add a convention, I use the “Convention” method and pass in the convention type.  To hook up the repositories, I add both the line to connect implementations for IRepository<>, as well as the “WithDefaultConventions”, which matches up ICustomerRepository to CustomerRepository.  I don’t need that last part for this example, but is almost always included in most of my scanning operations.

With this in place, my test now passes:

[Test]
public void Should_connect_delete_handler()
{
    ObjectFactory.Initialize(init =>
    {
        init.AddRegistry<HandlerRegistry>();
    });

    ObjectFactory.AssertConfigurationIsValid();

    var handler = ObjectFactory.GetInstance<IHandler<DeleteEntityCommand<Customer>>>();

    handler.ShouldBeInstanceOf<DeleteEntityCommandHandler<Customer>>();
}

It’s a lot of angle-bracket tax, but you never actually see this many angle-brackets.  My application will push commands out, and a rather brainless command processor will locate handlers for the command, and execute them.  With StructureMap (and IoC in general), I can start to really reduce duplication when that duplication is around the type varying, by prudent application of generics.  Here, I’m not using generics for type safety, but to reinforce the DRY principle.

With a powerful IoC tool, I don’t have to compromise on my command processing design just because I have complex message/handler shapes.  Instead, the command processor stays simple, and lets my IoC registration encapsulate all of the wiring.

MVC Bootcamp next week