ジェネリック型パラメータをStringまたはArrayに制限することは可能ですか

Question

要するに、タイプパラメータ（T）がstringまたはint[]に制限されている汎用メソッドを定義できますか？擬似C＃では、私は何をしたいです：

public static int MyMethod<T> (T arg1, T arg2) 
    where T : (has an indexer that returns an int) { 
    // stuff with arg1[i], arg2[j], etc... 
} 

なお、C＃で、原因に内蔵されたint、次の式にcharからの暗黙的な変換と一緒に（charを返す）stringインデクサsourceがstringかint[]であるかを正確に同じことを意味します

スレッド Constrain generic extension method to base types and stringパー

int someval = source[index]; 

私はちょうどに関連付けられていないタイプのリストを作ることができない実現します制約条項。 int[]とstringは両方ともT: IEnumerable<int>に従いますが、IEnumerable<T>では、実装者がインデクサーを必要としません。これは、両方のタイプから使用している共通の機能です。

これは、Damerau-Levenshtein距離アルゴリズムを高速に実装するなど、高度に最適化された文字列解析と解析機能を構築することを目的としています。私の文字列をintの配列に変換すると、（D-Lアルゴリズムのように）文字単位の処理が繰り返し実行される場合があります。これは主に、intの値を比較すると、charの値よりもはるかに高速です。

有効な単語は「時々」です。ストリング上で直接操作し、最初に変換してintの配列にコピーするコストを回避する方が速い場合もあります。だから私は宣言を除いて真に同じメソッドを持っています。

もちろん、私はdynamicを使うことができますが、ランタイムチェックによるパフォーマンスの低下は、そのメソッドの構築で得られた利益を完全に破壊します。 （I はをテストしました）。

Answer 1

あなたが持つことができません（...または多分過負荷で、あなたのアイデアを得る）あなたのメソッドのシグネチャ

public static int MyMethod<T> (T[] arg1, T[] arg2) 

を作成し、文字列引数を渡す前にString.ToCharArray（）を使用することができます「型にはインデクサが必要です」という制約があります。

ただし、「型がインデクサーを持つインターフェイスを実装する必要があります」という制約を設定できます。このようなインターフェースは、例えば、IList<char>であるかもしれない。

sealed class StringWrapper : IList<char> 
{ 
    public string String { get; private set; } 
    public StringWrapper(string str) { String = str; } 
    public static implicit operator StringWrapper(string str) 
    { 
     return new StringWrapper(str); 
    } 

    public char this[int index] 
    { 
     get { return String[index]; } 
     set { throw new NotSupportedException(); } 
    } 

    // Etc.... need to implement all the IList<char> methods 
    // (just throw NotSupportedException except in the ones that are trivial) 
} 

そしてあなたは、このようなあなたのメソッドを宣言することができます：

public static TElement MyMethod<TCollection, TElement>(TCollection arg) 
    where TCollection : IList<TElement> 
{ 
    return arg[0]; 
} 

[...] 

MyMethod<StringWrapper, char>("abc")  // returns 'a' 
MyMethod<int[], int>(new[] { 1, 2, 3 }) // returns 1 

Answer 2

いいえ、C＃では、そのような「複合」制約を作成することはできません。

あなたが見せる表現は同じことを意味しますが、その事実をあなたの利益に使うことはできません。 C＃ジェネリックスは構文的にはC++テンプレートに似ていますが、完全に異なった働きをするので、インデクサが同じことをするという事実は無関係になります。

もちろん、必要な特定のタイプの2つのオーバーロードを作成することもできますが、それは厄介なコピー&ペーストを意味します。繰り返しを避けるためにこれを抽象化しようとすると、パフォーマンスが悪くなります。

Answer 3

あなたは