C#与铸造泛型参数

Question

我是从C++模板编程来的，有时会对泛型感到很困惑。由于没有方法专门化，我尝试使用了强制转换。以下是我的资料：

public interface INonGen
{
    void Get<T>(ref T value);
}

public interface IGen<U> : INonGen
{

}

public class Gen<U> : IGen<U>
{
    private U u;
    public void Get<T>(ref T value)
    {
        if (value is U)
        {
            value = (T) u;
        }         
        else
            throw new Exception();
    }
}

这不编译。

有什么办法可以让我做这个演员吗？

我想这样做的原因是：在C++模板中，我会为所支持的类型进行专门化，并创建一个抛出异常的非专门化版本。

其基本思想是：具有泛型方法的非泛型接口。尝试使用正确的类型获取值应该有效，尝试使用错误的类型则可能引发。

我们应该保持类型安全，所以我需要返回一个正确类型的实例/值。对象上的任何快捷方式都是不可接受的，在非泛型接口中约束类型也是不可接受的。

通用实现是为了避免重复。我希望支持多个不同的类型（但只支持一小组类型），但我希望这一点在我实例化一个类时决定（并定义T的含义）；我仍然希望非泛型接口允许使用任何t；也就是说，我不希望在接口中显式地显示类型集。

Answer 1

当您将一个对象强制转换为另一个对象时，如果编译器找不到转换，它将报告一个错误。由于这两个类型参数是不受约束的，唯一的选择是使用as运算符，该运算符在强制转换失败时返回null而不是抛出invalidcastexception。要使用作为，还需要将泛型类型约束为类。

public class Gen<U> : IGen<U>
{
    private U u;
    public void Get<T>(ref T value)
            where T : class
    {
        if (value is U)
        {
            value = u as T;
        }         
        else
            throw new Exception();
    }
}

如果不想添加约束，可以强制转换为object:

value = (T)(object)u;

但是您的代码中有一个逻辑错误。如果值是u，什么保证u是t？例如：

 var gen = new Gen<Base>();
 gen.Set(new DerivedA()); // sets u;
 var b = new DerivedB();
 gen.Get(ref b);

在本例中，value是base，而不是u是derivedb。转换将在运行时失败。

更新

在阅读了你的一些评论之后，下面是我应该如何设计的：

public interface INonGen
{
    object Value { get; }
}

public interface IGen<U> : INonGen
{
}

public class Gen<U> : IGen<U>
{
    private U u;
    public object Value
    {
       get { return u; }
    }
}

从字典中提取项目时：

double value = (double)dictionary[key].Value;

如果没有运行时转换，将引发invalidcastexception。很简单，不是吗？