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

Question

有谁知道VS2017是否已经支持代码合同,如此处所见的C++ 17代码合同？

当我尝试使用它们时

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

它似乎不起作用.

我正在使用命令行选项/std:c++latest但仍然收到警告"标识符已被删除".

任何帮助很高兴:)

Answer 1

合同不是C++ 17的一部分,而AFAIK甚至没有TS(技术规范)可用.最新的合同文件是P0542R0.

无论如何,你可以找到这里所有可用的C++ 17的功能为NathanOliver在评论中提到.