自引用单例中的共享实例

Question

当我尝试如下定义自引用单例时：

class Singleton<T> where T : Singleton<T> { protected static T singletonInstance; ... }

当我使用这样的非泛型类派生单例类时，实现单例类可以正常工作：

class Derived : Singleton<Derived> { ... }

但是，当我尝试通过这样的泛型类派生单例时：

class Derived<T> : Singleton<Derived<T>> { ... }

然后实现泛型类：

class DerivedChildA : Derived<int> { ... }

class DerivedChildB : Derived<int> { ... }

除了获得DerivedChildA 和DerivedChildB 的单个单例实例外，只有一个Derived<int> 类型的单例实例在两个子类之间共享。

我宁愿没有DerivedChildA 和DerivedChildB 直接从Singleton<T> 派生。那么我应该如何修改我的类声明以获得DerivedChildA 和DerivedChildB 的单个单例实例（换句话说，Singleton<DerivedChildA> 和Singleton<DerivedChildB>）？

---

编辑：正如 Varun 所指出的，当参数 T 类型不同时，这种自引用单例的方法确实会产生唯一的单例实例，例如 with

class DerivedChildC : Derived<string> { ... }
class DerivedChildD : Derived<double> { ... }

但是我的项目需要 DerivedChildA 和 DerivedChildB 具有完全相同的泛型类型 Derived<int> ，不幸的是我无法更改此要求。 :(

Answer 1

让我们了解这里发生了什么。静态字段在真实类型的所有实例之间共享。泛型定义不是真正的类型；一旦您为泛型参数提供了具体的泛型类型参数，就会创建一个真正的类型。所以在这种情况下，只要你说：

: Derived<int>

或者即使你直接从 Singleton 继承：

: Singleton<int>

一旦为泛型定义生成类型，它的静态（在您的示例中为实例）字段将在所有派生类型之间共享

这可以通过一个稍微不同的例子来证明，通过改变泛型参数 T 的参数。所以如果你有

class DerivedChildA : Derived<int>

和

class DerivedChildB : Derived<decimal>

您将生成两个独立的真实类型作为基础，因此静态 Instance 字段对于 A 和 B 的实例也将是独立的。