我们使用?? 运算符来处理 null 值表达式，例如:
string foo = null;
string bar = "woooo";
string foobar= foo ?? bar ;
// Evaluates foobar as woooo
if 语句，在与上述表达式一起使用时具有相同的功能。string foo = null;
string bar = "woooo";
if(foo==null)
string foobar= "woooo" ;
// Evaluates foobar as woooo same as above
还有?: 三元运算符...
string foo = null;
string bar = "woooo";
string foobar= foo==null ? "woooo" : null ;
// Evaluates foobar as woooo same as above
Console.WriteLine("The order} is for {1} product",
orderId, productId ?? "every");
使用 if 将更加笨重：
if (productId == null)
{
Console.WriteLine("The order {0} is for every product",
orderId);
}
else
{
Console.WriteLine("The order {0} is for {1} product",
orderId, productId);
}
是的，你可以将其压缩为一个，但那样你会有一个临时变量等等：
if (productId == null)
{
productId = "every";
}
Console.WriteLine("The order {0} is for {1} product",
orderId, productId);
??的目的是在参数为null时求值得到一个值，而if的目的是执行不同的路径（不能直接产生一个值）。Console.WriteLine("The order {0} is for {1} product",
orderId, productId == null ? "every" : productId);
这两者在很多方面都相似（都会产生一个值），但并不适合用于流程控制。
因此，让我们看看它们的区别。我们以三种方式编写此代码：
// Way 1 with if
string foo = null;
string folder = foo;
if (folder == null)
{
folder = "bar";
}
// Way 2 with ? :
string foo2 = null;
var folder2 = foo2 != null ? foo2 : "bar";
// Way 3 with ??
string foo3 = null;
var folder3 = foo3 ?? "bar";
对于IF，我们得到以下的IL：
IL_0001: ldnull
IL_0002: stloc.0
IL_0003: ldloc.0
IL_0004: ldnull
IL_0005: ceq
IL_0007: ldc.i4.0
IL_0008: ceq
IL_000A: stloc.1
IL_000B: ldloc.1
IL_000C: brtrue.s IL_0016
IL_000E: nop
IL_000F: ldstr "bar"
IL_0014: stloc.0
对于条件运算符（? :），我们得到以下IL：
IL_0001: ldnull
IL_0002: stloc.0
IL_0003: ldloc.0
IL_0004: brtrue.s IL_000D
IL_0006: ldstr "bar"
IL_000B: br.s IL_000E
IL_000D: ldloc.0
IL_000E: nop
IL_000F: stloc.1
对于空合并运算符(??)的IL代码如下:
IL_0001: ldnull
IL_0002: stloc.0
IL_0003: ldloc.0
IL_0004: dup
IL_0005: brtrue.s IL_000D
IL_0007: pop
IL_0008: ldstr "bar"
IL_000D: stloc.1
注意每个操作符都越来越简单了吗？因为if需要分支逻辑来处理不同的语句，所以它更大。而?:更小，因为它仅仅计算一个值（不需要分支到其他语句），但仍然需要加载操作数与null进行比较。
??是所有操作符中最简单的，因为有一条IL指令用于与null进行比较（而非加载null并将其与之进行比较）。
因此，总体来说，您要考虑的是这些操作符在IL方面的差异非常微小，可能对性能产生或不产生影响。无论如何，相对于程序中更加繁重的工作（数学、数据库、网络等），这都会产生非常少的主要差异。
因此，我建议选择最易读的那个，并且只有在通过分析发现当前方法不足并成为瓶颈时才进行优化。
对我来说，使用?:或??的真正原因是当你想要最终结果是一个值时。也就是说，每当你想编写以下内容时：
if (someCondition)
x = value1;
else
x = value2;
?:) ，因为它是一个很好的速记法。根据这个条件，x 得到其中一个值...?? 并说同样的道理，你想基于标识符的 null 值性质来为变量分配一个值。if 对于流程控制非常好，但如果你只返回两个值中的一个或者基于条件分配其中一个值，我会适当地使用 ?: 或 ??。?? 最快，但这些差距非常小，几乎可以忽略不计...10,000,000 iterations of:
?: took: 489 ms, 4.89E-06 ms/item.
?? took: 458 ms, 4.58E-06 ms/item.
if took: 641 ms, 6.41E-06 ms/item.
foobar 分配给某个值。因此，在我的情况下，我使用了 if。使用三元运算符并不合适。 - Mayank Pathak它们应该编译成相同的IL代码，因此执行效果也是相同的。
即使它们不同，性能差异也很小。除非我分析了我的应用程序并发现了这些语句花费了显著的时间，否则我甚至不会考虑这个问题。
除非你可以证明使用更清晰的语法会导致性能问题，否则一定要始终使用最清晰的语法。
?? 运算符实际上编译出的 IL 更少。 - James Michael Hare
foo不是null，第一个示例将把foo分配给foobar。而你的第二个示例则没有这样做。 - comecme嵌入语句不能是声明或标记语句。 - asawyer