VisualStudio 2017 是否已经支持 C++17 代码契约？

Question

有谁知道 VS2017 是否已经支持代码契约，如此处所示C++17 code contracts？

当我尝试使用它们时

explicit IniHandler(std::string fileName) [[expects: fileName != nullptr]]
{
    this->fileName = fileName;
}

好像不行。

我正在使用命令行选项 /std:c++latest 但我仍然收到警告 "Identifier excpected".

非常感谢任何帮助:)

Answer 1

契约不是 C++17 的一部分，而且 AFAIK 甚至没有可用的 TS（技术规范）。关于合同的最新论文是 P0542R0.

无论如何，你可以找到评论中提到的all available C++17 features here as NathanOliver。