C++17 的最終特性

黄舟
發布: 2017-02-06 14:15:02
原創
1421 人瀏覽過

最近幾週,C++委員會在奧盧(Oulu)召開會議,C++17的最終特性得以確定,並且它即將成為一個國際標準。在傑克遜維爾(Jacksonville)召開的最後那次會議之後,我對於C++17能給人帶來大驚喜未抱太大的希望,但是奧盧會議卻努力地為C++17新標準增加一些重要而且有趣的特性。 Reddit頁面提供了一個很好的C++17特性總覽,並且,Herb Sutter在最近的CppCast站點上(還有他的行程報道) 也給出了有關C++17特性的很好的見解。另外,Michael Wong為我們呈現出了C++17特性的更完整的概述 。


先說重要的


正如我前面所說,在傑克遜維爾(Jacksonville)召開的那次會議之後,C++17的許多特性已經非常明確。對於是否轉向C++17,我寫了一篇包含三個部分的部落格系列文章,提出了一些建議。我們將進入C++的新世紀,和強大的技術規範一同發布的還有相關的標準,這些都將成為下一代C++標準的組成部分。這意味著,那些非C++17的特性(例如,Concepts或Modules思想)將在即將發布的編譯器中作為插件使用。 Visual Studio目前提供了modules,而GCC是第一個支援concept的編譯器。 Clang也支援modules,而Visual Studio和Clang不久都會實作基於module TS的規格。


而且,我在想​​,接下來的兩次會議將主要處理一些評論、回饋和各個國家團體(又稱ISO成員代表團)所提出的問題。 C++的標準不會增加新內容,而是會有一些或多或少的改變。但還是希望所有的這些特性能在最終的審核中獲得通過。


C++17的最終亮點


std::variant(變體)


讓我們從最讓我驚訝的地方開始:最讓我驚訝的地方開始:最讓我驚訝。是的,嚴肅的說,C++17帶來了std::variant。這太棒了,並且為將來基於變體和其他相關想法的特徵鋪平了道路。例如,樣式匹配,C++上關於這個有一個非常好的談話。根據David Sankel所說,std::variant是按照boost::variant和或其他variant庫進行設計的。與boost::variant有非常相似的API


variant<int, float> v, w;
v = 12;int i = get<int>(v);
w = get<int>(v);
w = get<0>(v); // same effect as the previous linew = v; // same effect as the previous lineget<double>(v); // ill formedget<3>(v); // ill formedtry {
  get<float>(w); // will throw.}catch (bad_variant_access&) {}
登入後複製

能看到這個特徵收錄到了C++17標準中,而不是採用TS detour,非常高興。

if constexpr(expression)

這是static if的C++版本(差不多)。對我來說這是Jacksonville的亮點之一,那時,這並沒有讓它採用。不負眾望,它通過了Oulu對於C++17的最終回顧。有了它,如果在編譯過程中,一個constexpr被評估為真,C++可以輕鬆的讓某些語句塊編譯:

if constexpr (std::is_integer ...) 
{ //integerstuff }
else if constexpr (std::is_floating_point ...) 
{ //floatingpointstuff }
else { // NaN ;) }
登入後複製


這個例子顯式的說明了,constexpr必須在編譯中被判斷為真,但是對於static_assert沒有影響。語句區塊中沒有被選定的static_assert仍然會觸發。這對於標準來說是不恰當的。


還有一個有趣的地方:這個特徵寫為if constexpr,但是標準的拼寫仍然將其命名為constexpr if,但是將它定義為了if constexpr。


在模板中使用auto


對於C++14,匿名表達式能使用auto來定義泛型參數。 目前定義(非型別)模板參數也是可以使用auto的。這使得編寫模板程式碼變得更加容易,因為auto要比class或typename更簡短。定義可變長模板參數也可以使用auto,例如:template


結構化的綁定


直至現在,仍在使用一個有名的訣竅,就是隨意使用std::tie來直接分配一個元組或者一對不同的變量,而不需要手動處理結果類型。這是一個技巧,而且變數必須存在, 現在你可以在一行中宣告變數並進行初始化:

auto [a , b , c] = getvalues();
登入後複製

括號不能少,getvalues回傳一個元組。在建議中沒有提及std::pair,所以使用pair是否也能正常運作並不明確,在一些插入(insert)方法中它是由STL傳回的。


if 和 switch 與 初始化


現在 if 語句中可以定義變數了:if(int x = 42; true != false),這可以結合前面的建議。在一個 if 語句定義的變數在它的 else 部分也是有效的。我記得現代 C++ 設計曾提示透過花括號這樣一個技巧來實現這個功能,但這只是單一變數。


使用這個案例是有趣的,例如在 if 或 switch 中進行鎖定,所有這些函數返回的狀態碼現在都可以在 if 的內部被處理。本質上來說,這相當於寫成 { var x = value; if(...){}else{}} 。

更多

這還不是全部,比如,為了copy ellision(拷貝去除)的改進,保留了std[0-9]+的名稱空間給未來的標準。還有,對於reddit的看法也有許多有趣的討論和觀點。

C++ 17標準正逐步發展完善,標準化的工具也已成熟且投入使用。這對C++來說是最大的收穫。那些想要給下一個C++標準添磚加瓦的人,或許現在就得開始擬定計畫了。 C++的標準化一直是由志工們來推動的,做這個事情沒有錢拿,大家基本上都是一些日常工作和C++相關的人。建議大家去看看isocpp.org,上面有非常nice且詳細的介紹,同時也有各種各樣的mailing lists(郵件表)和工作小組供大家加入。

以上就是C++17 的最終特性的內容,更多相關內容請關注PHP中文網(www.php.cn)!


相關標籤:
來源:php.cn
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板