Оператор с нулевым условием не работает с Func <T> внутри общего метода

Question

Является ли это ошибкой компилятора или существует определенная причина, почему оператор с нулевым условием не работает с Func внутри общих методов?

Для примера следующих не компилировать

public static T Test<T>(Func<T> func) 
{ 
    return func?.Invoke() ?? default(T); 
} 

Ошибка компилятор производит это CS0023 Operator '?' cannot be applied to operand of type 'T'

Я знаю, что вы можете достичь того же делает это, однако:

public static T Test<T>(Func<T> func) 
{ 
    return func != null ? func() : default(T); 
} 

Так почему же это запрещено?

Дальнейшая разработка Action<T> работает, как и следовало ожидать.

public static void Test<T>(Action<T> action, T arg) 
{ 
    action?.Invoke(arg); 
} 

Update (2017-01-17):

После еще некоторых исследований, он делает еще меньше смысла, даже со следующим:

Допустим, у нас есть класс (Reference -типа)

public class Foo 
{ 
    public int Bar { get; set; } 
} 

и скажем, у нас есть Func<int>

Func<int> fun =() => 10; 

следующие работы:

// This work 
var nullableBar = foo?.Bar; // type of nullableBar is int? 
var bar = nullableBar ?? default(int); // type of bar is int 

// And this work 
nullableBar = fun?.Invoke(); // ditto 
bar = nullableBar ?? default(int); // ditto 

что означает, по логике применяется там, то есть Func<T> стоимостного типа с использованием null-conditionalnull-coalescing и операторы должны работать.

Однако, как только левая рука общий тип null-conditional является родовым без каких-либо ограничений, то он не может применить ту же логику, что он должен быть в состоянии с учетом его можно применить ту же логику для обоих ценностных типов и ссылочные типы, когда типы явно применяются.

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

Answer 1

К сожалению, я считаю, вы попали крайний случай компилятора. Оператору ?. необходимо вернуть default(RetrunTypeOfRHS) для классов и default(Nullable<RetrunTypeOfRHS>) для структур. Поскольку вы не ограничивались T, чтобы быть классами или структурами, они не могут определить, какой из них следует продвигать.

Причина: Action<T> работает, потому что тип возврата правой стороны - void для обоих случаев, поэтому ему не нужно решать, какую рекламу делать.

Вам нужно будет использовать длинную форму, которую вы проявили или иметь два метода с различными ограничениями на T

public static T TestStruct<T>(Func<T> func) where T : struct 
    { 
     return func?.Invoke() ?? default(T); 
    } 

    public static T TestClass<T>(Func<T> func) where T : class 
    { 
     return func?.Invoke(); // ?? default(T); -- This part is unnecessary, ?. already 
               // returns default(T) for classes. 
    } 

Answer 2

Вы должны установить ограничение на родовой функции:

public static T Test<T>(Func<T> func) where T: class 
{ 
    return func?.Invoke() ?? default(T); 
} 

Поскольку структура не может быть пустой и ?. требует ссылочного типа.

---

Из комментария от Йерун Мостерта, я имел взгляд на то, что происходит под капотом. A Func<T> является делегатом, который является ссылочным типом. Без каких-либо ограничений на T код не будет компилироваться. Error CS0023 Operator '?' cannot be applied to operand of type 'T'. Когда вы добавите ограничение where T: struct или where T: class, будет создан базовый код.

Код написан:

public static T TestStruct<T>(Func<T> func) where T : struct 
    { 
     return func?.Invoke() ?? default(T); 
    } 

    public static T TestClass<T>(Func<T> func) where T : class 
    { 
     return func?.Invoke() ?? default(T); 
    } 

Кодекс производства и декомпилированы с ILSpy:

public static T TestStruct<T>(Func<T> func) where T : struct 
    { 
     return (func != null) ? func.Invoke() : default(T); 
    } 

    public static T TestClass<T>(Func<T> func) where T : class 
    { 
     T arg_27_0; 
     if ((arg_27_0 = ((func != null) ? func.Invoke() : default(T))) == null) 
     { 
      arg_27_0 = default(T); 
     } 
     return arg_27_0; 
    } 

Как вы можете видеть, код, произведенный при T является структура отличается, чем когда T класс. Поэтому мы исправили ошибку ?. НО: Оператор ?? не имеет смысла, когда T является структурой. Я думаю, что компилятор должен дать compilererror на этом. Потому что использование ?? в структуре не допускается. #BeMoreStrict

Например:

Если я пишу:

var g = new MyStruct(); 
var p = g ?? default(MyStruct); 

Я получаю ошибку компиляции:

Error CS0019 Operator '??' cannot be applied to operands of type 'MainPage.MyStruct' and 'MainPage.MyStruct'