Кто-нибудь знает хороший способ обхода нехватки enum generic constraint?

Я хочу сделать что-то вроде этого: у меня есть перечисления с комбинированными помеченными значениями.

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

К сожалению, С# универсальный, где ограничения не имеют ограничений перечисления, только класс и структура. С# не видит перечисления как структуры (даже если они являются типами значений), поэтому я не могу добавлять такие типы расширений.

Кто-нибудь знает обходной путь?

Ответы

Ответ 1

РЕДАКТИРОВАТЬ: Это сейчас в версии 0.0.0.2 UnconstrainedMelody.

(Как и было запрошено в моем блоге об ограничениях enum. Ниже приведены основные факты для самостоятельного ответа.)

Лучшее решение - подождать, пока я включу его в UnconstrainedMelody ¹. Это библиотека, которая принимает код С# с "поддельными" ограничениями, такими как

where T : struct, IEnumConstraint

и превращает его в

where T : struct, System.Enum

через шаг после сборки.

Оно не должно быть слишком трудно написать IsSet... хотя питание как для Int64 -based и UInt64 -based флагов может быть сложная часть. (Я чувствую, что появляются некоторые вспомогательные методы, в основном позволяющие мне обрабатывать любые перечисления флагов, как если бы они имели базовый тип UInt64.)

Что бы вы хотели, чтобы поведение было, если бы вы позвонили

tester.IsSet(MyFlags.A | MyFlags.C)

? Должен ли он проверить, что все указанные флаги установлены? Это было бы моим ожиданием.

Я попытаюсь сделать это по дороге домой сегодня вечером... Я надеюсь кратко рассказать о полезных методах enum, чтобы быстро привести библиотеку к пригодному для использования стандарту, а затем немного расслабиться.

РЕДАКТИРОВАТЬ: я не уверен, что IsSet как имя, кстати. Опции:

Включает в себя
Содержит
HasFlag (или HasFlags)
IsSet (это конечно вариант)

Мысли приветствуются. Я уверен, что пройдет какое-то время, прежде чем что-то будет в камне...

¹ или представить его как патч, конечно...

Ответ 2

Даррен, это будет работать, если типы являются конкретными перечислениями - для общих перечислений для работы вам нужно отнести их к ints (или, скорее, uint), для выполнения логической математики:

public static bool IsSet( this Enum input, Enum matchTo )
{
    return ( Convert.ToUInt32( input ) & Convert.ToUInt32( matchTo ) ) != 0;
}

Ответ 3

Собственно, это возможно, с уродливым трюком. Однако он не может использоваться для методов расширения.

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, чтобы предотвратить унаследованные версии для не-перечислений.

Ответ 4

Начиная с С# 7.3, теперь есть встроенный способ добавления ограничений перечисления:

public class UsingEnum<T> where T : System.Enum { }

источник: https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/keywords/where-generic-type-constraint

Ответ 5

Вы можете добиться этого, используя IL Weaving и ExtraConstraints

Позволяет вам написать этот код

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
    {
    }
}

Ответ 6

Это не отвечает на исходный вопрос, но теперь есть метод в .NET 4, называемый Enum.HasFlag, который делает то, что вы пытаются сделать в вашем примере

Ответ 7

То, как я это делаю, - это ограничение структуры, а затем проверить, что T является перечислением во время выполнения. Это не устраняет проблему полностью, но она несколько уменьшает ее

Ответ 8

Начиная с С# 7.3, вы можете использовать ограничение Enum для универсальных типов:

public static TEnum Parse<TEnum>(string value) where TEnum : Enum
{
    return (TEnum) Enum.Parse(typeof(TEnum), value);
}

Если вы хотите использовать перечисление Nullable, вы должны оставить ограничение 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;
}

Ответ 9

Используя исходный код, внутри метода вы также можете использовать отражение, чтобы проверить, что 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;
    }
}

Ответ 10

Вот какой код, который я только что сделал, кажется, работает так, как вы хотите, без необходимости делать что-то слишком сумасшедшее. Он не ограничивается только перечислениями, установленными как флаги, но при необходимости может быть проведена проверка.

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.");
    }
}

Ответ 11

Я просто хотел добавить Enum в качестве общего ограничения.

Хотя это только для крошечного вспомогательного метода, использующего ExtraConstraints, для меня слишком много накладных расходов.

Я решил просто создать ограничение struct и добавить проверку выполнения для IsEnum. Для преобразования переменной из T в Enum я сначала передаю ее объекту.

    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());
    }

Ответ 12

если кому-то нужен общий 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);

    }

  }

Если кому-то еще нужен пример hot, чтобы создать ограничение кодирования Enum:

using System;

/// <summary>
/// would be same as EnumConstraint_T&lt;Enum>Parse&lt;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));
  }

}

надеюсь, что это поможет кому-то.