Обнуляемые дженерики в методах – требует объяснения ⇐ C#

[Anonymous]

Кто-нибудь может объяснить, почему это разрешено:

Код: Выделить всё

class A1
{
public virtual T? F1(T? t) where T : struct { throw new NotImplementedException(); }
public virtual T? F1(T? t) where T : class { throw new NotImplementedException(); }

}

а этого нет:

Код: Выделить всё

class A1
{
public virtual T? F1(T t) where T : struct { throw new NotImplementedException(); }
public virtual T? F1(T t) where T : class { throw new NotImplementedException(); }

}

разница в том, что во втором случае аргументы не обнуляются.
как получается, что подписи одинаковы, если в одном случае это значение типы и в другом случае для ссылочных типов?

Подробнее здесь: https://stackoverflow.com/questions/793 ... xplanation