[解決済み】TをEnumに拘束するGenericメソッドの作成

質問

を拡張する関数を作っています。 Enum.Parse というコンセプトで

• Enum 値が見つからない場合に、デフォルト値をパースできるようにします。
• 大文字・小文字を区別しない

そこで、次のように書きました。

public static T GetEnumFromString<T>(string value, T defaultValue) where T : Enum
{
    if (string.IsNullOrEmpty(value)) return defaultValue;
    foreach (T item in Enum.GetValues(typeof(T)))
    {
        if (item.ToString().ToLower().Equals(value.Trim().ToLower())) return item;
    }
    return defaultValue;
}

Error Constraint cannot be special classが表示されます。 System.Enum .

しかし、Generic Enum を許可する回避策はないのでしょうか？ Parse 関数で型を属性として渡すと、醜い箱詰めの要件があなたのコードに強制されます。

EDIT 以下のすべての提案は非常にありがたいです。

次のように決定しました（大文字小文字を区別しないようにループを残しました - XMLを解析するときにこれを使用します）。

public static class EnumUtils
{
    public static T ParseEnum<T>(string value, T defaultValue) where T : struct, IConvertible
    {
        if (!typeof(T).IsEnum) throw new ArgumentException("T must be an enumerated type");
        if (string.IsNullOrEmpty(value)) return defaultValue;

        foreach (T item in Enum.GetValues(typeof(T)))
        {
            if (item.ToString().ToLower().Equals(value.Trim().ToLower())) return item;
        }
        return defaultValue;
    }
}

EDITです。 (2015年2月16日) Christopher Currensさんから投稿頂きました。 MSILまたはF#でコンパイラが強制する型安全なジェネリックソリューション この記事は一見の価値があります。もし、この解決策がページの上の方に出てきたら、この編集を削除します。

EDIT 2: (2021年4月13日) C# 7.3以降、この問題は解決され、サポートされるようになったので、私は受け取った回答を変更しました。）

解決方法は？

C# 7.3でついにこの機能がサポートされました!

次のスニペット( ドットネットのサンプル ) を実演しています。

public static Dictionary<int, string> EnumNamedValues<T>() where T : System.Enum
{
    var result = new Dictionary<int, string>();
    var values = Enum.GetValues(typeof(T));

    foreach (int item in values)
        result.Add(item, Enum.GetName(typeof(T), item));
    return result;
}

C#プロジェクトの言語バージョンを必ずバージョン7.3に設定してください。

以下、オリジナルの回答です。

遅ればせながら、どうやったらできるのか、チャレンジしてみました。 C#（またはVB.NET、ただしF#はスクロールしてください）では無理なのですが は可能 をMSILで作成しました。 こんな小さな...ものを書きました。

// license: http://www.apache.org/licenses/LICENSE-2.0.html
.assembly MyThing{}
.class public abstract sealed MyThing.Thing
       extends [mscorlib]System.Object
{
  .method public static !!T  GetEnumFromString<valuetype .ctor ([mscorlib]System.Enum) T>(string strValue,
                                                                                          !!T defaultValue) cil managed
  {
    .maxstack  2
    .locals init ([0] !!T temp,
                  [1] !!T return_value,
                  [2] class [mscorlib]System.Collections.IEnumerator enumerator,
                  [3] class [mscorlib]System.IDisposable disposer)
    // if(string.IsNullOrEmpty(strValue)) return defaultValue;
    ldarg strValue
    call bool [mscorlib]System.String::IsNullOrEmpty(string)
    brfalse.s HASVALUE
    br RETURNDEF         // return default it empty
    
    // foreach (T item in Enum.GetValues(typeof(T)))
  HASVALUE:
    // Enum.GetValues.GetEnumerator()
    ldtoken !!T
    call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
    call class [mscorlib]System.Array [mscorlib]System.Enum::GetValues(class [mscorlib]System.Type)
    callvirt instance class [mscorlib]System.Collections.IEnumerator [mscorlib]System.Array::GetEnumerator() 
    stloc enumerator
    .try
    {
      CONDITION:
        ldloc enumerator
        callvirt instance bool [mscorlib]System.Collections.IEnumerator::MoveNext()
        brfalse.s LEAVE
        
      STATEMENTS:
        // T item = (T)Enumerator.Current
        ldloc enumerator
        callvirt instance object [mscorlib]System.Collections.IEnumerator::get_Current()
        unbox.any !!T
        stloc temp
        ldloca.s temp
        constrained. !!T
        
        // if (item.ToString().ToLower().Equals(value.Trim().ToLower())) return item;
        callvirt instance string [mscorlib]System.Object::ToString()
        callvirt instance string [mscorlib]System.String::ToLower()
        ldarg strValue
        callvirt instance string [mscorlib]System.String::Trim()
        callvirt instance string [mscorlib]System.String::ToLower()
        callvirt instance bool [mscorlib]System.String::Equals(string)
        brfalse.s CONDITION
        ldloc temp
        stloc return_value
        leave.s RETURNVAL
        
      LEAVE:
        leave.s RETURNDEF
    }
    finally
    {
        // ArrayList's Enumerator may or may not inherit from IDisposable
        ldloc enumerator
        isinst [mscorlib]System.IDisposable
        stloc.s disposer
        ldloc.s disposer
        ldnull
        ceq
        brtrue.s LEAVEFINALLY
        ldloc.s disposer
        callvirt instance void [mscorlib]System.IDisposable::Dispose()
      LEAVEFINALLY:
        endfinally
    }
  
  RETURNDEF:
    ldarg defaultValue
    stloc return_value
  
  RETURNVAL:
    ldloc return_value
    ret
  }
} 

という関数を生成します。 は は、有効なC#であれば、次のようになります。

T GetEnumFromString<T>(string valueString, T defaultValue) where T : Enum

そして、以下のC#のコードで。

using MyThing;
// stuff...
private enum MyEnum { Yes, No, Okay }
static void Main(string[] args)
{
    Thing.GetEnumFromString("No", MyEnum.Yes); // returns MyEnum.No
    Thing.GetEnumFromString("Invalid", MyEnum.Okay);  // returns MyEnum.Okay
    Thing.GetEnumFromString("AnotherInvalid", 0); // compiler error, not an Enum
}

残念ながら、これはコードのこの部分をC#ではなくMSILで書かなければならないことを意味し、唯一の利点はこのメソッドを System.Enum . また、別のアセンブリにコンパイルされるので、ちょっと残念です。 しかし、そのようにデプロイしなければならないわけではありません。

という行を削除することで .assembly MyThing{} を実行し、以下のようにilasmを起動します。

ilasm.exe /DLL /OUTPUT=MyThing.netmodule

の場合、アセンブリではなく、ネットモジュールを取得します。

残念ながら、VS2010（およびそれ以前は当然ですが）はネットモジュールの参照追加をサポートしていませんので、デバッグ時には2つの別々のアセンブリに置いておく必要があることになります。 アセンブリの一部として追加する唯一の方法は、csc.exeを自分で /addmodule:{files} コマンドライン引数で指定します。 それは も MSBuildのスクリプトでは苦痛です。 もちろん、勇気のある人や愚かな人は、毎回手動でcscを自分で実行すればいい。 そして、複数のアセンブリがアクセスする必要があるため、より複雑になることは確かです。

ということは、.Netでも可能なんですね。 余分な労力をかける価値はあるのでしょうか？ それは、あなたが決めることです。

代替としてのF#ソリューション

追加クレジット: enum は、MSILの他に少なくとも1つの.NET言語で可能です。F#.

type MyThing =
    static member GetEnumFromString<'T when 'T :> Enum> str defaultValue: 'T =
        /// protect for null (only required in interop with C#)
        let str = if isNull str then String.Empty else str

        Enum.GetValues(typedefof<'T>)
        |> Seq.cast<_>
        |> Seq.tryFind(fun v -> String.Compare(v.ToString(), str.Trim(), true) = 0)
        |> function Some x -> x | None -> defaultValue

これは、Visual Studio IDEが完全にサポートする有名な言語なので、メンテナンスが簡単ですが、ソリューションの中にこの言語用の別のプロジェクトが必要です。しかし、当然ながら、かなり異なるILが生成されます（コード は は非常に異なっています)、また FSharp.Core 他の外部ライブラリと同様に、配布物の一部とする必要があります。

ここでは、その使用方法（基本的にMSILソリューションと同じ）と、そうでなければ同義の構造体に対して正しく失敗することを示すために、その使用方法を説明します。

// works, result is inferred to have type StringComparison
var result = MyThing.GetEnumFromString("OrdinalIgnoreCase", StringComparison.Ordinal);
// type restriction is recognized by C#, this fails at compile time
var result = MyThing.GetEnumFromString("OrdinalIgnoreCase", 42);