VisualStudio 2017是否已经支持C ++ 17代码合同？

Question

有谁知道VS2017是否已经支持代码合同，如C++17 code contracts所示？

当我尝试使用

时使用它们

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

它似乎不起作用。

我正在使用命令行选项/std:c++latest，但我仍然收到警告 ＆＃34;标识符被排除＆＃34;。

很高兴得到任何帮助：）

Answer 1

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

无论如何，您可以在评论中找到all available C++17 features here作为NathanOliver。