我正在C_中移植一个Java库,我发现这个奇怪的类使用了泛型循环引用:
public static class UserAgentAnalyzerDirectBuilder<UAA extends UserAgentAnalyzerDirect, B extends UserAgentAnalyzerDirectBuilder<UAA, B>>
{
// Implementation
}
我不能很好地理解循环引用是如何工作的,但正如我所见确实是可能的。
这段代码很容易翻译成c:
public class UserAgentAnalyzerDirectBuilder<UAA, B> where UAA: UserAgentAnalyzerDirect where B: UserAgentAnalyzerDirectBuilder<UAA, B>
{
// Implementation
}
假设我的等价类是正确的,我需要实现实例化那个奇怪类的方法。
在Java中,我有以下代码:
public static UserAgentAnalyzerDirectBuilder<? extends UserAgentAnalyzer, ? extends UserAgentAnalyzerDirectBuilder<?, ?>> newBuilder() {
return new UserAgentAnalyzerDirectBuilder<>(new UserAgentAnalyzer());
}
在C中,我试图用:
public static UserAgentAnalyzerDirectBuilder<UAA, UserAgentAnalyzerDirectBuilder<UAA, B>> newBuilder<UAA, B>()
where UAA: UserAgentAnalyzerDirect
where B: UserAgentAnalyzerDirectBuilder<UAA, B>
{
return new UserAgentAnalyzerDirectBuilder<UAA, UserAgentAnalyzerDirectBuilder<UAA, B>> (new UserAgentAnalyzer());
}
但没用。我想知道我是否做错了什么,或者在c泛型中循环引用确实是可能的。
最佳答案
你看到的不是循环引用。类型参数约束只允许您传入一个类型,该类型是该约束指定的泛型类型的后代。
下面的代码示例将编译,我认为可以满足您的需要:
public class UserAgentAnalyzerDirect { }
public class UserAgentAnalyzerDirectBuilder<UAA, B>
where UAA : UserAgentAnalyzerDirect
where B : UserAgentAnalyzerDirectBuilder<UAA, B>
{
// this method is supposed to implement the effect of the
// constructor in the original Java code
public void SetUAA(UAA a) { }
// further implementation
}
public static UserAgentAnalyzerDirectBuilder<UAA, B> NewBuilder<UAA, B>()
where UAA : UserAgentAnalyzerDirect, new()
where B : UserAgentAnalyzerDirectBuilder<UAA, B>, new()
{
// Unlike in Java, C# allows instantiating generic type parameters only using
// a parameter-less constructor. Hence we use the SetUAA method here instead.
var a = new UAA();
var b = new B();
b.SetUAA(a);
return b;
}
然后可以创建上述泛型类的自定义子类,如下所示:
public class CustomUserAgentAnalyzerDirect : UserAgentAnalyzerDirect { }
public class CustomUserAgentAnalyzerDirectBuilder : UserAgentAnalyzerDirectBuilder<CustomUserAgentAnalyzerDirect, CustomUserAgentAnalyzerDirectBuilder> { }