Кто-нибудь знает хорошее обходное решение проблемы отсутствия общего ограничения enum?
Вопрос
То, что я хочу сделать, это что-то вроде этого:У меня есть перечисления с объединенными помеченными значениями.
public static class EnumExtension
{
public static bool IsSet<T>( this T input, T matchTo )
where T:enum //the constraint I want that doesn't exist in C#3
{
return (input & matchTo) != 0;
}
}
Так что тогда я мог бы сделать:
MyEnum tester = MyEnum.FlagA | MyEnum.FlagB
if( tester.IsSet( MyEnum.FlagA ) )
//act on flag a
К сожалению, C # является универсальным, где ограничения не имеют ограничений перечисления, только class и struct.C # не рассматривает перечисления как структуры (хотя они и являются типами значений), поэтому я не могу добавлять типы расширений, подобные этому.
Кто-нибудь знает обходной путь?
Решение
Редактировать:Теперь это доступно в версии 0.0.0.2 UnconstrainedMelody.
(Как и было запрошено на моем запись в блоге об ограничениях перечисления.Я включил основные факты ниже ради отдельного ответа.)
Лучшее решение - подождать, пока я включу его в Непринужденная мелодия1.Это библиотека, которая принимает код на C # с "поддельными" ограничениями, такими как
where T : struct, IEnumConstraint
и превращает это в
where T : struct, System.Enum
через этап последующей сборки.
Написать это не должно быть слишком сложно IsSet
...хотя питание для обоих Int64
-основанный и UInt64
-основанная на флагах часть может оказаться сложной.(Я чувствую, что появляются некоторые вспомогательные методы, в основном позволяющие мне обрабатывать любое перечисление flags так, как если бы оно имело базовый тип UInt64
.)
Каким бы вы хотели, чтобы было поведение, если бы вы позвонили
tester.IsSet(MyFlags.A | MyFlags.C)
?Должен ли он проверить это ВСЕ указанные флаги установлены?Это было бы моим ожиданием.
Я постараюсь сделать это сегодня вечером по дороге домой...Я надеюсь провести краткий обзор полезных методов перечисления, чтобы быстро довести библиотеку до приемлемого стандарта, а затем немного расслабиться.
Редактировать:Я не уверен насчет IsSet
кстати, в качестве имени.Опции:
- Включает в себя
- Содержит
- HasFlag (или ХасФлаги)
- IsSet (это, безусловно, вариант)
Мысли приветствуются.Я уверен, что в любом случае пройдет некоторое время, прежде чем что-то будет высечено на камне...
1 или, конечно, отправить его в виде патча...
Другие советы
Даррен, это сработало бы, если бы типы были конкретными перечислениями - чтобы общие перечисления работали, вы должны привести их к целым числам (или, что более вероятно, uint) для выполнения логической математики:
public static bool IsSet( this Enum input, Enum matchTo )
{
return ( Convert.ToUInt32( input ) & Convert.ToUInt32( matchTo ) ) != 0;
}
Начиная с C # 7.3, теперь есть встроенный способ добавления ограничений enum:
public class UsingEnum<T> where T : System.Enum { }
На самом деле, это возможно, с помощью уродливого трюка.Однако он не может быть использован для методов расширения.
public abstract class Enums<Temp> where Temp : class {
public static TEnum Parse<TEnum>(string name) where TEnum : struct, Temp {
return (TEnum)Enum.Parse(typeof(TEnum), name);
}
}
public abstract class Enums : Enums<Enum> { }
Enums.IsSet<DateTimeKind>("Local")
Если вы хотите, вы можете дать Enums<Temp>
частный конструктор и общедоступный вложенный абстрактный унаследованный класс с Temp
как Enum
, чтобы предотвратить наследование версий для не-перечислений.
Вы можете достичь этого, используя IL Weaving и Дополнительные ограничения
Позволяет вам написать этот код
public class Sample
{
public void MethodWithDelegateConstraint<[DelegateConstraint] T> ()
{
}
public void MethodWithEnumConstraint<[EnumConstraint] T>()
{
}
}
Что компилируется
public class Sample
{
public void MethodWithDelegateConstraint<T>() where T: Delegate
{
}
public void MethodWithEnumConstraint<T>() where T: struct, Enum
{
}
}
Это не отвечает на исходный вопрос, но теперь в .NET 4 есть метод, который называется Перечисление.HasFlag который делает то, что вы пытаетесь сделать в вашем примере
Способ, которым я это делаю, - это установить ограничение struct, затем проверить, что T является перечислением во время выполнения.Это не устраняет проблему полностью, но несколько уменьшает ее
Начиная с C # 7.3, вы можете использовать ограничение Enum для универсальных типов:
public static TEnum Parse<TEnum>(string value) where TEnum : Enum
{
return (TEnum) Enum.Parse(typeof(TEnum), value);
}
Если вы хотите использовать перечисление с нулевым значением, вы должны оставить ограничение orginial struct:
public static TEnum? TryParse<TEnum>(string value) where TEnum : struct, Enum
{
if( Enum.TryParse(value, out TEnum res) )
return res;
else
return null;
}
Используя ваш исходный код, внутри метода вы также можете использовать отражение, чтобы проверить, что T является перечислением:
public static class EnumExtension
{
public static bool IsSet<T>( this T input, T matchTo )
{
if (!typeof(T).IsEnum)
{
throw new ArgumentException("Must be an enum", "input");
}
return (input & matchTo) != 0;
}
}
Вот некоторый код, который я только что создал, который, кажется, работает так, как вы хотите, без необходимости делать что-то слишком сумасшедшее.Это не ограничивается только перечислениями, установленными в качестве флагов, но при необходимости всегда можно установить проверку.
public static class EnumExtensions
{
public static bool ContainsFlag(this Enum source, Enum flag)
{
var sourceValue = ToUInt64(source);
var flagValue = ToUInt64(flag);
return (sourceValue & flagValue) == flagValue;
}
public static bool ContainsAnyFlag(this Enum source, params Enum[] flags)
{
var sourceValue = ToUInt64(source);
foreach (var flag in flags)
{
var flagValue = ToUInt64(flag);
if ((sourceValue & flagValue) == flagValue)
{
return true;
}
}
return false;
}
// found in the Enum class as an internal method
private static ulong ToUInt64(object value)
{
switch (Convert.GetTypeCode(value))
{
case TypeCode.SByte:
case TypeCode.Int16:
case TypeCode.Int32:
case TypeCode.Int64:
return (ulong)Convert.ToInt64(value, CultureInfo.InvariantCulture);
case TypeCode.Byte:
case TypeCode.UInt16:
case TypeCode.UInt32:
case TypeCode.UInt64:
return Convert.ToUInt64(value, CultureInfo.InvariantCulture);
}
throw new InvalidOperationException("Unknown enum type.");
}
}
если кому-то нужен универсальный IsSet (созданный "из коробки" на лету, может быть улучшен), и или преобразование строки в Enum onfly (которое использует EnumConstraint, представленный ниже):
public class TestClass
{ }
public struct TestStruct
{ }
public enum TestEnum
{
e1,
e2,
e3
}
public static class TestEnumConstraintExtenssion
{
public static bool IsSet<TEnum>(this TEnum _this, TEnum flag)
where TEnum : struct
{
return (((uint)Convert.ChangeType(_this, typeof(uint))) & ((uint)Convert.ChangeType(flag, typeof(uint)))) == ((uint)Convert.ChangeType(flag, typeof(uint)));
}
//public static TestClass ToTestClass(this string _this)
//{
// // #generates compile error (so no missuse)
// return EnumConstraint.TryParse<TestClass>(_this);
//}
//public static TestStruct ToTestStruct(this string _this)
//{
// // #generates compile error (so no missuse)
// return EnumConstraint.TryParse<TestStruct>(_this);
//}
public static TestEnum ToTestEnum(this string _this)
{
// #enum type works just fine (coding constraint to Enum type)
return EnumConstraint.TryParse<TestEnum>(_this);
}
public static void TestAll()
{
TestEnum t1 = "e3".ToTestEnum();
TestEnum t2 = "e2".ToTestEnum();
TestEnum t3 = "non existing".ToTestEnum(); // default(TestEnum) for non existing
bool b1 = t3.IsSet(TestEnum.e1); // you can ommit type
bool b2 = t3.IsSet<TestEnum>(TestEnum.e2); // you can specify explicite type
TestStruct t;
// #generates compile error (so no missuse)
//bool b3 = t.IsSet<TestEnum>(TestEnum.e1);
}
}
Если кому-то все еще нужен example hot для создания Enum coding constraint:
using System;
/// <summary>
/// would be same as EnumConstraint_T<Enum>Parse<EnumType>("Normal"),
/// but writen like this it abuses constrain inheritence on System.Enum.
/// </summary>
public class EnumConstraint : EnumConstraint_T<Enum>
{
}
/// <summary>
/// provides ability to constrain TEnum to System.Enum abusing constrain inheritence
/// </summary>
/// <typeparam name="TClass">should be System.Enum</typeparam>
public abstract class EnumConstraint_T<TClass>
where TClass : class
{
public static TEnum Parse<TEnum>(string value)
where TEnum : TClass
{
return (TEnum)Enum.Parse(typeof(TEnum), value);
}
public static bool TryParse<TEnum>(string value, out TEnum evalue)
where TEnum : struct, TClass // struct is required to ignore non nullable type error
{
evalue = default(TEnum);
return Enum.TryParse<TEnum>(value, out evalue);
}
public static TEnum TryParse<TEnum>(string value, TEnum defaultValue = default(TEnum))
where TEnum : struct, TClass // struct is required to ignore non nullable type error
{
Enum.TryParse<TEnum>(value, out defaultValue);
return defaultValue;
}
public static TEnum Parse<TEnum>(string value, TEnum defaultValue = default(TEnum))
where TEnum : struct, TClass // struct is required to ignore non nullable type error
{
TEnum result;
if (Enum.TryParse<TEnum>(value, out result))
return result;
return defaultValue;
}
public static TEnum Parse<TEnum>(ushort value)
{
return (TEnum)(object)value;
}
public static sbyte to_i1<TEnum>(TEnum value)
{
return (sbyte)(object)Convert.ChangeType(value, typeof(sbyte));
}
public static byte to_u1<TEnum>(TEnum value)
{
return (byte)(object)Convert.ChangeType(value, typeof(byte));
}
public static short to_i2<TEnum>(TEnum value)
{
return (short)(object)Convert.ChangeType(value, typeof(short));
}
public static ushort to_u2<TEnum>(TEnum value)
{
return (ushort)(object)Convert.ChangeType(value, typeof(ushort));
}
public static int to_i4<TEnum>(TEnum value)
{
return (int)(object)Convert.ChangeType(value, typeof(int));
}
public static uint to_u4<TEnum>(TEnum value)
{
return (uint)(object)Convert.ChangeType(value, typeof(uint));
}
}
надеюсь, это кому-то поможет.
Я просто хотел добавить Enum в качестве общего ограничения.
Хотя это всего лишь для крошечного вспомогательного метода, использующего ExtraConstraints
для меня это слишком большие накладные расходы.
Я решил просто создать struct
ограничение и добавьте проверку во время выполнения для IsEnum
.Для преобразования переменной из T в Enum я сначала преобразую ее в object.
public static Converter<T, string> CreateConverter<T>() where T : struct
{
if (!typeof(T).IsEnum) throw new ArgumentException("Given Type is not an Enum");
return new Converter<T, string>(x => ((Enum)(object)x).GetEnumDescription());
}