我编写了简单的解析器,并希望实现接下来的两个接口:
public interface IResult<TValue, TToken>
where TToken : ITokenizer<IResult<TValue, TToken>, TValue>
{
TToken Tokenizer { get; }
TValue Value { get; }
}
public interface ITokenizer<TResult, TValue>
where TResult : IResult<TValue, ITokenizer<TResult, TValue>>
{
TResult Advance();
}
它有下一个目的:ITokenizer
是一个不可变的类,用于通过标记分割字符串。我们可以调用Advance
方法并获取Result
:下一个标记和下一个标记器。所以,我想在类中存储令牌和分词器,Result
并为此添加编译时约束。
现在我在构造这两个接口时遇到了编译时错误。
我认为下一个类可以实现具有所有约束的接口:
public class Result : IResult<string, Tokenizer>
{ /* implement interface */}
public class Tokenizer : ITokenizer<Result, string>
{ /* implement interface */}
谁能解释什么是错的?也许为什么这是不可能的或者如何使这段代码正确?
PS 对于我的任务,我可以简单地使用IResult<TValue, TToken>
没有任何约束的接口,但是我可以在不失去约束的情况下实现它吗?
编译器错误:
(3:22) The type 'Test.IResult<TValue,TToken>' cannot be used as type parameter 'TResult' in the generic type or method 'Test.ITokenizer<TResult,TValue>'.
There is no implicit reference conversion from 'Test.IResult<TValue,TToken>' to
'Test.IResult<TValue,Test.ITokenizer<Test.IResult<TValue,TToken>,TValue>>'.
(10:22) The type 'Test.ITokenizer<TResult,TValue>' cannot be used as type parameter 'TToken' in the generic type or method 'Test.IResult<TValue,TToken>'.
There is no implicit reference conversion from 'Test.ITokenizer<TResult,TValue>' to
'Test.ITokenizer<Test.IResult<TValue,Test.ITokenizer<TResult,TValue>>,TValue>'.