Skip to main content
1 / 3

CRTPで依存関係のある型を使いたいですが、コンパイルエラーになります。

#include<iostream>

template<typename Derived>
struct S {
    using I = typename Derived::T;
};

struct D;

struct D : S<D> {
    using T = int;
};

int main()
{
    D d;
    return 0;
}

上記のソースコードでどのようにすればSでD::Tが使えるようになりますでしょうか?