在 C# 中使用条件运算符输入结果

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  ---------------+

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

无法确定条件表达式的类型，因为 '<; 之间没有隐式转换。空>'和 'System.DateTime'

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

我的印象是：

condition ? first_expression : second_expression;

与：

if (condition)
   first_expression;
else
   second_expression;

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

（注意：我知道如果我将“myDateTime”设置为可为空的日期时间，那么它就会起作用。但是为什么它需要它？

正如我之前所说，这是一个人为的示例。在我的真实示例中，“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 有一个 好答案，这也与这里相关，并详细介绍了编译器如何确定类型。

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

编译器所说的是：

如果IsDateTimeHappy(myDateTime)为false，那么我需要返回一个DateTime类型的值，等于myDateTime代码>.如果是true，那么我需要返回一个等于null的值，但是你还没有告诉我它应该是什么类型！

这就是为什么马克的答案就是解决方案。在您提供强制转换告诉编译器如果条件为 true 时将返回什么类型的值后，编译器可以检查是否为 true 和 false返回值可以转换为（或属于）相同类型。

干杯马克！ ;-)

Answer 5

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