以下将是 C# 7.0 中所有计划的语言特性的描述。随着 Visual Studio “15” Preview 4 版本的发布，这些特性中的大部分将活跃起来。现在是时候来展示这些特性，你也告诉借此告诉我们你的想法！
C＃7.0 增加了许多新功能，并专注于数据消费，简化代码和性能的改善。或许最大的特性就是元祖和模式匹配，元祖可以很容易地拥有多个返回结果，而模型匹配可以根据数据的“形”的不同来简化代码。我们希望，将它们结合起来，从而使你的代码更加简洁高效，也可以使你更加快乐并富有成效。
请点击 Visual Studio 窗口顶部的反馈按钮，告诉我们哪些是你不期待的特性或者你关于提升这些特性的思考。还有许多功能没有在 Preview 4 版本中实现。接下来我会描述一些我们发布的最终版本里将会起作用的特性，和一些一旦不起作用机即会删除掉的特性。我也是支持对这些计划作出改变，尤其是作为我们从你那儿得到反馈的结果。当最终版本发布时，这些特性中的一些将会改变或者删除。
如果你好奇这些特性的设计过程，你可以在 Roslyn GitHub site 上找到很多设计笔记和讨论。
希望 C＃7.0 能带给你快乐！
输出变量
在当前的 C＃ 中，使用输出参数并不像我们想的那样方便。在你调用一个无输出参数的方法之前，首先必须声明一个变量并传递给它。如果你没有初始化这些变量，你就无法使用 var 来声明它们，除非先指定完整的类型：
public void PrintCoordinates(Point p)
{
int x, y; // have to "predeclare"
p.GetCoordinates(out x, out y);
WriteLine($"({x}, {y})");
}
</div>
在 C＃7.0 中，我们正在增加输出变量和声明一个作为能够被传递的输出实参的变量的能力：
public void PrintCoordinates(Point p)
{
p.GetCoordinates(out int x, out int y);
WriteLine($"({x}, {y})");
}
</div>
注意，变量是在封闭块的范围内，所以后续也可以使用它们。大多数类型的声明不建立自己的范围，因此在他们中声明的变量通常会被引入到封闭范围。
Note：在 Preview 4 中，适用范围规则更为严格：输出变量的作用域是声明它们的语句，因此直到下个版本发布时，上面的示例才会起作用。
由于输出变量直接被声明为实参传递给输出形参，编译器通常会告诉他们应该是的类型（除非有冲突过载），所以使用 var 来代替声明它们的方式是比较好的：
p.GetCoordinates(out var x, out var y);</div>
输出参数的一种常见用法是Try模式，其中一个布尔返回值表示成功，输出参数就会携带所获的结果：
public void PrintStars(string s)
{
if (int.TryParse(s, out var i)) { WriteLine(new string('*', i)); }
else { WriteLine("Cloudy - no stars tonight!"); }
}
</div>
注意：这里i只用在 if 语句来定义它，所以 Preview 4 可以将这个处理的很好。
我们计划允许以 a* 为形式的“通配符”作为输出参数，这会让你忽略了你不关心参数：
p.GetCoordinates(out int x, out *); // I only care about x</div>
Note：在 C#7.0 中是否会包含通配符还不确定。
模式匹配
C＃ 7.0 引入了模式概念。抽象地讲，模式是句法元素，能用来测试一个数据是否具有某种“形”，并在被应用时，从值中提取有效信息。
C＃7.0 中的模式示例：
•C 形式的常量模式（C是C#中的常量表达式），可以测试输入是否等于C
•T X 形式的类型模式（T是一种类型、X是一个标识符），可以测试输入是否是T类型，如果是，会将输入值提取成T类型的新变量X
•Var x 形式的 Var 模式（x是一个标识符），它总是匹配的，并简单地将输入值以它原本的类型存入一个新变量X中。
这仅仅是个开始 - 模式是一种新型的 C＃ 中的语言元素。未来，我们希望增加更多的模式到 C# 中。
在 C＃7.0，我们正在加强两个现有的具有模式的语言结构：
•is 表达式现在具有一种右手侧的模式，而不仅仅是一种类型
•switch 语句中的 case 语句现在可以使用匹配模式，不只是常数值
在 C＃的未来版本中，我们可能会增加更多的被用到的模式。
具有模式的 IS 表达式
下面是使用 is 表达式的示例，其中利用了常量模式和类型模式：
public void PrintStars(object o)
{
if (o is null) return; // constant pattern "null"
if (!(o is int i)) return; // type pattern "int i"
WriteLine(new string('*', i));
}
</div>
正如你们看到，模式变量（模式引入的变量）和早前描述的输出变量比较类似，它们可以在表达式中间声明，并在最近的范围内使用。就像输出变量一样，模式变量是可变的。
注：就像输出变量一样，严格范围规则适用于Preview 4。
模式和 Try方法可以很好地协同：
if (o is int i || (o is string s && int.TryParse(s, out i)) { /* use i */ }
</div>
具有模式的 Switch 语句
我们正在归纳 Switch 语句：
•可以设定任何类型的 Switch 语句（不只是原始类型）
•模式可以用在 case 语句中
•Case 语句可以有特殊的条件
下面是一个简单的例子：
switch(shape)
{
case Circle c:
WriteLine($"circle with radius {c.Radius}");
break;
case Rectangle s when (s.Length == s.Height):
WriteLine($"{s.Length} x {s.Height} square");
break;
case Rectangle r:
WriteLine($"{r.Length} x {r.Height} rectangle");
break;
default:
WriteLine("<unknown shape>");
break;
case null:
throw new ArgumentNullException(nameof(shape));
}
</div>
关于新扩展的 switch 语句，有几点需要注意：
•Case 语句的顺序现在变得重要：就像 catch 语句一样，case 语句的范围现在可以相交，第一个匹配上的会被选中。此外，就像 catch 语句一样，编译器通过去除明显不会进入的 case 来帮助你。在此之前，你甚至不需要告诉判断的顺序，所以这并不是一个使用 case 语句的巨大的改变。
•默认的语句还是最后被判断：尽管 null 的 case 语句在最后语句之前出现，它也会在默认语句被选中之前被测试。这是与现有 Switch 语义兼容的。然而，好的做法通常会将默认语句放到最后。
•Switch 不会到最后的 null 语句：这是因为当前 IS 表达式的例子具有类型匹配，不会匹配到 null。这保证了空值不会不小心被任何的类型模式匹配上的情况;你必须更明确如何处理它们（或放弃它而使用默认语句）。
通过一个 case 引入模式变量:标签仅在相应的 Switch 范围内。
元组
这是一个从方法中返回多个值的常见模式。目前可选用的选项并非是最佳的：
•输出参数：使用起来比较笨拙（即使有上述的改进），他们在使用异步方法是不起作用的。
•System.Tuple<...> 返回类型：冗余使用和请求一个元组对象的分配。
•方法的定制传输类型：对于类型，具有大量的代码开销，其目的只是暂时将一些值组合起来。
•通过动态返回类型返回匿名类型：很高的性能开销，没有静态类型检查。
在这点要做到更好，C＃7.0 增加的元组类型和元组文字：
(string, string, string) LookupName(long id) // tuple return type
{
... // retrieve first, middle and last from data storage
return (first, middle, last); // tuple literal
}
</div>
这个方法可以有效地返回三个字符串，以元素的形式包含在一个元组值里。
这种方法的调用将会收到一个元组，并且可以单独地访问其中的元素：
var names = LookupName(id);
WriteLine($"found {names.Item1} {names.Item3}.");
</div>
Item1 等是元组元素的默认名称，也可以被一直使用。但他们不具有描述性，所以你可以选择添加更好的：
(string first, stri