Expression.Condition: типы аргументов не соответствуют

Question

Я пытаюсь использовать выражение для создания этого:

bool.Parse("true") ? default(int?) : 1 

BTW, я использую bool.Parse("true") просто держать VS от жалуясь недостижимыми путями коды, так просто предположим, что он использует константу true. Когда я пишу мое выражение, как это ...

Expression.Condition(Expression.Constant(true), Expression.Default(typeof(int?)), 
    Expression.Constant(1)) 

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

Expression.Condition(Expression.Constant(true), Expression.Default(typeof(int?)), 
    Expression.New(typeof(int?).GetConstructor(new[] { typeof(int) }), Expression.Constant(1))); 

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

bool.Parse("true") ? default(int?) : new int?(1) 

Есть ли способ заставить это тернарное выражение работать без создания нового экземпляра int?? Возможно, это нормально, потому что C# неявно создает новый экземпляр в моем конкретном примере?

Редактировать

Я должен отметить, что я только использую Expression.Constant() эмулировать возвращаемое значение из MethodCallExpression для того, чтобы упростить мой пример кода. Поэтому в этом случае все, что предполагает использование постоянных значений в качестве решения, не будет работать.

Answer 1

Вы можете создать слепок вместо создания экземпляра с new, т.е.

bool.Parse("true") ? default(int?) : (int?)(1) 

так:

Expression.Condition(
    Expression.Constant(true) 
, Expression.Default(typeof(int?)) 
, Expression.Convert(Expression.Constant(1), typeof(int?)) 
) 

Demo.

Answer 2

когда вы пишете bool.Parse("true") ? default(int?) : 1 это на самом деле компилируется к чему-то больше похожее на:

bool.Parse("true") ? default(int?) : new int?(1) 

Так почему бы не просто использовать константу int? со значением 1, например, так:

Expression.Condition(Expression.Constant(true), 
    Expression.Default(typeof(int?)), 
    Expression.Constant(1, typeof(int?))) 

Этой перегрузка Expression.Constant должна быть использована в качестве сдачи int? как object либо окна лежащего в основе int или пропуска null, вы должны явно сказать, что это константа int?.

Answer 3

Введите константа с:

Expression.Condition(Expression.Constant(true), 
    Expression.Default(typeof(int?)), 
    Expression.Constant(1, typeof(int?))) 

Или введите условное выражение с:

Expression.Condition(Expression.Constant(true), 
    Expression.Default(typeof(int?)), 
    Expression.Constant(1), 
    typeof(int?)) 

Первые изменения, как постоянные работы (в обоих случаях значение хранится в виде коробочной int , так же, как и для константы int, и при необходимости распаковывается int?.

Вторым является условие, в котором хранится тип, на который должны быть направлены оба операнда.

Обратите внимание, что не может быть никакого фактического литья, особенно с первыми двумя, например. если вы скомпилируете, вы, скорее всего, скомпилируете форму, которая действует непосредственно на int?, поэтому, если объект выражения требует, чтобы актер действовал, скомпилированный код, который он производит, не работает.

Обратите внимание, что некоторые провайдеры не могут обрабатывать типизированные условия, делая последнюю возможность недоступной. Например. EnumerableQuery не могут с ними справиться (см. https://github.com/dotnet/corefx/issues/3607).