Как в C ++, так и в C # отсутствуют простые способы создания нового типа, который семантически идентичен существующему типу. Я нахожу такие 'typedefs' абсолютно необходимыми для безопасного программирования типов, и это позор, что c # не имеет их встроенных. Разница между void f(string connectionID, string username) до void f(ConID connectionID, UserName username) очевидна ...
(Вы можете добиться чего-то подобного в C ++ с повышением в BOOST_STRONG_TYPEDEF)
Может быть заманчиво использовать наследование, но это имеет некоторые серьезные ограничения:
- это не будет работать для примитивных типов
- производный тип все еще может быть приведен к исходному типу, т. Е. Мы можем отправить его функции, получающей наш исходный тип, это уничтожает всю цель
- мы не можем наследовать от запечатанных классов (т.е. многие классы .NET запечатаны)
Единственный способ добиться подобного в C # - это создать наш тип в новом классе:
Class SomeType {
public void Method() { .. }
}
sealed Class SomeTypeTypeDef {
public SomeTypeTypeDef(SomeType composed) { this.Composed = composed; }
private SomeType Composed { get; }
public override string ToString() => Composed.ToString();
public override int GetHashCode() => HashCode.Combine(Composed);
public override bool Equals(object obj) => obj is TDerived o && Composed.Equals(o.Composed);
public bool Equals(SomeTypeTypeDefo) => object.Equals(this, o);
// proxy the methods we want
public void Method() => Composed.Method();
}
Хотя это сработает, это очень многословно только для typedef.
Кроме того, у нас есть проблема с сериализацией (то есть с Json), так как мы хотим сериализовать класс через его свойство Composed.
Ниже приведен вспомогательный класс, который использует «шаблон любопытно повторяющегося шаблона», чтобы сделать это намного проще:
namespace Typedef {
[JsonConverter(typeof(JsonCompositionConverter))]
public abstract class Composer<TDerived, T> : IEquatable<TDerived> where TDerived : Composer<TDerived, T> {
protected Composer(T composed) { this.Composed = composed; }
protected Composer(TDerived d) { this.Composed = d.Composed; }
protected T Composed { get; }
public override string ToString() => Composed.ToString();
public override int GetHashCode() => HashCode.Combine(Composed);
public override bool Equals(object obj) => obj is Composer<TDerived, T> o && Composed.Equals(o.Composed);
public bool Equals(TDerived o) => object.Equals(this, o);
}
class JsonCompositionConverter : JsonConverter {
static FieldInfo GetCompositorField(Type t) {
var fields = t.BaseType.GetFields(BindingFlags.Instance | BindingFlags.NonPublic | BindingFlags.Public | BindingFlags.FlattenHierarchy);
if (fields.Length!=1) throw new JsonSerializationException();
return fields[0];
}
public override bool CanConvert(Type t) {
var fields = t.GetFields(BindingFlags.Instance | BindingFlags.NonPublic | BindingFlags.Public | BindingFlags.FlattenHierarchy);
return fields.Length == 1;
}
// assumes Compositor<T> has either a constructor accepting T or an empty constructor
public override object ReadJson(JsonReader reader, Type objectType, object existingValue, JsonSerializer serializer) {
while (reader.TokenType == JsonToken.Comment && reader.Read()) { };
if (reader.TokenType == JsonToken.Null) return null;
var compositorField = GetCompositorField(objectType);
var compositorType = compositorField.FieldType;
var compositorValue = serializer.Deserialize(reader, compositorType);
var ctorT = objectType.GetConstructor(new Type[] { compositorType });
if (!(ctorT is null)) return Activator.CreateInstance(objectType, compositorValue);
var ctorEmpty = objectType.GetConstructor(new Type[] { });
if (ctorEmpty is null) throw new JsonSerializationException();
var res = Activator.CreateInstance(objectType);
compositorField.SetValue(res, compositorValue);
return res;
}
public override void WriteJson(JsonWriter writer, object o, JsonSerializer serializer) {
var compositorField = GetCompositorField(o.GetType());
var value = compositorField.GetValue(o);
serializer.Serialize(writer, value);
}
}
}
С Composer вышеуказанный класс становится просто:
sealed Class SomeTypeTypeDef : Composer<SomeTypeTypeDef, SomeType> {
public SomeTypeTypeDef(SomeType composed) : base(composed) {}
// proxy the methods we want
public void Method() => Composed.Method();
}
И, кроме того, SomeTypeTypeDef будет сериализован в Json так же, как SomeType.
Потребность в прокси-методах может быть хлопотной, но также и скрытым благословением, поскольку мы являемся новым типом, мы часто хотим только выбрать некоторые методы и добавить новые в нашу "typedef"
Надеюсь, это поможет!