| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116 |
- namespace MeloongCore;
- public readonly struct OneOf<T1, T2> {
- private readonly int _index = -1; // -1 表示未初始化(这是一个 struct,所以这可以让默认值不为 0)
- private readonly T1? _value1;
- private readonly T2? _value2;
- public static implicit operator OneOf<T1, T2>(T1 value) => new(1, value, default);
- public static implicit operator OneOf<T1, T2>(T2 value) => new(2, default, value);
- public static implicit operator T1(OneOf<T1, T2> value) => value.As<T1>();
- public static implicit operator T2(OneOf<T1, T2> value) => value.As<T2>();
- private OneOf(int index, T1? value1, T2? value2) {
- _index = index;
- _value1 = value1;
- _value2 = value2;
- }
- /// <summary>
- /// 对不同类型执行不同的操作,并返回同一个值。
- /// </summary>
- public TResult Switch<TResult>(Func<T1, TResult> f1, Func<T2, TResult> f2) => _index switch {
- 1 => f1(_value1!),
- 2 => f2(_value2!),
- _ => throw new InvalidOperationException()
- };
- /// <summary>
- /// 对不同类型执行不同的操作。
- /// </summary>
- public void Switch(Action<T1> f1, Action<T2> f2) {
- if (_index == 1) f1(_value1!);
- else if (_index == 2) f2(_value2!);
- else throw new InvalidOperationException();
- }
- /// <summary>
- /// 判断当前的类型是否为 T。
- /// </summary>
- public bool Is<T>() => _index switch {
- 1 when typeof(T) == typeof(T1) => true,
- 2 when typeof(T) == typeof(T2) => true,
- _ => false
- };
- public bool IsT1() => _index == 1;
- public bool IsT2() => _index == 2;
- /// <summary>
- /// 假定当前的类型为 T,并返回该值。
- /// 若当前值的类型不为 T,则抛出 <see cref="InvalidOperationException"/>。
- /// </summary>
- public T As<T>() => _index switch {
- 1 when typeof(T) == typeof(T1) => (T)(object)_value1!,
- 2 when typeof(T) == typeof(T2) => (T)(object)_value2!,
- _ => throw new InvalidOperationException()
- };
- public T1 AsT1() => _index switch { 1 => _value1!, _ => throw new InvalidOperationException() };
- public T2 AsT2() => _index switch { 2 => _value2!, _ => throw new InvalidOperationException() };
- }
- public readonly struct OneOf<T1, T2, T3> {
- private readonly int _index = -1; // -1 表示未初始化(这是一个 struct,所以这可以让默认值不为 0)
- private readonly T1? _value1;
- private readonly T2? _value2;
- private readonly T3? _value3;
- public static implicit operator OneOf<T1, T2, T3>(T1 value) => new(1, value, default, default);
- public static implicit operator OneOf<T1, T2, T3>(T2 value) => new(2, default, value, default);
- public static implicit operator OneOf<T1, T2, T3>(T3 value) => new(3, default, default, value);
- public static implicit operator T1(OneOf<T1, T2, T3> value) => value.As<T1>();
- public static implicit operator T2(OneOf<T1, T2, T3> value) => value.As<T2>();
- public static implicit operator T3(OneOf<T1, T2, T3> value) => value.As<T3>();
- private OneOf(int index, T1? value1, T2? value2, T3? value3) {
- _index = index;
- _value1 = value1;
- _value2 = value2;
- _value3 = value3;
- }
- /// <summary>
- /// 对不同类型执行不同的操作,并返回同一个值。
- /// </summary>
- public TResult Switch<TResult>(Func<T1, TResult> f1, Func<T2, TResult> f2, Func<T3, TResult> f3) => _index switch {
- 1 => f1(_value1!),
- 2 => f2(_value2!),
- 3 => f3(_value3!),
- _ => throw new InvalidOperationException()
- };
- /// <summary>
- /// 对不同类型执行不同的操作。
- /// </summary>
- public void Switch(Action<T1> f1, Action<T2> f2, Action<T3> f3) {
- if (_index == 1) f1(_value1!);
- else if (_index == 2) f2(_value2!);
- else if (_index == 3) f3(_value3!);
- else throw new InvalidOperationException();
- }
- /// <summary>
- /// 判断当前的类型是否为 T。
- /// </summary>
- public bool Is<T>() => _index switch {
- 1 when typeof(T) == typeof(T1) => true,
- 2 when typeof(T) == typeof(T2) => true,
- 3 when typeof(T) == typeof(T3) => true,
- _ => false
- };
- public bool IsT1() => _index == 1;
- public bool IsT2() => _index == 2;
- public bool IsT3() => _index == 3;
- /// <summary>
- /// 假定当前的类型为 T,并返回该值。
- /// 若当前值的类型不为 T,则抛出 <see cref="InvalidOperationException"/>。
- /// </summary>
- public T As<T>() => _index switch {
- 1 when typeof(T) == typeof(T1) => (T) (object) _value1!,
- 2 when typeof(T) == typeof(T2) => (T) (object) _value2!,
- 3 when typeof(T) == typeof(T3) => (T) (object) _value3!,
- _ => throw new InvalidOperationException()
- };
- public T1 AsT1() => _index switch { 1 => _value1!, _ => throw new InvalidOperationException() };
- public T2 AsT2() => _index switch { 2 => _value2!, _ => throw new InvalidOperationException() };
- public T3 AsT3() => _index switch { 3 => _value3!, _ => throw new InvalidOperationException() };
- }
|