Por que existe uma nova restrição () em C #, mas nenhuma outra restrição semelhante?

Em C # genéricos, podemos declarar uma restrição para um parâmetro de tipo Tter um construtor padrão, dizendo where T : new(). No entanto, nenhum outro tipo de restrição como esse é válido - new(string)por exemplo, etc.

Do ponto de vista do design e / ou implementação da linguagem, qual o motivo disso?

Existe algo na maneira como os construtores trabalham ou na maneira como o sistema de tipos é implementado que proíbe isso (ou pelo menos dificulta)? Se assim for, o que é? Lembro-me de ler em algum lugar que default(T)realmente compila new T()para T : struct. Está relacionado a isso, talvez?

Ou é simplesmente uma decisão de design feita para evitar tornar a linguagem muito complicada?

Para uma resposta autorizada, remeto-lhe a resposta de Eric Lippert para essa pergunta no StackOverflow há alguns anos atrás, um trecho da qual é brevemente citado abaixo.

No entanto, neste caso específico, certamente posso lhe dar algumas razões pelas quais eu recuaria no recurso se ele surgisse em uma reunião de design como um recurso possível para uma versão futura do idioma.

...

Eu digo que devemos fazer todo o recurso ou não fazê-lo. Se é importante poder restringir tipos para ter construtores específicos, vamos fazer o recurso inteiro e restringir tipos com base em membros em geral e não apenas em construtores.

Descompilar (conforme sugestão de Robert Harvey) produziu o seguinte, para qualquer pessoa interessada. Este método:

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

Aparentemente, quando compilado, torna-se o seguinte:

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;
}

• Se Té um tipo de valor, new()torna-se default(T).
• Se Té um tipo de referência, new()funciona usando reflexão. Activator.CreateInstance()chamadas internamente RuntimeType.CreateInstanceDefaultCtor().

Então aqui está - internamente, os construtores padrão são realmente especiais para C # em relação ao CLR. Dar a outros construtores o mesmo tratamento teria sido caro, mesmo se houver alguns casos de uso válidos para restrições mais complicadas em genéricos.