ジェネリックなインターフェースの「IHoge<IHoge<int>>」の意味が分かりません

Question

C#のインターフェースを勉強している時にとあるコードを見つけたのですが、意味がよくわからなかったので質問させて頂きました。
(自分で調べようと思ったのですが、なんて調べればよいか分からず解説が見つかりませんでした。)

質問の内容
下記のコードでインターフェース「IGenerator<T>」を実装しているクラス「Hoge」があるのですが、Hogeのインターフェース実装内容に「: IGenerator<IGenerator<int>>」という記述がありました。
この記述が一体何を表しているのか分かりませんでした。
インターフェースを実装するのであれば、「: IGenerator<int>」という記述が正しいように思えるのですが、これですとエラーが出てしまいます。
一体全体「: IGenerator<IGenerator<int>>」は何なんでしょうか。

インターフェース

public interface IGenerator<T>
    {
        T Generate();
    }

上記のインターフェースを実装しているクラス

public class Hoge : IGenerator<IGenerator<int>>　//ここでインターフェースを実装しているのですが、書いてる内容がイミフです
    {

        public IGenerator<int> Generate()
        {
            return new NumberMachine();
        }
    }

内容が足りなければ、ご指摘いただければ追記致します。

Comments

[Zuishin]

List<List<string>> みたいなものでしょう。

[Zuishin]

ていうか本文を読めばいいんじゃないですかね。

https://qiita.com/tobigitsune/items/68d2369a43e3bca3e6dc

Answer 1

HogeはIGenerator<int>型の戻り値をもつGenerate関数を実装します、という宣言です。

interface側にT変数が定義されていて、T Generate()というメソッドが定義されてますが、

public class Hoge : IGenerator<IGenerator<int>>によって、T はIGenerator<int>に確定します。

なので、HogeのGenerateメソッドはIGenerator<int>が戻り値になります。

NumberMachineというクラスがIGenerator<int>の実装ってことですね。

Comments

[morirou]

ジェネリクスに慣れていないせいで混乱してしまいましたが、umauさんの解説で胸にストンと落ちました。
ご解説ありがとうございました！