C# 6.0 中的一元空检查

我偶然发现了一个有趣的网站，其中讨论了 C# 6.0 的一些新（提议的）功能。您可以在此处阅读：可能的 C# 6.0 功能。

我觉得特别有趣的是一元空检查（也称为零传播运算符？根据该网站，以下声明

var bestValue = points?.FirstOrDefault()?.X ?? -1;

包含 monadic null 检查，该检查当前使用以下代码段实现：

if (points != null) 
{
  var next = points.FirstOrDefault();
  if (next != null && next.X != null) return next.X;
}   
return -1;

我的第一眼是，嘿，这里到底写了什么？但是在看了"旧"代码之后，我开始喜欢它。

但是，我也开始收到一些问题，我想问一下。

• 我假设这个 null 传播运算符是线程安全的。但这实际上是如何执行的呢？竞争条件会被删除还是持续存在？

• 此运算符将如何处理泛型类型？此外，它将如何处理不受约束的泛型类型？例如，考虑

  var resultAfterNullCheck = x?.Y;
  

  如果这里的类型 Y 是使用引用类型、不可为空的值类型和可为空的值类型实例化的，那么就没有什么合理的可做的（因为我想不出该怎么做，因为我根本不知道该怎么做）。那么是否有将返回的默认值？还是会抛出错误？

• 在查看站点提供的示例（我在上面复制了该示例）时，我认为 null 传播运算符的主要好处之一是它只会计算一次语句。但是（也许是由于我对CLR缺乏了解），我对如何执行它感到非常好奇。
  对我来说，第一次评估（如果点等于 null）应该触发扩展方法 FirstOrDefault（） 在点不为 null 时触发，然后返回的类型值为 null 或不为 null，否则将返回 X。所以这实际上是三个评估合并为一个？还是我理解错误？这会影响执行速度吗？

换句话说，执行空检查的旧方法或这个新的可爱运算符会更快？我将尝试在Visual Studio 2015下载完成后立即进行一些研究来检查这一点...但这需要一点耐心...

对这种新的操作员类型有什么想法吗？它真的仍然是一个提议的，还是我们真的可以期望使用这个新的一元零检查？

编辑
由于 Matthew Watson 提供了一篇很好的 MSDN 文章来讨论这个（以及更多）主题，我很好奇它是否提到了我之前关于不受约束的泛型以及这个运算符如何处理这个问题的问题。不幸的是，我还没有找到答案。虽然我认为程序员应该尝试阻止使用无约束泛型，但我仍然可以想象这有时是不可行的。如果是这样的话，重新设计真的有必要吗？