StronglyTypedId makes creating strongly-typed IDs as easy as adding an attribute! No more accidentally passing arguments in the wrong order to methods - StronglyTypedId uses .NET 6's compile-time incremental source generators to generate the boilerplate required to use strongly-typed IDs.
Simply, install the required package add the [StronglyTypedId]
attribute to a struct
(in the StronglyTypedIds
namespace):
using StronglyTypedIds;
[StronglyTypedId] // <- Add this attribute to auto-generate the rest of the type
public partial struct FooId { }
and the source generator magically generates the backing code when you save the file! Use Go to Definition to see the generated code:
StronglyTypedId requires requires the .NET Core SDK v6.0.100 or greater.
Version 0.x of this library used the helper library CodeGeneration.Roslyn by AArnott, for build-time source generation. In version 1.0.0 this approach has been completely replaced in favour of source generators, as these are explicitly supported in .NET 6+. As part of this change, there were a number of additional features added and breaking changes made.
StronglyTypedIds
namespace is required. In version 0.x of the library, the[StronglyTypedId]
attribute was in the global namespace. In version 1.x, the attribute is in theStronglyTypedIds
namespace, so you must addnamespace StronglyTypedIds;
.- The properties exposed by
StronglyTypedIds
have changed: there is no longer agenerateJsonConverter
property. Instead, this is infered based on theStronglyTypedIdConverters
flags provided. - The
String
backing typed ID will throw if you call the constructor with anull
value
- The attributes can now auto-generate additional converter types such as EF Core
ValueConverter
and DapperTypeHandler
, as described in my blog posts. These are optional flags on theconverters
property. - Made interface implementations (
IEquatable<T>
andIComparable<T>
currently) optional. This is to potentially support additional interfaces in future versions. - Added a
NullableString
backing type. Due to the behaviour ofstruct
s in c#, theString
backing type ID may still be null, but you can't explicitly call the constructor with a null value. In contrast, you can do this with theNullableString
backing type. - Added a
[StronglyTypedIdDefaults]
attribute to set default values for all[StronglyTypedId]
attributes in your project. This is useful if you want to customise all the attributes, for example, if you want to generate additional converters by default. You can still override all the properties of a[StronglyTypedId]
instance.
- Some converters had incorrect implementations, such as in (#24). These have been addressed in version 1.x.
- Better null handling has been added for the
String
backing type, handling issues such as #32. - The code is marked as auto generated, to avoid errors such as #CS1591 as described in #27
- An error deserializing nullable StronglyTypedIds with Newtonsoft.Json #36
To use the the StronglyTypedId NuGet package, install the StronglyTypedId package into your project. Depending on which converters you implement, you may need one or more of the following additional packages
- Newtonsoft.Json (optional, only required if generating a Newtonsoft
JsonConverter
). Note that in some ASP.NET Core apps, you will likely already reference this project via transitive dependencies. - System.Text.Json (optional, only required if generating a System.Text
JsonConverter
). Note that in .NET Core apps, you will likely already reference this project via transitive dependencies. - Dapper (optional, only required if generating a type mapper)
- EF Core (optional, only required if generating an EF Core ValueConverter)
To install the packages, add the references to your csproj file, for example by running
dotnet add package StronglyTypedId --version 1.0.0-beta05
This adds a <PackageReference>
to your project. You can additionally mark the package as PrivateAsets="all"
and ExcludeAssets="runtime"
.
Setting
PrivateAssets="all"
means any projects referencing this one will not also get a reference to the StronglyTypedId package. SettingExcludeAssets="runtime"
ensures the StronglyTypedId.Attributes.dll file is not copied to your build output (it is not required at runtime).
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
</PropertyGroup>
<!-- Add the package -->
<PackageReference Include="StronglyTypedId" Version="1.0.0-beta05" PrivateAssets="all" ExcludeAssets="runtime" />
<!-- -->
</Project>
To create a strongly-typed ID, create a partial struct
with the desired name, and decorate it with the [StronglyTypedId]
attribute, in the StronglyTypedIds
namespace:
using StronglyTypedIds;
[StronglyTypedId] // Add this attribute to auto-generate the rest of the type
public partial struct FooId { }
This generates the "default" strongly-typed ID using a Guid
backing field, a custom TypeConverter
, and a custom JsonConverter
based on Newtonsoft.Json.
You can customise which converters to generate by using flags. For example, to generate a TypeConverter
, a System.Text.JsonConverter
, and an EF Core ValueConverter
, use
using StronglyTypedIds;
[StronglyTypedId(converters: StronglyTypedIdConverter.TypeConverter | StronglyTypedIdConverter.SystemTextJson | StronglyTypedIdConverter.EfCoreValueConverter)]
public partial struct SystemTextJsonConverterId { }
The default strongly-typed ID uses a Guid
backing field:
using StronglyTypedIds;
[StronglyTypedId]
public partial struct FooId { }
var id = new FooId(Guid.NewGuid());
You can choose a different type backing field, by passing a value of the StronglyTypedIdBackingType
enum in the constructor.
using StronglyTypedIds;
[StronglyTypedId(backingType: StronglyTypedIdBackingType.String)]
public partial struct FooId { }
var id = new FooId("my-id-value");
Currently supported values are Guid
(the default), int
, long
, and string
.
If you wish to change the converters, backing types, or implementations used by default for all the [StronglyTypedId]
-decorated IDs in your project, you can use the assembly attribute [StronglyTypedIdDefaults]
to set all of these. For example, the following sets the default converter to a whole project to [SystemTextJson]
, and changes the default backing-type to an int
// Set the defaults for the project
[assembly:StronglyTypedIdDefaults(
backingType: StronglyTypedIdBackingType.Int,
converters: StronglyTypedIdConverter.SystemTextJson)]
[StronglyTypedId]
public partial struct OrderId { }
[StronglyTypedId]
public partial struct UserId { }
This is equivalent to setting these values manually on all the IDs:
[StronglyTypedId(
backingType: StronglyTypedIdBackingType.Int,
converters: StronglyTypedIdConverter.SystemTextJson)]
public partial struct OrderId { }
[StronglyTypedId(
backingType: StronglyTypedIdBackingType.Int,
converters: StronglyTypedIdConverter.SystemTextJson)]
public partial struct UserId { }
By default, the [StronglyTypedId]
attributes referenced in your application are contained in an external dll. It is also possible to embed the attributes directly in your project, so they appear in the dll when your project is built. If you wish to do this, you must do two things:
- Define the MSBuild constant
STRONGLY_TYPED_ID_EMBED_ATTRIBUTES
. This ensures the attributes are embedded in your project - Add
compile
to the list of excluded assets in your<PackageReference>
element. This ensures the attributes in your project are referenced, instead of the StronglyTypedId.Attributes.dll library.
Your project file should look something like this:
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<!-- Define the MSBuild constant -->
<DefineConstants>STRONGLY_TYPED_ID_EMBED_ATTRIBUTES</DefineConstants>
</PropertyGroup>
<!-- Add the package -->
<PackageReference Include="StronglyTypedId" Version="1.0.0-beta05"
PrivateAssets="all"
ExcludeAssets="compile;runtime" />
<!-- ☝ Add compile to the list of excluded assets. -->
</Project>
The [StronglyTypedId]
and [StronglyTypedIdDefaults]
attributes are decorated with the [Conditional]
attribute, so their usage will not appear in the build output of your project. If you use reflection at runtime on one of your IDs, you will not find [StronglyTypedId]
in the list of custom attributes.
If you wish to preserve these attributes in the build output, you can define the STRONGLY_TYPED_ID_USAGES
MSBuild variable. Note that this means your project will have a runtime-dependency on StronglyTypedId.Attributes.dll so you need to ensure this is included in your build output.
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<TargetFramework>net6.0</TargetFramework>
<!-- Define the MSBuild constant to preserve usages -->
<DefineConstants>STRONGLY_TYPED_ID_USAGES</DefineConstants>
</PropertyGroup>
<!-- Add the package -->
<PackageReference Include="StronglyTypedId" Version="1.0.0-beta05" PrivateAssets="all" />
<!-- ☝ You must not exclude the runtime assets in this case -->
</Project>
In the latest version of StronglyTypedId, you should not experience error CS0436 by default.
In previous versions of the StronglyTypedId generator, the [StronglyTypedId]
attributes were added to your compilation as internal
attributes by default. If you added the source generator package to multiple projects, and used the [InternalsVisibleTo]
attribute, you could experience errors when you build:
warning CS0436: The type 'StronglyTypedIdImplementations' in 'StronglyTypedIds\StronglyTypedIds.StronglyTypedIdGenerator\StronglyTypedIdImplementations.cs' conflicts with the imported type 'StronglyTypedIdImplementations' in 'MyProject, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null'.
In the latest version of StronglyTypedId, the attributes are not embedded by default, so you should not experience this problem. If you see this error, compare your installation to the examples in the installation guide.
I have written a blog-post series on strongly-typed IDs that explains the issues and rational behind this library. For a detailed view, I suggest starting there, but I provide a brief introduction here.
This library is designed to tackle a specific instance of primitive obsession, whereby we use primitive objects (Guid
/string
/int
/long
etc) to represent the IDs of domain objects. The problem is that these IDs are all interchangeable - an order ID can be assigned to a product ID, despite the fact that is likely nonsensical from the domain point of view. See here for a more concrete example.
By using strongly-typed IDs, we give each ID its own Type
which wraps the underlying primitive value. This ensures you can only use the ID where it makes sense: ProductId
s can only be assigned to products, or you can only search for products using a ProductId
, not an OrderId
.
Unfortunately, taking this approach requires a lot of boilerplate and ceremony to make working with the IDs manageable. This library abstracts all that away from you, by generating the boilerplate at build-time by using a Roslyn-powered code generator.
The exact code generated depends on the arguments you provide to the StronglyTypedId
attribute. The code is generated to the obj folder of the project, so you can use Go to Definition on your Id to see the exact code generated in each case.
You can see see example implementations in the test SourceGenerationHelperSnapshotTests
in which all permutations of the attribute are tested, and examples generated in the snapshots folder.
The StronglyTypedId NuGet package is a .NET Standard 2.0 package.
You must be using the .NET 6+ SDK (though you can compile for other target frameworks like .NET Core 2.1 and .NET Framework 4.8)
The struct
s you decorate with the StronglyTypedId
attribute must be marked partial
.
StronglyTypedId
wouldn't work if not for AArnott's CodeGeneration.Roslyn library.
The build process and general design of the library was modelled on the RecordGenerator project, which is similar to this project, but can be used to generate immutable Record types.