C# 中的静态派生类型？

Question

我正在寻找特定情况下 C++ typedef 或特征类的 C# 替代方案。我知道没有直接的等价物，但对于这个特定问题也许有一些替代解决方案？

这就是我正在尝试做的事情。我正在编写一个框架，其中包含三种相关类型。视图、后备存储和工厂。所有三个接口都会有多种实现。视图和工厂之间存在 1-1 关系，视图和存储之间存在 1-N 关系。具体的实现。框架的结构看起来像这样：

Storage : IStorage<int> ...

View : IView<Storage> ... // And IView<T> : IViewNonGeneric further up..

Factory : IFactory<Storage> {
  // This needs to take a concrete storage type as arg
  IViewNonGeneric CreateView(Storage s) ... 

  Storage CreateStorage() ...  
}

View 类对于框架的用户来说是最重要的类；其他的是实施细节。因此，根据视图类（而不是存储）来定义工厂似乎更自然。在 C++ 中，这很简单，只需将 typedef 添加到视图中并在工厂中使用它，如下所示：

class IView<typename T> { typedef T TStorage; ...

class IFactory<typename T> { 
  IViewNonGeneric CreateView(typename T::TStorage s) ... 

在 C# 中，我们显然没有 typedef 或特征类。还有其他方法可以达到想要的效果吗？也就是说，是否可以使用 View 作为 Factory 的通用参数并从 View 派生具体的 Source 类型？

Answer 1

C# 中的泛型绝对不如 C++ 中的模板那么强大。然而，C# 确实有一些 C++ 所没有的非常强大的东西：反射。

在视图类上定义一个返回具体类型的存储类的方法（静态或实例）应该很容易。然后，您可以使用 Type.GetConstructor 动态查找存储类的构造函数，并使用 ConstructorInfo.Invoke 方法调用它。

此外，您还可以探索如何使用可分配给视图类的自定义属性。像这样的事情怎么样：

[StorageType( typeof( MyStorage1 ) ]
class MyView1 { ... }

然后使用 typeof( MyView1 ) 上的反射来查看它是否具有与之关联的 StorageTypeAttribute 。

Answer 2

我想这就是你想要的：

public interface IStorage<T>
{
}

public class IntStorage : IStorage<int>
{
}

public interface IFactory<S, T> where S : IStorage<T>
{
    IView<S, T> CreateView(S storage);
}

public interface IViewNonGeneric
{
}
public interface IView<S, T> : IViewNonGeneric where S : IStorage<T>
{
}

public class IntView : IView<IntStorage, int>
{
}

public class IntFactory : IFactory<IntStorage, int>
{
    public IntView CreateView(IntStorage storage)
    {
        // create the view
    }
    // private interface implementation
    IView<IntStorage, int> IFactory<IntStorage, int>.CreateView(IntStorage storage)
    {
        return CreateView(storage);
    }
}

...