2014-11-post-Urbanaのレビュー: N4250-N4259

N4250: WG21 2014-10-24 Telecon Minutes

2014年10月24日に行われた電話会議の議事録。

N4251: WG21 2014-11 Urbana Minutes
[PDF注意] N4252: PL22.16 2014-11 Urbana Minutes

2014年11月の3-8日に行われたUrbana会議の議事録。

N4253: Language Support for Runtime Contract Validation (Revision 9)

高級なassertライブラリを追加する提案。

N4254: User-Defined Literals for size_t (and ptrdiff_t)

size_tとptrdiff_tのユーザー定義リテラルを<cstddef>に追加する提案。

#include <cstddef>
int x = 0 ; // int
int s = 0z ; // std::size_t
int p = 0t ; // std::ptrdiff_t

整数リテラルのデフォルトの型はintである。int型は符号付き整数型である。size_tやptrdiff_tは符号なし整数型である。size_tやptrdiff_tを扱うときに、整数リテラルをそのまま書いて演算や比較をしてしまうと、符号を混ぜて処理することになり、思わぬ誤りにつながる。そのため、型安全のためには、size_tやptrdiff_t型のリテラルがほしい。

N4255: Proposed resolution for US104: Allocator-aware regular expressions (rev 3)

正規表現ライブラリをアロケーターに対応させる提案。

Delimited iterators (Rev. 4)

本当の意味でのデリミターをサポートするostream_joinerを追加する提案。

ostream_iteratorに指定するデリミターは、実はサフィックスである。

vector<int> v = {1, 4, 6};
cout << "(";
copy(v.begin(), v.end(), ostream_iterator<int>(cout, ", "));
cout << ")"; // Oops! Prints (1, 4, 6, )

最後の要素の後にもデリミターが出力されてしまう。正しくデリミターを付加する、ostream_joinerを新たに追加する提案。

vector<int> v = {1, 4, 6};
cout << "(";
copy(v.begin(), v.end(), std::make_ostream_joiner(cout, ", "));
cout << ")"; // Prints (1, 4, 6) as desired

N4258: Cleaning up noexcept in the Library (Rev 3)

ムーブコンストラクターなど、標準ライブラリでnoexceptを必須にした関数でも、例外を投げたくなる状況がある。たとえばデバッグモードなど。そのため、規格の文面を、「例外を投げないことが推奨される」という文面に変える提案。

N4259: Wording for std::uncaught_exceptions

現在まだキャッチされていない例外の数を返すint std::uncaught_exceptions() noexceptの文面。