C#通用约束[重复]

Question

是否可以枚举泛型约束中“可用”的类型？

T MyMethod<t>() where T : int, double, string

我为什么要这样做是因为我有一个小型评估引擎，并且想要 写这样的代码：

bool expression.Evaluate<bool>();

或

int expression.Evaluate<int>();

但我想禁止

MyCustomClass expression.Evalaute<MyCustomClass>();

Answer 1

不，你不能。

您可以添加以下通用约束：

T MyMethod<T>() where T : struct {}

然后：

bool expression.MyMethod<bool>(); //OK

int expression.MyMethod<int>(); //OK

string expression.MyMethod<string>(); //fails! string is a reference type

struct MyStruct {}

MyStruct MyMethod<MyStruct>(); //OK! MyStruct is a value type

class MyCustomClass {}

MyCustomClass MyMethod<MyCustomClass>(); //FAILS! MyCustomClass is a reference type

但是你不能同时为 int 和 string 添加编译时间限制。

Answer 2

无法将泛型参数限制为特定类型。

作为一种解决方法，您可以为每种类型提供一个方法并将方法调用转发到一个通用实现：

public class Expression {

    public bool EvaluateToBool() {
        return Evaluate<bool>();
    }

    public int EvaluateToInt32() {
        return Evaluate<int>();
    }

    private T Evaluate<T>() {
        return default(T);
    }
}

---

另一方面，您是否考虑过在 Expression 类型中对表达式求值的类型进行编码？例如

public abstract class Expression<T> {

    public abstract T Evaluate();
}

public sealed class AddExpression : Expression<int> {

    public AddExpression(Expression<int> left, Expression<int> right) {
        this.Left = left;
        this.Right = right;
    }

    public Expression<int> Left { get; private set; }

    public Expression<int> Right { get; private set; }

    public override int Evaluate() {
        return this.Left.Evaluate() + this.Right.Evaluate();
    }
}

Answer 3

如果泛型类型参数的可能性很小，那么该方法就不是真正的泛型。泛型的重点是允许类型和方法的参数化，以便您可以根据需要创建无限多个不同的此类类型和方法。如果您只有三种可能的类型，请编写三种方法。也就是说，创建重载，不要使用泛型。