Does VisualStudio 2017 already support C++17 code contracts?

Question

does anyone know whether VS2017 already has support for code contracts as seen here C++17 code contracts?

When I try to use them using

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

It does not seem to work.

I am using the command line option /std:c++latest but still I get the warning "Identifier excpected".

Any help is gladly appreciated :)

Contracts aren't even scheduled for C++17, and even if they were, Visual Studio 2017 doesn't have a complete implementation of all C++17 features. — Cody Gray - on strike, Jun 12 '17 at 13:03
@CodyGray alright, thats the (sad) answer. Thank you and Guillaume Racicot as well. — Thomas Flinkow, Jun 12 '17 at 13:05
MSVS 2017 feature list: https://blogs.msdn.microsoft.com/vcblog/2017/05/10/c17-features-in-vs-2017-3/ — NathanOliver, Jun 12 '17 at 13:06
Comparison `fileName != nullptr` is wrong anyway. Did you imply that `fileName` is actually a `char const *`? You could've used `_In_z_` SAL annotation in this case. — user7860670, Jun 12 '17 at 13:11
Yes, and you could also pass `std::string const & fileName` to avoid unnecessary creation of temporary string object. — user7860670, Jun 12 '17 at 13:15
In this case, @VTT, since the function needs a local copy of the `fileName` object, it actually makes more sense to pass it by value. It can then be moved into the field, rather than copied. — Cody Gray - on strike, Jun 13 '17 at 09:41

score 6 · Accepted Answer · answered Jun 12 '17 at 13:15

6

Contracts are not part of C++17, and AFAIK there isn't even a TS (technical specification) available. The latest paper on contracts is P0542R0.

Regardless, you can find all available C++17 features here as NathanOliver mentioned in the comments.

answered Jun 12 '17 at 13:15

Vittorio Romeo

1 Answers1