Почему в C # есть новое ограничение (), но нет другого подобного ограничения?

В обобщениях C # мы можем объявить ограничение для параметра типа, Tимеющего конструктор по умолчанию, например where T : new(). Тем не менее, никакие другие виды ограничений, как это не действует, new(string)например, и т. Д.

Что является причиной этого с точки зрения языкового дизайна и / или реализации?

Есть ли что-то в том, как работают конструкторы, или в том, как реализована система типов, которая запрещает это (или, по крайней мере, усложняет)? Если так, то, что это? Я помню чтение где-то, что на default(T)самом деле компилируется new T()для T : struct. Возможно, это связано с этим?

Или это просто дизайнерское решение, принятое во избежание усложнения языка?

Для получения авторитетного ответа я бы сослался на ответ Эрика Липперта на этот вопрос в StackOverflow несколько лет назад, фрагмент которого кратко цитируется ниже.

Тем не менее, в этом конкретном случае я, безусловно, могу дать вам несколько причин, по которым я бы отодвинул эту функцию, если она появится на совещании дизайнеров в качестве возможной функции для будущей версии языка.

...

Я говорю, что мы должны либо делать всю функцию, либо не делать ее вообще. Если важно иметь возможность ограничивать типы, чтобы они имели определенные конструкторы, тогда давайте сделаем всю функцию и ограничим типы на основе элементов в целом, а не только конструкторов.

Декомпиляция (в соответствии с предложением Роберта Харви) дала следующее всем, кто заинтересовался. Этот метод:

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().

Так что это так - внутри, конструкторы по умолчанию действительно особенные для C # по отношению к CLR. Предоставление другим конструкторам такой же обработки было бы дорогостоящим, даже если есть некоторые допустимые варианты использования для более сложных ограничений в дженериках.