4

我编写了简单的解析器,并希望实现接下来的两个接口:

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>'.
4

2 回答 2

5

您可以尝试向两个接口添加一个类型约束,如下所示:

public interface IResult<TValue, TToken, TResult>
    where TToken : ITokenizer<TResult, TValue, TToken>
    where TResult : IResult<TValue, TToken, TResult> {
    TToken Tokenizer { get; }
    TValue Value { get; }
}

public interface ITokenizer<TResult, TValue, TTokenizer>
    where TResult : IResult<TValue, TTokenizer, TResult>
    where TTokenizer : ITokenizer<TResult, TValue, TTokenizer> {
    TResult Advance();
}

它有点难看,但我认为这将有助于您的目标:

public class Result : IResult<string, Tokenizer, Result>
{

}

public class Tokenizer : ITokenizer<Result, string, Tokenizer> {

}

我认为主要问题不是循环引用,而是编译器无法推断出泛型类型之间的隐式转换这一事实,除非您有所帮助。

更新:我认为您的界面在 Tokenizer 和 Result 之间缺乏强关系。IResult 接口说 TToken 可以是任何标记器,我的意思是与任何结果相关。所以它可以是ITokenizer<Result1>ITokenizer<Result2>等等。但是你不能分配ITokenizer<Result1>ITokenizer<Result2>(即使结果实现了相同的接口)——那是不同的类型。标记器接口也是如此。当您像上面那样更改接口时,现在很明显TToken是 的标记器TResult,同时TResult是的结果TTokenizer(现在它们是两个具体的类型,而不是接口,它们之间有很强的关系)。

于 2016-11-19T16:26:38.397 回答
0

更新 请忽略这个答案,因为 Evk 的回答反驳了这个答案。但是,我仍然在这里留下这个答案,因为如果其他人认为它与循环引用有关,这将有助于解释它显然不是。

问题是当编译器试图编译第一个接口时,它需要编译第二个接口,但要编译第二个接口,它需要编译第一个接口。因此,它不能这样做,因为它无法得出结论。为了让事情更简单,这段代码会得到和你一样的错误:

public interface IFirst<TFirst>
    where TFirst : ISecond<IFirst<TFirst>>
{

}

public interface ISecond<TSecond>
    where TSecond : IFirst<ISecond<TSecond>>
{ }

但是下面的代码不会出错,因为没有循环引用,编译器可以得出结论:

public interface IFirst<TFirst>
    where TFirst : ISecond<IFirst<TFirst>>
{

}

public interface ISecond<TSecond>
    //where TSecond : IFirst<ISecond<TSecond>>
{ }
于 2016-11-19T16:41:26.180 回答