whereで自身を実装するように指示している？

Question

###whereで自身を実装するように指示している？
言語に関する質問です。
とあるサイトで以下のような記述を見ました。

public abstract class SingletonMonoBehaviourFast<T> : MonoBehaviour where T : SingletonMonoBehaviourFast<T>

この解釈についてよくわからないで質問させていただきました。
whereがジェネリック型制約というのは調べてわかったのですが、そうするとこの意味は、「SingletonMonoBehaviourFast<T> は、MonoBehaviourを継承する。MonoBehaviourは型パラメータTのSingletonMonoBehaviourFast<T>のインターフェースを実装しなければならない」という解釈で、よくわからなくなっています。自身を実装したものを、継承するというのが、やっていることでわかりにくいです。

この解釈であっているのでしょうか？

Answer 1

型パラメーターの制約です。

型パラメーターの制約 - C# プログラミング ガイド | Microsoft Docs

次のような意味になります。
SingletonMonoBehaviourFast<T> は MonoBehaviour を継承する。
ただし T は SingletonMonoBehaviourFast<T> を継承する型である。

次のコードはコンパイル・実行可能です。

using System;

namespace ConsoleApp2
{
	class Program
	{
		static void Main(string[] args)
		{
			var a = new A<B>();
			Console.WriteLine(a.GetType());
		}
	}

	class B : A<B>
	{
	}

	class A<T> : Object where T : A<T>
	{
	}
}

Comments

[hood]

回答ありがとうござます！
わざわざ丁寧にソースコードまで書いていだたき助かりました。
張っていただいたリンクとともに、とてもわかりやすかったです！