将模板转换为通用

Question

考虑一下C ++ / CLI中的这个简单代码

template <typename T>
T sum (T x, T y)
{
    return x + y;
}

int main(array<System::String ^> ^args)
{
    int a=4, b=6;
    double x=2.3, y=5.2;

    Console::WriteLine("Sum of two ints = {0}", sum(a, b));
    Console::WriteLine("Sum of two doubles = {0}", sum(x, y));

    return 0;
}  

输出：

Sum of two ints = 10
Sum of two doubles = 7.5

我该如何在C＃中使用泛型？

Answer 1

你不能 无法在C＃中应用泛型约束来确保给定的泛型类型具有+运算符的适当重载。

您可以删除所有静态类型检查，并使用反射或类似方法尝试在运行时调用给定泛型类型的+运算符，从而意识到如果不存在适用的运算符，它将简单地抛出运行时异常，但这并不等同于C ++您提供的代码。

Answer 2

使用泛型没有简单的方法，因为泛型不是模板。 如果您自己提供操作员，则可以执行以下操作：

static T binary_apply<T>(T a, T b, Func<T,T,T> add) {
    return add(a, b);
}

int a = 4, b = 6;
double x = 2.3, y = 5.2;
Console.WriteLine("Sum of two ints = {0}", binary_apply(a, b, (i,j)=>i+j));
Console.WriteLine("Sum of two doubles = {0}", binary_apply(x, y, (i,j)=>i+j));

当然，这首先会破坏add<T>()的目的，因为您将加法的实现作为lambda传递了。 您也可以动态地执行此操作，但这与由编译器解决添加的操作不同：

static T add<T>(T a, T b) {
    var p0 = Expression.Parameter(typeof(T));
    var p1 = Expression.Parameter(typeof(T));
    var ae = Expression.Add(p0, p1);
    var f = (Func<T,T,T>)Expression.Lambda(ae, p0, p1).Compile();
    return f(a, b);
}

int a = 4, b = 6;
double x = 2.3, y = 5.2;
Console.WriteLine("Sum of two ints = {0}", add(a, b));
Console.WriteLine("Sum of two doubles = {0}", add(x, y));

ideone上的演示。