C++17最新進展報告
C++標準委員會最近在夏威夷的科納召開了一次會議，大家可能關心最新的進展，但是按照以往的情況，某些文件需要很久才會公開。會議進行的時候， 大家都在忙著修訂自己的文件，會議之后，大會會收集改好的文件，在幾周之后發布。但是這一次，委員會修改了他們的系統，所以得到早些版本的文件非常簡單， 這些郵件就是公開的。
我從官方收集與組織了這些信息，沒有任何我個人的主觀評論。如果你想知道這次會議的主要內容，請閱讀下面的內容（我已經知道了絕大多數關于C++17 庫的內容，但是要將其全部寫出來還是需要一定的時間）
C++17 核心庫文件
- P0001R1 棄用 register 關鍵字
- P0002R1 bool 類型不再支持++運算符
- P0012R1 異常成為類型系統的一部分，第五版
- P0061R1 支持__has_include
- P0134R0 引入非靜態成員變量的拷貝構造函數//not sure
- P0136R1 重寫繼承構造器(core issue 1941 et al)
- P0160R0 刪除一元運算符的預設值//Wording for removing defaults for unary folds </ul>
- P0004R1 棄用過時的 iostreams 的別名
- P0006R0 采用基于標準庫規范的類型特征變量模板
- P0092R1 優化
- P0007R1 Constant View:一個::as_const 的輔助函數模板
- P0156R0 可變的 lock_guard (Rev. 3)
- P0074R0 使 std::owner_less 更加靈活
- P0013R1 邏輯運算符類型特征 (revision 1) </ul>
- N4531 替換 std::rand，版本三
- P0013R1 邏輯運算符類型特征 (revision 1)[C++17 投票通過]
- 這些文件將會應用于 N4529 草案，然后進行擬議草案技術規范的投票。 </ul>
- P0159R0 將會作為并發技術規范發布，屆時可能稍作改動。 </ul>
- N4505 草案和 P0155R0 的”Task Block R5”負責這項工作。 </ul>
- P0112R1 草案負責這想工作。 </ul>
- P0021R0 草案負責這項工作。 </ul>
- 1274. 常見的非終結符表達式和內嵌初始化列表
- 1391. 非推導模板參數到參數類型的轉化
- 1722. lambda 函數指針轉換函數應該不例外嗎？
- 1847. 部分排序時聲明一致性
- 1863. 拋出對象的類型應該支持 std::current_exception ()
- 1949. ”sequenced after”代替”sequenced before”
- 1975. 允許聲明異常類型
- 1981. 隱式和顯式的上下文轉換
- 1990. decl-specifier-seq 造成的歧義
- 2000. #include 之外的頭文件名稱
- 2004. 常亮表達式中有可變成員的變量
- 2006. Cv-qualified 的 void 類型
- 2015. 虛函數的 odr-use
- 2016. 類型轉換函數的描述中可能存在的歧義
- 2019. 存儲時間描述中成員引用的省略
- 2024. 依賴類型和未解包的參數包
- 2026. Zero-initialization 和 constexpr
- 2027. 指定多個 alignas 的需求不明
- 2031. &&的不兼容
- 2052. 模板參數推導 vs 重載操作符
- 2075. 傳遞短初始化列表給數組引用參數
- 2101. 對類型和值的依賴的錯誤說明
- 2120. 數組作為標準布局類的第一個非靜態成員變量 </ul>
- 1169. num_get 不能和 strto*完全兼容
- 2072. 緩沖區容量定義不明確
- 2101. 一些類型轉換可能產生非預期的類型
- 2111. 處理異常時可能調用那些已經刪除的句柄？
- 2119. 擴展 int 類型缺少哈希函數
- 2127. 帶 raw_storage_iterator 的 Move-construction
- 2133. 重載逗號迭代器
- 2156. 無序容器的 reserve (n)保存的是n-1 個元素
- 2218. 容器如何使用 allocator_traits::construct ()不夠明確
- 2219. INVOKE-ing 一個帶有 reference_wrapper 的指針作為對象表達式
- 2224. 不活躍對象的狀態問題
- 2234. assert ()應該允許在常亮表達式中使用
- 2244. 關于 basic_istream::seekg 的 issue
- 2250. Library Issue 2207 中的 Follow-up
- 2259. 17.6.5.5 規則中有關成員函數的問題
- 2273. regex_match 的歧義
- 2336. is_trivially_constructible/is_trivially_assignable 結果永遠是 false
- 2353. std::next 限制過度
- 2367. pair 和 tuple 無參數時不兼容 is_constructible
- 2380. <cstdlib>應該提供 long ::abs (long) 和 long long ::abs (long long)嗎?
- 2384. 分配器的解除函數需要更好的規范
- 2385. function::assign 分配器參數無意義
- 2435. reference_wrapper::operator ()的標記應該是被刪除
- 2447. 分配器和 Volatile-qualified 值類型
- 2462. std::ios_base::failure 被過度規范
- 2466. allocator_traits::max_size ()默認表現是錯誤的
- 2469. map 的[]操作符和 unordered_map 規則錯誤
- 2473. basic_filebuf 對C文件的兼容
- 2476. scoped_allocator_adaptor 是不可分配的
- 2477. std::vector::erase ()和 std::deque::erase ()的不一致
- 2483. throw_with_nested ()應該使用 is_final
- 2484. rethrow_if_nested ()是不可實現的
- 2485. 常量 tuple&&應該重載 get（）
- 2486. mem_fn ()應該提供向前兼容
- 2487. bind ()不應該是 cv-overloaded, 而應該是 const-overloaded
- 2489. mem_fn ()應該是 noexcept 的
- 2492. 明確 comp 的需求
- 2495. 沒有類似異常安全元素的東西 </ul>
- 2494. [fund.ts.v2] ostream_joiner 應該是 noexcept 的
- 2500. [fund.ts.v2] fundts.memory.smartptr.shared.obs/6 應該適用于 cv-unqualified void
- 2515. [fund.ts.v2]observer_ptr 的確定操作符不能匹配任何簡介
- 2517. [fund.ts.v2] 兩個 propagate_const assignment 操作符返回不正確的類型
- 2526. [fund.ts]experimental::function::swap 條件不正確 </ul>
C++17 庫相關文件
庫基本規范第二版文件
并發規范
并行規范 v2
網絡規范
范圍規范
核心主題
庫主題
Library Fundamentals TS v2 Issues
更多信息
以上只是投票通過的部分記錄。每次的會議都會涉及很多工作，不會全都反映在文件上，比如，有關 modules 的熱烈討論文件中就沒有。雖然我幾乎花了所有的時間在庫工作組中，但是還是不能跟進所有的內容。最終版文件我會在 Reddit 分享各個模塊的進展。
本文作者可以回答大多數有關庫的問題，但是可能回復略有延遲。可以確定的是，庫的可用性提高了。看起來一切都像小貓一樣溫順可愛，但是如果你去 看一眼重載集合，就會發現這些模棱兩可的東西簡直是災難。LWG2451 是作為標準庫定義的一個極好的例子，optional<string> opt_str = “meow”;現在還未實現。對于基本規范沒有什么問題，但是 optional 的 ship-stopper 不符合國際標準。在這次會議上，LWG 意識到一些 issue 影響到了 variant，問題會牽扯到基本規范。當然了，會議會解決這些問題，你不必經歷這些痛苦。