일반 제약 구문 및 사용

Question

최대 두 값을 반환하는 일반 Max 메서드를 작성하려고한다고 가정합니다. 나는 일반 인터페이스 IComparable<T>를 이용할 수있다 : [무시 null 확인]

static T Max<T>(T x, T z) where T : IComparable<T> 
{ 
    return x.CompareTo(z) > 0 ? x : z; 
} 

벌금을.

static void Initialize<T>(T[] array) where T : new() 
{ 
    for (int i = 0; i < array.length; i++) 
     array[i] = new(T); 
} 

가 (이 맥락에서 new() 여기 나를 혼란)이 구문을 채택 할이 켜지지 것 : 지금은하지 않는 첫 번째 것은 위의 예에 다음의 확장자는? 또한, 나는 여기에

class GenericClass<T> where T : SomeClass, Interface 
             where U : new() 
{ /* Some Code */ } 

내가 T이 이 형 제약 U에서을 필터링하는 유형의 제약 조건이라고 가정 나를 더욱 befuddles 다음과 같은 일반적인 템플릿을 보았다. 그렇다면이 경우에 우리는 쓸 수 있습니다

class Magic<T> 
{ 
    Magic<U> SomeOtherClass<U>() where U : T { /* Some Code */ } 
} 

이 권리와 C#에서 가능한 이런 종류의 계층 구조의 수는 있습니까?

Answer 1

글쎄, new() 제약 조건이 유용한 곳을 예로 들었을 것입니다. 매개 변수없는 생성자를 호출하여 생성 된 "new"객체로 배열을 채우려는 경우입니다. 이에 관해서는

:

class GenericClass<T> where T : SomeClass, Interface 
            where U : new() 

... U을 제한하려고으로 즉, 컴파일되지 않습니다,하지만이 형식 매개 변수로 선언 아니에요.

그러나 Magic<T>이 컴파일되어 U이 T과 적절히 호환되도록 할 것입니다. 합니다 (정확한 세부 사항은 까다로운이다; 사양을 참조하십시오.)

예를 들어,

new Magic<Stream>.SomeOtherClass<FileStream>() 

또는

new Magic<IFormattable>.SomeOtherClass<int>()