Question

我正在尝试使用条件运算符，但我对它认为结果应该是的类型感到困惑。

以下是我设计的示例，说明我遇到的问题：

class Program
{
    public static void OutputDateTime(DateTime? datetime)
    {
        Console.WriteLine(datetime);
    }

    public static bool IsDateTimeHappy(DateTime datetime)
    {
        if (DateTime.Compare(datetime, DateTime.Parse("1/1")) == 0)
            return true;

        return false;
    }

    static void Main(string[] args)
    {
        DateTime myDateTime = DateTime.Now;
        OutputDateTime(IsDateTimeHappy(myDateTime) ? null : myDateTime);
        Console.ReadLine();                        ^
    }                                              |
}                                                  |
// This line has the compile issue  ---------------+

在上面指出的行上，我收到以下编译错误：

无法确定条件表达式的类型，因为'＆lt;之间没有隐式转换null＆gt;'和'System.DateTime'

我很困惑因为参数是可以为空的类型（DateTime？）。为什么需要转换呢？如果它为null，则使用它，如果是日期时间，则使用它。

我的印象是：

condition ? first_expression : second_expression;

与：

相同

if (condition)
   first_expression;
else
   second_expression;

显然情况并非如此。这背后的原因是什么？

（注意：我知道如果我将“myDateTime”设为可以为空的DateTime，那么它会起作用。但为什么需要呢？

正如我之前所说，这是一个人为的例子。在我的实例中，“myDateTime”是一个无法为空的数据映射值。）

Answer 1

编译器不会根据结果的用法推断条件运算符的结果类型，而是根据其参数的类型。编译器在看到此表达式时失败，因为它无法推断出结果的类型：

IsDateTimeHappy(myDateTime) ? null : myDateTime;

由于null和DateTime不兼容，您需要告诉编译器类型应该是什么。演职员应该可以做到这一点：

DateTime? x = IsDateTimeHappy(myDateTime) ? (DateTime?)null : myDateTime;
OutputDateTime(x);

现在编译器没有问题。如果您愿意，也可以在一行上写上面的内容（但我可能不会这样做）：

OutputDateTime(IsDateTimeHappy(myDateTime) ? (DateTime?)null : myDateTime);

Eric Lippert在这里也有一个good answer，并详细介绍了编译器如何确定类型。

Answer 2

原因是三元运算符期望两个操作数都属于同一类型。整个运算符在分配给结果之前得到了解（在这种情况下传递给函数），因此编译器无法知道结果类型是什么。

IsDateTimeHappy(myDateTime) ? null : myDateTime

在上述情况下，null和DateTime之间没有转化路径。只要将其中一个转换为DateTime?，编译器就可以转换另一个：

IsDateTimeHappy(myDateTime) ? (DateTime?)null : myDateTime
//OR
IsDateTimeHappy(myDateTime) ? null : (DateTime?)myDateTime

上面的第一行代码可行，因为编译器可以通过隐式转换运算符将DateTime转换为DateTime?：

//In Nullable<T>
public static implicit operator T?(T value);

第二行有效，因为null可以分配给DateTime?，因为后者是引用类型。

Answer 3

return语句不允许隐式转换。如果你有

if (condition)
    return first_expression;
else
    return second_expression;

然后你要比较苹果和苹果。你没有问题 - 正如你所说的那样。

在您的情况下，您在堆栈上为DateTime分配了这么多空间 - 这是一种不可为空的值类型。所以你要做一个对编译器没有任何意义的声明。如果你说，我将通过A或B，那么A和B需要是相同的。在您的情况下，B永远不会是A。

Answer 4

我想这里也回答了这个问题： Nullable types and the ternary operator: why is `? 10 : null` forbidden?

希望这就是你所需要的。 =]

Answer 5

编译器说的是：

如果IsDateTimeHappy(myDateTime)是false，那么我需要返回类型为DateTime的{{1}}类型的值。如果是myDateTime，那么我需要返回一个等于true的值，但是你没有告诉我它应该是什么类型！

这就是Mark的答案是解决方案的原因。如果条件为null，在提供告诉编译器将返回什么类型的值的转换后，它可以检查true和true返回值是否可以转换为（或者是相同的类型。

干杯马克！ ; - ）

Answer 6

而不是null使用default(DateTime?)，然后三元的两边都会有兼容的类型。

在C＃中使用条件运算符键入结果

6 个答案: