І в C ++, і в C # відсутні легкі способи створення нового типу, що семантично ідентичний існуючому типу. Мені здається, що такі "typedefs" абсолютно необхідні для безпечного програмування, і справжній сором c # не має їх вбудованих. Різниця між void f(string connectionID, string username)
to 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);
}
}
}
З композитором вищевказаний клас стає просто:
sealed Class SomeTypeTypeDef : Composer<SomeTypeTypeDef, SomeType> {
public SomeTypeTypeDef(SomeType composed) : base(composed) {}
// proxy the methods we want
public void Method() => Composed.Method();
}
І крім того SomeTypeTypeDef
заповіт буде серіалізуватися на Джсона так само, як це SomeType
відбувається.
Сподіваюсь, це допомагає!