ploeh blog danish software design
Don't call the container; it'll call you
There still seems to be some confusion about what is Dependency Injection (DI) and what is a DI Container, so in this post I will try to sort it out as explicitly as possible.
DI is a set of principles and patterns that enable loose coupling.
That's it; nothing else. Remember that old quote from p. 18 of Design Patterns?
Program to an interface; not an implementation.
This is the concern that DI addresses. The most useful DI pattern is Constructor Injection where we inject dependencies into consumers via their constructors. No container is required to do this.
The easiest way to build a DI-friendly application is to just use Constructor Injection all the way. Conversely, an application does not automatically become loosely coupled when we use a DI Container. Every time application code queries a container we have an instance of the Service Locator anti-pattern. The corollary leads to this variation of the Hollywood Principle:
Don't call the container; it'll call you.
A DI Container is a fantastic tool. It's like a (motorized) mixer: you can whip cream by hand, but it's easier with a mixer. On the other hand, without the cream the mixer is nothing. The same is true for a DI Container: to really be valuable, your code must employ Constructor Injection so that the container can auto-wire dependencies.
A well-designed application adheres to the Hollywood Principle for DI Containers: it doesn't call the container. On the other hand, we can use the container to compose the application - or we can do it the hard way; this is called Poor Man's DI. Here's an example that uses Poor Man's DI to compose a complete application graph in a console application:
private static void Main(string[] args) { var msgWriter = new ConsoleMessageWriter(); new CoalescingParserSelector( new IParser[] { new HelpParser(msgWriter), new WineInformationParser( new SqlWineRepository(), msgWriter) }) .Parse(args) .CreateCommand() .Execute(); }
Notice how the nested structure of all the dependencies gives you an almost visual idea about the graph. What we have here is Constructor Injection all the way in.
CoalescingParserSelector's constructor takes an IEnumerable<IParser> as input. Both HelpParser and WineInformationParser requires an IMessageWriter, and WineInformationParser also an IWineRepository. We even pull in types from different assemblies because SqlWineRepository is defined in the SQL Server-based data access assembly.
Another thing to notice is that the msgWriter variable is shared among two consumers. This is what a DI Container normally addresses with its ability to manage component lifetime. Although there's not a DI Container in sight, we could certainly benefit from one. Let's try to wire up the same graph using Unity (just for kicks):
private static void Main(string[] args) { var container = new UnityContainer(); container.RegisterType<IParser, WineInformationParser>("parser.info"); container.RegisterType<IParser, HelpParser>("parser.help"); container.RegisterType<IEnumerable<IParser>, IParser[]>(); container.RegisterType<IParseService, CoalescingParserSelector>(); container.RegisterType<IWineRepository, SqlWineRepository>(); container.RegisterType<IMessageWriter, ConsoleMessageWriter>( new ContainerControlledLifetimeManager()); container.Resolve<IParseService>() .Parse(args) .CreateCommand() .Execute(); container.Dispose(); }
We are using Constructor Injection throughout, and most DI Containers (even Unity, but not MEF) natively understands that pattern. Consequently, this means that we can mostly just map interfaces to concrete types and the container will figure out the rest for us.
Notice that I'm using the Configure-Resolve-Release pattern described by Krzysztof Koźmic. First I configure the container, then I resolve the entire object graph, and lastly I dispose the container.
The main part of the application's execution time will be spent within the Execute method, which is where all the real application code runs.
In this example I wire up a console application, but it just as well might be any other type of application. In a web application we just do a resolve per web request instead.
But wait! does that mean that we have to resolve the entire object graph of the application, even if we have dependencies that cannot be resolved at run-time? No, but that does not mean that you should pull from the container. Pull from an Abstract Factory instead.
Another question that is likely to arise is: what if I have dependencies that I rarely use? Must I wire these prematurely, even if they are expensive? No, you don't have to do that either.
In conclusion: there is never any reason to query the container. Use a container to compose your object graph, but don't rely on it by querying from it. Constructor Injection all the way enables most containers to auto-wire your application, and an Abstract Factory can be a dependency too.
Changing the behavior of AutoFixture auto-mocking with Moq
One of my Twitter followers who appears to be using AutoFixture recently asked me this:
So with the AutoMoqCustomization I feel like I should get Mocks with concrete types too (except the sut) - why am I wrong?
AutoFixture's extention for auto-mocking with Moq was never meant as a general modification of behavior. Customizations extend the behavior of AutoFixture; they don't change it. There's a subtle difference. In any case, the auto-mocking customization was always meant as a fallback mechanism that would create Mocks for interfaces and abstract types because AutoFixture doesn't know how to deal with those.
Apparently @ZeroBugBounce also want concrete classes to be issued as Mock instances, which is not quite the same thing; AutoFixture already has a strategy for that (it's called ConstructorInvoker).
Nevertheless I decided to spike a little on this to see if I could get it working. It turns out I needed to open some of the auto-mocking classes a bit for extensibility (always a good thing), so the following doesn't work with AutoFixture 2.0 beta 1, but will probably work with the RTW. Also please not that I'm reporting on a spike; I haven't thoroughly tested all edge cases.
That said, the first thing we need to do is to remove AutoFixture's default ConstructorInvoker that invokes the constructor of concrete classes. This is possible with this constructor overload:
public Fixture(DefaultRelays engineParts)
This takes as input a DefaultRelays instance, which is more or less just an IEnumerable<ISpecimenBuilder> (the basic building block of AutoFixture). We need to replace that with a filter that removes the ConstructorInvoker. Here's a derived class that does that:
public class FilteringRelays : DefaultEngineParts { private readonly Func<ISpecimenBuilder, bool> spec; public FilteringRelays(Func<ISpecimenBuilder, bool> specification) { if (specification == null) { throw new ArgumentNullException("specification"); } this.spec = specification; } public override IEnumerator<ISpecimenBuilder> GetEnumerator() { var enumerator = base.GetEnumerator(); while (enumerator.MoveNext()) { if (this.spec(enumerator.Current)) { yield return enumerator.Current; } } } }
DefaultEngineParts already derive from DefaultRelays, so this enables us to use the overloaded constructor to remove the ConstructorInvoker by using these filtered relays:
Func<ISpecimenBuilder, bool> concreteFilter = sb => !(sb is ConstructorInvoker); var relays = new FilteringRelays(concreteFilter);
The second thing we need to do is to tell the AutoMoqCustomization that it should Mock all types, not just interfaces and abstract classes. With the new (not in beta 1) overload of the constructor, we can now supply a Specification that determines which types should be mocked.:
Func<Type, bool> mockSpec = t => true;
We can now create the Fixture like this to get auto-mocking of all types:
var fixture = new Fixture(relays).Customize( new AutoMoqCustomization(new MockRelay(mockSpec)));
With this Fixture instance, we can now create concrete classes that are mocked. Here's the full test that proves it:
[Fact] public void CreateAnonymousMockOfConcreteType() { // Fixture setup Func<ISpecimenBuilder, bool> concreteFilter = sb => !(sb is ConstructorInvoker); var relays = new FilteringRelays(concreteFilter); Func<Type, bool> mockSpec = t => true; var fixture = new Fixture(relays).Customize( new AutoMoqCustomization(new MockRelay(mockSpec))); // Exercise system var foo = fixture.CreateAnonymous<Foo>(); foo.DoIt(); // Verify outcome var fooTD = Mock.Get(foo); fooTD.Verify(f => f.DoIt()); // Teardown }
Foo is this concrete class:
public class Foo { public virtual void DoIt() { } }
Finally, a word of caution: this is a spike. It's not fully tested and is bound to fail in certain cases: at least one case is when the type to be created is sealed. Since Moq can't create a Mock of a sealed type, the above code will fail in that case. However, we can address this issue with some more sophisticated filters and Specifications. However, I will leave that up to the interested reader (or a later blog post).
All in all I think this provides an excellent glimpse of the degree of extensibility that is built into AutoFixture 2.0's kernel.
AutoFixture as an auto-mocking container
The new internal architecture of AutoFixture 2.0 enables some interesting features. One of these is that it becomes easy to extend AutoFixture to become an auto-mocking container.
Since I personally use Moq, the AutoFixture 2.0 .zip file includes a new assembly called Ploeh.AutoFixture.AutoMoq that includes an auto-mocking extension that uses Moq for Test Doubles.
Please note that AutoFixture in itself has no dependency on Moq. If you don't want to use Moq, you can just ignore the Ploeh.AutoFixture.AutoMoq assembly.
Auto-mocking with AutoFixture does not have to use Moq. Although it only ships with Moq support, it is possible to write an auto-mocking extension for a different dynamic mock library.
To use it, you must first add a reference to Ploeh.AutoFixture.AutoMoq. You can now create your Fixture instance like this:
var fixture = new Fixture() .Customize(new AutoMoqCustomization());
What this does is that it adds a fallback mechanism to the fixture. If a type falls through the normal engine without being handled, the auto-mocking extension will check whether it is a request for an interface or abstract class. If this is so, it will relay the request to a request for a Mock of the same type.
A different part of the extension handles requests for Mocks, which ensures that the Mock will be created and returned.
Splitting up auto-mocking into a relay and a creational strategy for Mock objects proper also means that we can directly request a Mock if we would like that. Even better, we can use the built-in Freeze support to freeze a Mock, and it will also automatically freeze the auto-mocked instance as well (because the relay will ask for a Mock that turns out to be frozen).
Returning to the original frozen pizza example, we can now rewrite it like this:
[Fact] public void AddWillPipeMapCorrectly() { // Fixture setup var fixture = new Fixture() .Customize(new AutoMoqCustomization()); var basket = fixture.Freeze<Basket>(); var mapMock = fixture.Freeze<Mock<IPizzaMap>>(); var pizza = fixture.CreateAnonymous<PizzaPresenter>(); var sut = fixture.CreateAnonymous<BasketPresenter>(); // Exercise system sut.Add(pizza); // Verify outcome mapMock.Verify(m => m.Pipe(pizza, basket.Add)); // Teardown }
Notice that we can simply freeze Mock<IPizzaMap> which also automatically freeze the IPizzaMap instance as well. When we later create the SUT by requesting an anonymous BasketPresenter, IPizzaMap is already frozen in the fixture, so the correct instance will be injected into the SUT.
This is similar to the behavior of the custom FreezeMoq extension method I previously described, but now this feature is baked in.
Comments
Mock<IFoo> mockFoo = _container.GetMock<IFoo>();
It appears that both AutoFixture and UnityAutoMocker can be used in a similar fashion. Though it appears that AutoFixture has a broader feature set (the ability to create anonymous value types.) Whereas, one can create anonymous reference types by simply asking theUnityAutoMockContainer to resolve the interface or concrete type.
I have only been using UnityAutoMockContainer for a week or two. So when I stumbled upon your most excellent book Dependency Injection in .Net, I discovered AutoFixture and was considering whether to use it instead. I welcome your perspective. By the way, that book on DI you are writing is great! Nice work.
Thanks for writing.
As a disclaimer I should add that I have no experience with UnityAutoMockContainer, but that I'm quite familiar with Unity itself, as well as the general concept of an auto-mocking container, which (IIRC) is something that predates Unity. At the very least there are many auto-mocking containers available, and you can often easily extend an existing DI Container to add auto-mocking capabilities (see e.g. this simplified example).
This is more or less also the case with AutoFixture. It started out as something completely different (namely as a Test Data Builder) and then evolved. At a time it became natural to also add auto-mocking capabilities to it.
You could say that the same is the case with Unity: it's a DI Container and was never envisioned as an auto-mocking container. However, since Unity is extensible, it is possible to add auto-mocking to it as well (just as the Autofac example above).
This means that UnityAutoMockContainer and AutoFixture approach the concept of auto-mocking from two different directions. I can't really compare their auto-mocking capabilities as I don't know UnityAutoMockContainer well enough, but I can offer this on a more general level:
AutoFixture shares a lot of similarities with DI Containers (Unity included). It supports auto-wiring and it can be configured to create instances in lots of interesting ways. However, since the focus is different, it does some things better and some things not as well as a DI Container.
AutoFixture has more appropriate handling of primitive types. Normally a DI Container is not going to serve you a sequence of unique strings or numbers, whereas AutoFixture does. This was really the original idea that started it all.
Most DI Containers are not going to try to populate writable properties, but AutoFixture does.
AutoFixture also has a more granular concept of what constitutes a request. For all DI Containers I know, a request to resolve something is always based on a Type. AutoFixture, on the other hand, enable us to make arbitrary requests, which means that we can treat a request for a ParameterInfo differently than a request for a PropertyInfo (or a Type) even if they share the same Type. This sometimes comes in handy.
On the other hand AutoFixture is weaker when it comes to lifetime management. A Fixture is never expected to exist for more than a single test case, so it makes no sense to model any other lifestyle than Transient and Singleton. AutoFixture can do that, but nothing more. It has no Seam for implementing custom lifestyles and it does not offer Per Thread or Per HttpRequest lifestyles. It doesn't have to, because it's not a DI Container.
In short I prefer AutoFixture for TDD because it's a more focused tool than any DI Container. On the other hand it means that there's one more new API to learn, although that's not an issue for me personally :)
I just started to play with AutoFixture and its auto-mocking support. As far as I can see, the auto-mocking extensions return mocks without functionality, especially, without any data in the properties.
Example:
var anonymousParent = fixture.CreateAnonymous<ComplexParent>();
This example from the cheat sheet would return a filled fixture:
ComplexParent:
-Child: ComplexChild
--Name: string: "namef70b67ff-05d3-4498-95c9-de74e1aa0c3c"
--Number: int: 1
When using the AutoMoqCustomization with an interface IComplexParent with one property Child: ComplexChild, the result is strange:
1) Child is of type ComplexChildProxySomeGuid, i.e. it is mocked, although it is a concrete class
2) Child.Number is 0
3) Child.Name is null
I think this is inconsistent. Is it a bug or intentional? If it is intentional, could you please explain?
Thanks,
Daniel
This is, in my opinion, the correct design choice made by the Moq designers: an interface specifies only the shape of members - not behavior.
However, with Moq, you can turn on 'normal' property behavior by invoking the SetupAllProperties on the Mock instance. The AutoMoqCustomization doesn't do that, but it's certainly possible to use the underlying types used to implement it to compose a different AutoMoqCustomization that also invokes SetupAllProperties.
In any case, this is only half of the solution, because it would only enable the Mock instance to get 'normal' property behavior. The other half would then be to make the AutoMoqCustomization automatically fill those properties. This is possible by wrapping the ISpecimenBuilder instance responsible for creating the actual interface instance in a PostProcessor. The following discussions may shed a little more light on these matters: Default Greedy constructor behavior breaks filling and Filling sub properties.
In short, I don't consider it a bug, but I do respect that other people may want different base behavior than I find appropriate. It's definitely possible to tweak AutoFixture to do what you want it to do, but perhaps a bit more involved than it ought to be. AutoFixture 3.0 should streamline the customization API somewhat, I hope.
As a side note, I consider properties in interfaces a design smell, so that's probably also why I've never had any issues with the current behavior.
Please see the fork I created: https://hg01.codeplex.com/forks/dhilgarth/autonsubstitute.
If you are interested, I can send a pull request.
That's why I implemented it that way in AutoNSubstitute.
BTW, AutoMoq is in itself inconsistent: As I wrote in my original question, the property Child is not null but it contains a mock of ComplexChild. I understand your reasons for saying the properties should be null if a mock is returned, but then it should apply consistently to all properties.
Maybe it is a good idea to let the user of the customization choose what behavior he wants?
As I mentioned, it's not something I've ever given a great deal of thought because I almost never define properties on interfaces, but I agree that it might be more consistent, so I've created a work item for it - you could go and vote for it if you'd like :)
Regarding your observation about the Child property, that's once more the behavior we get from Moq... The current implementation of AutoMoq basically just hands all mocking concerns off to Moq and doesn't deal with them any further.
Regarding your fork for NSubstitute I only had a brief look at it, but please do send a pull request - then we'll take it from there :)
Thank you for your interest.
AutoFixture 2.0 beta 1
It gives me great pleasure to announce that AutoFixture 2.0 beta 1 is now available for download. Compared to version 1.1 AutoFixture 2.0 is implemented using a new and much more open and extensible engine that enables many interesting scenarios.
Despite the new engine and the vastly increased potential, the focus on version 2.0 has been to ensure that the current, known feature set was preserved.
What's new? #
While AutoFixture 2.0 introduces new features, this release is first and foremost an upgrade to a completely new internal architecture, so the number of new releases is limited. Never the less, the following new features are available in version 2.0:
- Support for enums
- Full support of arrays
- Optional tracing
- Improved extensibility
- Optional auto-mocking with Moq (implemented as a separate, optional assembly)
- Optional extensions for xUnit.net (implemented as a separate, optional assembly)
There are still open feature requests for AutoFixture, so now that the new engine is in place I can again focus on implementing some of the features that were too difficult to address with the old engine.
Breaking changes #
Version 2.0 introduces some breaking changes, although the fundamental API remains recognizable.
- A lot of the original methods on Fixture are now extension methods on IFixture (a new interface). The methods include CreateAnonymous<T>, CreateMany<T> and many others, so you will need to include a using directive for Ploeh.AutoFixture to compile the unit test code.
- CreateMany<T> still returns IEnumerable<T>, but the return value is much more consistently deferred. This means that in almost all cases you should instantly stabilize the sequence by converting it to a List<T>, an array or similar.
- Several methods are now deprecated in favor of new methods with better names.
A few methods were also removed, but only those that were already deprecated in version 1.1.
Roadmap #
The general availability of beta 1 of AutoFixture 2.0 marks the beginning of a trial period. If no new issues are reported within the next few weeks, a final version 2.0 will be released. If too many issues are reported, a new beta version may be necessary.
Please report any issues you find.
After the release of the final version 2.0 my plan is currently to focus on the Idioms project, although there are many other new features that might warrant my attention.
Blog posts about the new features will also follow soon.
Comments
P.s. Just don't read it wrong - I didn't say it's useless. Problem is with me. :)
For a more elaborate answer, you may want to read this, this and this. Also: stay tuned for more content.
StructureMap PerRequest vs. Unique lifetimes
StructureMap offers several different lifetimes, among these two known as PerRequest and Unique respectively. Recently I found myself wondering what was the difference between those two, but a little help from Jeremy Miller put me on the right track.
In short, Unique is equivalent to what Castle Windsor calls Transient: every time an instance of a type is needed, a new instance is created. Even if we need the same service multiple times in the same resolved graph, multiple instances are created.
PerRequest, on the other hand, is a bit special. Each type can be viewed as a Singleton within a single call to GetInstance, but as Transient across different invocations of GetInstance. In other words, the same instance will be shared within a resolved object graph, but if we resolve the same root type once more, we will get a new shared instance - a Singleton local to that graph.
Here are some unit tests I wrote to verify this behavior (recall that PerRequest is StructureMap's default lifestyle):
[Fact] public void ResolveServicesWithSameUniqueDependency() { var container = new Container(); container.Configure(x => { var unique = new UniquePerRequestLifecycle(); x.For<IIngredient>().LifecycleIs(unique) .Use<Shrimp>(); x.For<OliveOil>().LifecycleIs(unique); x.For<EggYolk>().LifecycleIs(unique); x.For<Vinegar>().LifecycleIs(unique); x.For<IIngredient>().LifecycleIs(unique) .Use<Vinaigrette>(); x.For<IIngredient>().LifecycleIs(unique) .Use<Mayonnaise>(); x.For<Course>().LifecycleIs(unique); }); var c1 = container.GetInstance<Course>(); var c2 = container.GetInstance<Course>(); Assert.NotSame( c1.Ingredients.OfType<Vinaigrette>().Single().Oil, c1.Ingredients.OfType<Mayonnaise>().Single().Oil); Assert.NotSame( c2.Ingredients.OfType<Vinaigrette>().Single().Oil, c2.Ingredients.OfType<Mayonnaise>().Single().Oil); Assert.NotSame( c1.Ingredients.OfType<Vinaigrette>().Single().Oil, c2.Ingredients.OfType<Vinaigrette>().Single().Oil); } [Fact] public void ResolveServicesWithSamePerRequestDependency() { var container = new Container(); container.Configure(x => { x.For<IIngredient>().Use<Shrimp>(); x.For<OliveOil>(); x.For<EggYolk>(); x.For<Vinegar>(); x.For<IIngredient>().Use<Vinaigrette>(); x.For<IIngredient>().Use<Mayonnaise>(); }); var c1 = container.GetInstance<Course>(); var c2 = container.GetInstance<Course>(); Assert.Same( c1.Ingredients.OfType<Vinaigrette>().Single().Oil, c1.Ingredients.OfType<Mayonnaise>().Single().Oil); Assert.Same( c2.Ingredients.OfType<Vinaigrette>().Single().Oil, c2.Ingredients.OfType<Mayonnaise>().Single().Oil); Assert.NotSame( c1.Ingredients.OfType<Vinaigrette>().Single().Oil, c2.Ingredients.OfType<Vinaigrette>().Single().Oil); }
Notice that in both cases, the OliveOil instances are different across two independently resolved graphs (c1 and c2).
However, within each graph, the same OliveOil instance is shared in the PerRequest configuration, whereas they are different in the Unique configuration.
Comments
Domain Objects and IDataErrorInfo
Occasionally I get a question about whether it is reasonable or advisable to let domain objects implement IDataErrorInfo. In summary, my answer is that it's not so much a question about whether it's a leaky abstraction or not, but rather whether it makes sense at all. To me, it doesn't.
Let us first consider the essence of the concept underlying IDataErrorInfo: It provides information about the validity of an object. More specifically, it provides error information when an object is in an invalid state.
This is really the crux of the matter. Domain Objects should be designed so that they cannot be put into invalid states. They should guarantee their invariants.
Let us return to the good old DanishPhoneNumber example. Instead of accepting or representing a Danish phone number as a string or integer, we model it as a Value Object that encapsulates the appropriate domain logic.
More specifically, the class' constructor guarantees that you can't create an invalid instance:
private readonly int number; public DanishPhoneNumber(int number) { if ((number < 112) || (number > 99999999)) { throw new ArgumentOutOfRangeException("number"); } this.number = number; }
Notice that the Guard Clause guarantees that you can't create an instance with an invalid number, and the readonly keyword guarantees that you can't change the value afterwards. Immutable types make it easier to protect a type's invariants, but it is also possible with mutable types - you just need to place proper Guards in public setters and other mutators, as well as in the constructor.
In any case, whenever a Domain Object guarantees its invariants according to the correct domain logic it makes no sense for it to implement IDataErrorInfo; if it did, the implementation would be trivial, because there would never be an error to report.
Does this mean that IDataErrorInfo is a redundant interface? Not at all, but it is important to realize that it's an Application Boundary concern instead of a Domain concern. At Application Boundaries, data entry errors will happen, and we must be able to cope with them appropriately; we don't want the application to crash by passing unvalidated data to DanishPhoneNumber's constructor.
Does this mean that we should duplicate domain logic at the Application Boundary? That should not be necessary. At first, we can apply a simple refactoring to the DanishPhoneNumber constructor:
public DanishPhoneNumber(int number) { if (!DanishPhoneNumber.IsValid(number)) { throw new ArgumentOutOfRangeException("number"); } this.number = number; } public static bool IsValid(int number) { return (112 <= number) && (number <= 99999999); }
We now have a public IsValid method we can use to implement an IDataErrorInfo at the Application Boundary. Next steps might be to add a TryParse method.
IDataErrorInfo implementations are often related to input forms in user interfaces. Instead of crashing the application or closing the form, we want to provide appropriate error messages to the user. We can use the Domain Object to provide validation logic, but the concern is completely different: we want the form to stay open until valid data has been entered. Not until all data is valid do we allow the creation of a Domain Object from that data.
In short, if you feel tempted to add IDataErrorInfo to a Domain Class, consider whether you aren't about to violate the Single Responsibility Principle. In my opinion, this is the case, and you would be better off reconsidering the design.
Comments
Too often i see domain objects implementing a lot of validation code. I think that most of validation logic must be out of domain objects.
DanishPhoneNumber value can't be less than 112. In reality we are modeling - such a phone number just does not exist. So it makes sense to disallow existence of such an object and throw an error immediately.
But there might be cases when domain contains temporary domain object invalidity from specific viewpoint/s.
Consider good old cargo shipment domain from Blue book. Shipment object is invalid and shouldn't be shipped if there's no cargo to ship and yet such a shipment can exist because it's planned out gradually. In these kind of situations - it might make sense to use IDataErrorInfo interface.
We must keep in mind that we are not modeling the real world, but rather the business logic that addresses the real world. In your example, that would be represented by a proper domain object that models that a shipment is still in the planning stage. Let's call this object PlannedShipment.
According to the domain model, PlannedShipment has its own invariants that it must protect, and the point still remains: PlannedShipment itself cannot be in an invalid state. However, PlannedShipment can't be shipped because it has not yet been promoted to a 'proper' Shipment. Such an API is safer because it makes it impossible to introduce errors of the kind where the code attempts to ship an invalid Shipment.
Thanks
A Value Object benefits very much from being immutable, so I always design them that way, but that doesn't mean that I make Entities immutable as well. I usually don't, although I'm sometimes toying with that idea.
In any case, if you have more than 4 or 5 fields in a class (no matter if you fill them through a constructor or via property setters), you most likely have a new class somewhere in there waiting to be set free. Clean Code makes a pretty good case of this. Once again, too many primitives in an Entity is a smell that the Single Responsibility Principle is violated.
With your phone number example in mind, the validation should imho never be encapsulated in the domain object, but belong to a separate validation. When you put validation inside the constructor you will eventually break the Open/closed principle. Of course we have to validate for null input if they will break the functionality, but I would never integrate range check etc. into the class it self.
However, consumers of those Value Objects need not be. While I didn't show it, DanishPhoneNumber could implement IPhoneNumber and all clients consume the interface. That would make DanishPhoneNumber a leaf of a composition while still keeping the architecture open for extensibility.
The point is to define each type so that their states are always consistent. Note that for input gatherers, invalid data is considered consistent in the scope of input gathering. That's where IDataErrorInfo makes sense :)
Second thing I wanted to emphasize is about Your sentence of making sense - we should focus on technology we are using not only to be able to express ourselves, but to be aware (!) of how we are doing it and be able to adjust that.
Patterns, OOP, .NET, POCO and whatnot are tools only. IDataErrorInfo is a tool too. Therefore - if it feels natural to use it to express our domain model (while it's suboptimal cause of arguments You mentioned), there is nothing wrong with using it per se. An agreement that our domain model objects (in contrast to reality) can be invalid if it simplifies things greatly (think ActiveRecord) is a tool too.
To me, internal consistency and the SRP is so important that I would feel more comfortable having IDataErrorInfo outside of domain objects, but there are no absolutes :)
Introducing AutoFixture Likeness
The last time I presented a sample of an AutoFixture-based unit test, I purposely glossed over the state-based verification that asserted that the resulting state of the basket variable was that the appropriate Pizza was added:
Assert.IsTrue(basket.Pizze.Any(p => p.Name == pizza.Name), "Basket has added pizza.");
The main issue with this assertion is that the implied equality expression is rather weak: we consider a PizzaPresenter instance to be equal to a Pizza instance if their Name properties match.
What if they have other properties (like Size) that don't match? If this is the case, the test would be a false negative. A match would be found in the Pizze collection, but the instances would not truly represent the same pizza.
How do we resolve this conundrum without introducing equality pollution? AutoFixture offers one option in the form of the generic Likeness<TSource, TDestination> class. This class offers convention-based test-specific equality mapping from TSource to TDestination and overriding the Equals method.
One of the ways we can use it is by a convenience extension method. This unit test is a refactoring of the test from the previous post, but now using Likeness:
[TestMethod] public void AddWillAddToBasket_Likeness() { // Fixture setup var fixture = new Fixture(); fixture.Register<IPizzaMap, PizzaMap>(); var basket = fixture.Freeze<Basket>(); var pizza = fixture.CreateAnonymous<PizzaPresenter>(); var expectedPizza = pizza.AsSource().OfLikeness<Pizza>(); var sut = fixture.CreateAnonymous<BasketPresenter>(); // Exercise system sut.Add(pizza); // Verify outcome Assert.IsTrue(basket.Pizze.Any(expectedPizza.Equals)); // Teardown }
Notice how the Likeness instance is created with the AsSource() extension method. The pizza instance (of type PizzaPresenter) is the source of the Likeness, whereas the Pizza domain model type is the destination. The expectedPizza instance is of type Likeness<PizzaPresenter, Pizza>.
The Likeness class overrides Equals with a convention-based comparison: if two properties have the same name and type, they are equal if their values are equal. All public properties on the destination must have equal properties on the source.
This allows me to specify the Equals method as the predicate for the Any method in the assertion:
Assert.IsTrue(basket.Pizze.Any(expectedPizza.Equals));
When the Any method evalues the Pizze collection, it executes the Equals method on Likeness, resulting in a convention-based comparison of all public properties and fields on the two instances.
It's possible to customize the comparison to override the behavior for certain properties, but I will leave that to later posts. This post only scratches the surface of what Likeness can do.
To use Likeness, you must add a reference to the Ploeh.SemanticComparison assembly. You can create a new instance using the public constructor, but to use the AsSource extension method, you will need to add a using directive:
using Ploeh.SemanticComparison.Fluent;
Comments
In your example, you are only comparing one property and I know that you can test many properties as well.
Now it is my understanding that given many properties if any property doesn't match, then you'll get a test failure. My question is how to output a message pinpointing which property is causing the test to fail.
On another note, maybe you could ask Adam Ralph how he's integrated the comment section on his blog, which I believe is using the same platform as you are. http://adamralph.com/2013/01/09/blog-post-excerpts-a-new-solution/
David, if you want to get more detailed feedback on which properties don't match, you can use expected.ShouldEqual(actual);
Upcoming talks spring 2010
In the next couple of weeks I will be giving a couple of talks in Copenhagen.
At Community Day 2010 I will be giving two talks on respectively Dependency Injection and TDD.
In early June I will be giving a repeat of my previous CNUG TDD talk.
Sneak view at Castle's WCF Facility
One of Castle Windsor's facilities addresses wiring up of WCF services. So far, the sparse documentation for the WCF Facility seems to indicate that you have to configure your container in a global.asax. That's not much to my liking. First of all, it reeks of ASP.NET, and secondly, it's not going to work if you expose WCF over protocols other than HTTP.
However, now that we know that a custom ServiceHostFactory is effectively a Singleton, a much better alternative is to derive from the WCF Facility's DefaultServiceHost class:
public class FooServiceHostFactory : DefaultServiceHostFactory { public FooServiceHostFactory() : base(FooServiceHostFactory.CreateKernel()) { } private static IKernel CreateKernel() { var container = new WindsorContainer(); container.AddFacility<WcfFacility>(); container.Register(Component .For<FooService>() .LifeStyle.Transient); container.Register(Component .For<IBar>() .ImplementedBy<Bar>()); return container.Kernel; } }
Although it feels a little odd to create a container and then not really use it, but only its Kernel property, this works like a charm. It correctly wires up this FooService:
public class FooService : IFooService { private readonly IBar bar; public FooService(IBar bar) { if (bar == null) { throw new ArgumentNullException("bar"); } this.bar = bar; } #region IFooService Members public string Foo() { return this.bar.Baz; } #endregion }
However, instead of the static CreateKernel method that creates the IKernel instance, I suggest that the WCF Facility utilizes the Factory Method pattern. As the WCF Facility has not yet been released, perhaps there's still time for that change.
In any case, the WCF Facility saves you from writing a lot of infrastructure code if you would like to wire your WCF services with Castle Windsor.
Comments
<installers>
<install assembly="Ploeh.AssemblyContainingWindsorInstallers"/>
</ installers>
See http://stw.castleproject.org/Windsor.Registering-Installers.ashx
Alternatively you could override protected IWindsorInstaller GetInstallers(); method and configure the container entirely in code.
Thoughts?
For the edge cases where adding an Installer isn't enough, I'd still prefer a Factory Method hook in DefaultServiceHostFactory, but being able to specify an Installer in web.config will likely address 90 percent (or more) of scenarios.
Looks good!
If you use Facility's default SH Factory it will look into your web.config for informations about how to configure itself.
ALternativelty you can provide your own subclass of the SH Factory, override its protected IWindsorInstaller[] GetInstallers(); method and then you'll be able to configure the container without using config file.
Don't get me wrong on the Factory Method thing. I don't expect to need it often (if at all), but I just think it would be a good OCP thing to do... Off the top of my head, I can't remember whether there are things you can do to a container that you can't do from an Installer. Maybe there aren't...
I do intend to leave the door open with factory method for people who can't use xml even if it's so minimal (or feel sick when even thinking about xml), but as you said - there really isn't anything you couldn't do from installer so I imagine it would be for emergency cases only.
ServiceHostFactory lifetime
For a while I've been wondering about the lifetime behavior of custom ServiceHostFactory classes hosted in IIS. Does IIS create an instance per request? Or a single instance to handle all requests?
I decided to find out, so I wrote a little test service. The conclusion seems to be that there is only a single instance that servers as a factory for all requests. This is very fortunate, since it gives us an excellent place to host a DI Container. The container can then manage the lifetime of all components, including Singletons that will live for the duration of the process.
If you are curious how I arrived at this conclusion, here's the code I wrote. I started out with this custom ServiceHostFactory:
public class PocServiceHostFactory : ServiceHostFactory { private static int number = 1; public PocServiceHostFactory() { Interlocked.Increment( ref PocServiceHostFactory.number); } protected override ServiceHost CreateServiceHost( Type serviceType, Uri[] baseAddresses) { return new PocServiceHost( PocServiceHostFactory.number, serviceType, baseAddresses); } }
The idea is that every time a new instance of ServiceHostFactory is created, the static number is incremented.
The PocServiceHostFactory just forwards the number to the PocServiceHost:
public class PocServiceHost : ServiceHost { public PocServiceHost(int number, Type serviceType, Uri[] baseAddresses) : base(serviceType, baseAddresses) { foreach (var cd in this.ImplementedContracts.Values) { cd.Behaviors.Add( new NumberServiceInstanceProvider( number)); } } }
The PocServiceHost just forwards the number to the NumberServiceInstanceProvider:
public class NumberServiceInstanceProvider : IInstanceProvider, IContractBehavior { private readonly int number; public NumberServiceInstanceProvider(int number) { this.number = number; } #region IInstanceProvider Members public object GetInstance( InstanceContext instanceContext, Message message) { return this.GetInstance(instanceContext); } public object GetInstance( InstanceContext instanceContext) { return new NumberService(this.number); } public void ReleaseInstance( InstanceContext instanceContext, object instance) { } #endregion #region IContractBehavior Members public void AddBindingParameters( ContractDescription contractDescription, ServiceEndpoint endpoint, BindingParameterCollection bindingParameters) { } public void ApplyClientBehavior( ContractDescription contractDescription, ServiceEndpoint endpoint, ClientRuntime clientRuntime) { } public void ApplyDispatchBehavior( ContractDescription contractDescription, ServiceEndpoint endpoint, DispatchRuntime dispatchRuntime) { dispatchRuntime.InstanceProvider = this; } public void Validate( ContractDescription contractDescription, ServiceEndpoint endpoint) { } #endregion }
The relevant part of NumberServiceInstanceProvider is the GetInstanceMethod that simply forwards the number to the NumberService:
public class NumberService : INumberService { private readonly int number; public NumberService(int number) { this.number = number; } #region INumberService Members public int GetNumber() { return this.number; } #endregion }
As you can see, NumberService simply returns the injected number.
The experiment is now to host NumberService in IIS using PocServiceHostFactory. If there is only one ServiceHostFactory per application process, we would expect that the same number (2) is returned every time we invoke the GetNumber operation. If, on the other hand, a new instance of ServiceHostFactory is created per request, we would expect the number to increase for every request.
To test this I spun up a few instances of WcfTestClient.exe and invoked the operation. It consistently returns 2 across multiple clients and multiple requests. This supports the hypothesis that there is only one ServiceHostFactory per service process.
Comments
http://containerservicehost.codeplex.com/documentation
Comments
Having special constructors all over the code makes MEF kind of lame in comparison to .NET NInject or Java's CDI.
I am sure it works just fine, but seems a bit too "Hand's on" when there are a few good options that require less customization on host containers.