C#을 ReSharper에서 : 가능한 무한 상속

Question

왜 ReSharper에서는 IGeneric<TGeneric>에 있지만 ISimple 인터페이스에 대한 가능한 무한 상속 경고 주는가?

// api 

public interface INodeBase<TNode> 
    where TNode : INodeBase<TNode> 
{ 
    TNode Parent { get; set; } 
    List<TNode> Children { get; set; } 
} 

public interface INode<TValue> 
    : INodeBase<INode<TValue>> 
{ 
    TValue Value { get; set; } 
} 

public interface IBelongToNodeBase<TOwner> 
    where TOwner : INodeBase<TOwner> 
{ 
    TOwner Owner { get; set; } 
} 

// All good 
public interface ISimple 
    : IBelongToNodeBase<INode<ISimple>> 
{ 
} 

// Possible infinite inheritance 
public interface IGeneric<TGeneric> 
    : IBelongToNodeBase<INode<IGeneric<TGeneric>>> 
{ 
} 

ReSharper의 인텔리 센스와 관련된 문제 일 수 있습니까? 이것은 실제 사례 시나리오에서 나오며 코드는 아무런 문제없이 컴파일되고 실행됩니다.

Answer 1

ReSharper 설명서는 René에서 제공 한 link을 기반으로 제네릭이 참조하는 세 단계의 중첩 후에이 문제를 제기합니다. 다음과 같은 상황에서

:

class B<U> 
{ 
} 
class A<T> : B<A<A<T>>> 
{ 
} 

당신은 효과적으로 결과적으로 무한 순환 형 B를 상속 A 형으로 끝낼, 어셈블리가 컴파일, 그러나 당신은 그것을 실행할 수 없을 것입니다. 시도 할 경우 다음과 유사한 오류 메시지가 표시됩니다.

어셈블리 'ConsoleApplication1, Version = 1.0.0.0, Culture = neutral, PublicKeyToken = null'어셈블리에서 'ConsoleApplication1.A {{1' 재귀 적 일반 정의가 있기 때문입니다.