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＃中，由于内置string索引器（返回char）以及从char到int的隐式转换，以下表达式无论source是string还是int[]，都意味着完全相同的事情：

int someval = source[index];

根据线程Constrain generic extension method to base types and string，我意识到我不能在where T : x...约束条款中列出无关联类型。 int[]和string都符合T: IEnumerable<int>，但IEnumerable<T>不要求实施者拥有索引器，这正是我在两种类型中使用的常见功能。

这背后的目的是构建一些高度优化的字符串解析和分析功能，例如快速实现Damerau-Levenshtein距离算法。我发现，首先将我的字符串转换为int数组有时会在重复的逐字符处理中产生明显更快的执行（与D-L算法一样）。这主要是因为比较int值比比较char值要快得多。

操作词有时候是＆＃39;。有时，直接在字符串上操作会更快，并避免首次转换和复制到int数组的成本。所以我现在的方法除了声明之外都是真正相同的。

当然我可以使用dynamic，但运行时检查的性能损失会完全破坏方法构造中的任何收益。（我做了测试它）。

Answer 1

不，C＃不允许你创建像这样的“复合”约束。

您展示的表达方式确实意味着相同的事情，但您不能利用这一事实。 C＃泛型在语法上类似于C ++模板，但它们的工作方式完全不同，因此索引器执行相同操作的事实最终会变得无关紧要。

当然，您可以使用您需要的特定类型创建两个重载，但这确实意味着一些烦人的副本和糊。任何试图抽象以避免重复的尝试都会使你的表现非常糟糕。

Answer 2

你不能有一个约束说“类型必须有一个索引器”。

但是，您可以使用一个约束，指出“类型必须实现具有索引器的接口”。例如，这样的界面可能是IList<char>。

不幸的是，string没有实现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 3

您可以制作方法签名

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

并在传递字符串参数之前使用String.ToCharArray（）（或者在重载时，你明白了......）

是否可以将泛型类型参数约束为String OR Array

3 个答案: