公告：MSVC符合C++标准

实现与C++标准的一致性对于Visual C++团队来说是一条漫长的道路。如果您最近在任何会议上看到我们，您可能已经看到了MSVC一致性幻灯片(你可以拿一份幻灯片或观看2017年CppCon演讲 在这里 完成这个幻灯片上的特性——包括C++ 11、C++ 14和C++ 17的特性——这是我们团队在过去几年中的主要目标之一。

我们很高兴地宣布，在Visual Studio 2017 15.7版中，我们实现了这些功能(技术规范正在进行中，因为它们正在进入标准。）

VisualStudio版本15.7中的MSVC编译器工具集符合C++标准！

我们不会停止我们的一致性努力——总是有新的特性、缺陷报告等等。在这些特征中有一些地方我们知道错误，但是我们相信，在这一点上，C++标准中没有应该用MSVC编译器避免的特征区域（除了下面描述的预处理器）之外，以及浮点，尚未实现）。希望我们的团队在未来能有更多的交流，因为我们会减少剩下的警告。请在博客中查看以下详细信息。

达到一致性

我们的编译器历史悠久： 二月是Visual C++产品第二十五周年 . 这个 Visual C++内置的微软C产品已有35年历史。 . 在编译器的整个历史中，我们首先关心的是保持兼容性，这样代码就不会被破坏。 我们仔细记录了为符合性所做的所有更改 ，使我们的修复程序在可能的情况下与源代码兼容，并在需要更改代码时提供解决方法。三年前， 我们公布了我们的编译器重写 . 我们已经在一个我们称之为“复兴”的过程中对编译器进行了一次大修。旧的YACC解析器和“Rejuv”递归下降解析器在我们今天的编译器中并排运行。当我们能够实现它们时，我们已经将特性从旧代码单独移动到“Rejuv”代码。这项技术使我们能够不断取得进展，同时尽量减少破坏性的变化。重写特性有时会导致一些倒退，对于给您带来的不便，我们深表歉意。然而，总体上，在现代编译器上实现现代C++特性比在我们几十年前的解析器上要容易得多，其中一些功能无法完全实现。

标准库一致性

标准库的MSVC实现最近获得了一些主要的新特性：并行算法、文件系统、constexpr字符特性、特殊数学以及对类模板参数推导的支持。我们的功能状态的详细表格如下所示。

编译器一致性

使用VisualStudio 2017版本15.7，我们将完全实现C++标准中几乎所有的功能，包括通过C++ 17实现的所有版本。其余的功能已经实现（并且将很快装运）或正在实施。这包括完成了一些我们从C++ 11/14中所做的更困难的功能：两阶段名称查找，表达式sFANEA，扩展 constexpr ，并打包扩展。每一个编译器都有bug我们在其他实现中报告了一些一致性bug，同时用新的眼光实现了旧的特性。我们将继续解决我们的缺陷，并继续实现新的特性，因为它们在标准草案中被采用。

技术规格

MSVC在许多技术规范方面也处于领先地位。MSVC拥有最完整的 模块TS的C++扩展 . 我们有最古老的 协同程序的C++扩展 最近我们重新编写了用于协同程序的优化器。微软正在推出大量同时使用模块和协同程序的产品。我们一直在研究 范围TS的C++扩展 ，以改善TS，并使MSVC达到我们可以支持的范围。而大多数 概念的C++扩展 已经被合并到C++ 20标准草案中，我们致力于在C++ 20工作中尽早实现该功能。

“但是……呢？”

我们将重点放在流行的OSS库上，同时保持大型代码库的源代码兼容性，从而推动了我们的一致性工作。一些主要的库仍然不能用MSVC正确地编译，我们正在积极地研究它们。

• 助推。Hana：
  • 扩展 constexpr 在我们的编译器中也是一个挑战。我们有一些已知的bug，但是我们相信我们的实现是一致的。作为一个具体的例子，我们发现了大约10个阻塞 constexpr 编译时的错误 Boost Hana，“元编程标准库” . 在我们积极修复这些编译器错误的同时，如果我们将源代码变通方法更改应用到Hana，那么我们可以通过大约30-40%的Hana测试。我们目前正在完全重写constexpr求值器，以解决剩下的问题。
• 包装扩展：
  • 包扩展很快成为C++的结构。我们的实现也在发展，因为我们移动构造来使用新的“复兴”编译器解析树。我们在可变的通用lambda、数组上的包扩展和函数模板的偏序方面有一些缺陷，这些缺陷将通过使用新的解析树来解决。我们也在修复 重写继承构造函数 正确使用包扩展。
• 范围V3：
  • 别名模板在许多现代C++库中被大量使用。MSVC的别名模板有缺陷，这些缺陷会阻止某些库的编译，例如RangeV3。我们正在新的“rejuv”解析器上实现部分功能。新的解析树将帮助我们修复MSVC中别名模板的所有剩余错误( 范围v3 是将范围支持添加到C++标准的建议的基础。我们有一个 范围分岔v3 这在MSVC上是可行的，但它明显落后于v3主干。）
• 预处理器：
  • 大多数代码库不使用深奥的宏，所以我们才刚刚开始主要的预处理器一致性工作。我们已经修复了在OSS库中遇到的错误，但是我们没有做出会破坏现有代码的更改。我们将在稍后的VisualStudio2017版本中引入一个opt-in开关，它将允许您使用一个一致的预处理器，该预处理器不再支持许多代码库中存在的一些旧MSVC ISM。
• 一如既往，在 开发者社区门户 将被视为和响应的Visual C++团队。

功能状态表

以下是Stephan T准备的特性状态表和注释。Lavavej（没有通常的颜色突出显示）。

• C++ 20： 在C++ 20之前，我们正在努力完成C++ 17，所以尚未实现C++ 20的特性没有在这些表中列出。在STL中，“17早于20”有一些小的例外。 P0809R0型 “比较无序容器”和 P0858R0型 我们的实现已经实现了“Constexpr迭代器需求”，并且 P0777R1型 “避免不必要的衰退”纯粹是编译器吞吐量的改进。
• 药方： 为了清楚起见，我们省略了一些不适用的文件（实现者不需要做什么，用户也不需要利用这些文件），比如措辞澄清。
• [throw（）]： 在/std:c++14 模式下，动态异常规范仍然没有实现，throw（）仍然被视为uu declspec（nothrow）的同义词。在C++ 17中，动态异常规范主要通过 P0003R5型 ，留下一个痕迹：throw（）已被弃用，并且必须作为noexcept的同义词。在/std:c++17 模式下，MSVC现在通过赋予throw（）与noexcept相同的行为来符合标准，即通过终止来执行。编译器选项 /Zc:noexcept