C++17 (C++1z) on ISOn hyväksymä C++-ohjelmointikielen standardiversio ISO/IEC 14882:2017, joka on julkaistu joulukuussa vuonna 2017.^[1][2]

Standardi korvasi edellisen version ISO/IEC 14882:2014 (C++14). Standardin seuraaja on C++20.

Kieleen ja standardikirjastoon liittyviä muutoksia ja ominaisuuksia:

• automaattinen template-mallin tyypin päättely^[3]
  • mallin käyttämä tyyppi voidaan päätellä annetuista parametreista template<auto T> esimerkki { const auto value = T; }; esimerkki<1234> arvo;
• poikkeustyyppirajoitteet (sallittujen tyyppien määrittely)^[4]
  • osittainen palautus aiemmin vanhentuneeksi merkitystä ominaisuudesta: void f() throw(int);
• inline-muuttujat^[5]
  • otsikkotiedostossa (engl.header) määritelty muuttuja, joka käyttäytyy kuten paikallisesti määritelty (voi poistaa tarpeen extern-muuttujien määrittelylle ja parempi käyttöturvallisuus)
• UTF-8-merkkijonoliteraalit^[6]
  • myfunction(u8"Text")
• structured bindings^[7]
  • auto [a, b] = getTwoValues();
• if-lause alustustoiminnolla^[8]
  • mahdollistaa yhdenmukaistamista, samankaltainen alustaminen on jo ennestään for-lauseissa mahdollista, tuki myös switch-lauseisiin
  • esimerkiksi if (QVariant v = getVar(); v.isValid()) cout << v.toInt() << endl;
• käännösaikainen constexpr if^[9]
  • if constexpr (true)
• yleistäminen aluerajatulle for-lauseelle^[10]
• sisäkkäiset nimiavaruudet^[11]
  • mahdollistaa namespace A::B::C {} käytön aiemman namespace A { namespace B { namespace C {}}} sijaan
• fold-ilmaisut^[12][13]
  • muuttujasarjan käsittely: template <typename T1, typename... T>
• taattu kopion välttäminen (engl.copy elision)^[14][15]
  • kopiokonstruktori ja siirto-operaattori voidaan poistaa käytöstä class Foo { Foo(const Foo &) = delete; Foo(const Foo &&) = delete; };
• tyyppiturvallinen union std::variant^[16][17]
  • variant<int, float> v;
• std::any^[18]
  • toisin kuin variant sallii kaikki tyypit ajonaikaisesti käytettäväksi (ei käännösaikaista tarkistusta tai rajoitetta) ja vastaavasti tyyppiturvallisuus heikompi
• std::optional^[18]
• std::string_view, read-only-käsittelijä merkkijonolle^[18]

Fold-ilmaisut (engl.fold expressions) laajentaa kieleen aiemmin lisättyjä toimintoja ja mahdollistaa yksinkertaisemman käsittelyn eräille toiminnoille.

Mallineille annettava muuttuva määrä parametreja (engl.variadic templates) mahdollistaa Haskell-kielen fold-ilmaisujen toteuttamisen C++-kielellä.^[19]

Esimerkkitapaus käytöstä:^[20][13]

// Good with variadics
autoold_sum(){
return0;
}

template<typenameT1,typename...T>
autoold_sum(T1s,T...ts){
returns+old_sum(ts...);;
}

// Better with fold expressions
template<typename...T>
autofold_sum_1(T...s){
return(...+s);
}

Uudessa menetelmässä inline-määrittely yksinkertaistuu ja ulkopuolista aputoimintoa ei tarvita, muuttujalistan purkaminen yksittäisiin ei myöskään ole tarpeen tehdä vaan sen voi jättää kääntäjän/kielen hallittavaksi.

Standardoitu tiedostojärjestelmätuki (ISO/IEC TS 18822:2015) on yksi kehityskohde C++17:ssä.^[21] Tiedostojärjestelmätuki sisältää muun muassa seuraavien asioiden käsittelyä:^[22]

• hakemistoluettelot
• hakemistopolkujen käsittely
  • absoluuttinen polku
  • suhteellinen polku
• symboliset ja kovat linkit

Boost-kirjaston toteutusta ehdotettiin perustaksi standardoitavalle tuelle.^[23][24][22]

STL-kirjastojen rinnakkaisuustuen kehittäminen.^[25] ISO/IEC TS 19570:2015 on liitetty C++17:n standardiin.^[26]

Trigraphien (kolmen merkin tokenit) poistamisen ehdotus^[27] on herättänyt vastustusta mm. IBM:ltä liittyen EBCDIC-merkistön käyttöön.^[28]

Kääntäjätuki merkitään vielä C++1z standardin virallisen vahvistamisen ollessa kesken. Ohjelmointikielen kääntäjät ovat jo pitkällä standardin toteuttamisessa:

• LLVM/Clang-kääntäjän tuki on suurelta osin valmis kääntäjän versiossa 4.^[29]
• GCC-kääntäjän tuki on suurelta osin valmis kääntäjän versiossa 7.^[30]

• C++17 Working Draft (englanniksi)
• Taulukko ominaisuuksien kääntäjätuen tilanteesta (englanniksi)