C #에 new () 제약 조건이 있지만 다른 유사한 제약 조건이없는 이유는 무엇입니까?

C # 제네릭에서는 형식 매개 변수 T가 기본 생성자를 갖도록 제약 조건을 선언 할 수 있습니다 where T : new(). 그러나 이와 같은 다른 제약 조건은 유효하지 않습니다 ( new(string)예 : 등).

언어 설계 및 / 또는 구현 관점에서 그 이유는 무엇입니까?

생성자가 작동하는 방식이나 유형 시스템이 구현되는 방식으로 이것을 금지하거나 최소한 어렵게 만드는 것이 있습니까? 그렇다면 무엇입니까? default(T)실제로 컴파일되는 어딘가를 읽은 것을 기억 new T()합니다 T : struct. 이것과 관련이 있습니까?

아니면 언어를 너무 복잡하게 만들지 않기 위해 단순히 디자인 결정을 내렸습니까?

권위있는 답변을 위해 몇 년 전에 StackOverflow에 대한 질문에 대한 Eric Lippert의 답변 을 참조하십시오 . 스 니펫은 아래에 간략하게 인용되어 있습니다.

그러나이 특정 경우에 나는 디자인 회의에서 향후 버전의 언어에 대한 가능한 기능으로 기능이 제공되는 경우 해당 기능을 다시 사용해야하는 이유를 확실히 제시 할 수 있습니다.

...

우리는 전체 기능을 수행하거나 전혀 수행하지 않아야한다고 말합니다. 특정 생성자를 갖도록 유형을 제한하는 것이 중요하다면 생성자뿐만 아니라 일반적인 구성원을 기준으로 전체 기능을 수행하고 유형을 제한합시다.

로버트 하비의 제안에 따라 디 컴파일은 다음과 같은 관심을 가진 사람들에게 다음과 같은 결과를 주었다. 이 방법:

static T GenericMake<T>()
    where T : new()
{
    return new T();
}

분명히 컴파일되면 다음과 같이됩니다.

private static T GenericMake<T>()
    where T : new()
{
    T t;
    T t1 = default(T);
    if (t1 == null)
    {
        t = Activator.CreateInstance<T>();
    }
    else
    {
        t1 = default(T);
        t = t1;
    }
    return t;
}

• 경우 T값 형식이고, new()이된다 default(T).
• T참조 유형 인 경우 new()리플렉션을 사용하여 작동합니다. Activator.CreateInstance()내부적으로 호출합니다 RuntimeType.CreateInstanceDefaultCtor().

내부적으로 기본 생성자는 CLR과 관련하여 실제로 C #에 특별합니다. 다른 생성자에게 동일한 처리 방법을 제공하면 제네릭의 더 복잡한 제약 조건에 대한 유효한 사용 사례가 있더라도 비용이 많이들 것입니다.