文書の一覧
全部で52本あります(SG22のWG14からのものは除きます)。
- P0447R18 Introduction of std::hive to the standard library
- P0792R6 function_ref: a non-owning reference to a Callable
- P1018R14 C++ Language Evolution status 🦠 pandemic edition 🦠 2021/09–2022/01
- P1083R4 Move resource_adaptor from Library TS to the C++ WP
- P1206R7 Conversions from ranges to containers
- P1240R2 Scalable Reflection
- P1664R6 reconstructible_range - a concept for putting ranges back together
- P1841R2 Wording for Individually Specializable Numeric Traits
- P1854R3 Conversion to literal encoding should not lead to loss of meaning
- P1885R9 Naming Text Encodings to Demystify Them
- P1899R2 stride_view
- P2000R3 Direction for ISO C++
- P2079R2 System execution context
- P2093R12 Formatted output
- P2165R3 Compatibility between tuple, pair and tuple-like objects
- P2248R4 Enabling list-initialization for algorithms
- P2249R4 Mixed comparisons for smart pointers
- P2286R5 Formatting Ranges
- P2286R6 Formatting Ranges
- P2300R4 std::execution
- P2302R3 std::ranges::contains
- P2324R2 Labels at the end of compound statements (C compatibility)
- P2363R3 Extending associative containers with the remaining heterogeneous overloads
- P2370R2 Stacktrace from exception
- P2375R1 Generalisation of nth_element to a range of nths
- P2404R1 Move-only types for equality_comparable_with, totally_ordered_with, and three_way_comparable_with
- P2404R2 Move-only types for equality_comparable_with, totally_ordered_with, and three_way_comparable_with
- P2424R0 Abbreviated Parameters
- P2437R1 Support for #warning
- P2447R2 std::span and the missing constructor
- P2448R1 Relaxing some constexpr restrictions
- P2457R0 2021 December Library Evolution Poll Outcomes
- P2458R0 2022 January Library Evolution Polls
- P2468R2 The Equality Operator You Are Looking For
- P2474R1 views::repeat
- P2494R1 Relaxing range adaptors to allow for move only types
- P2498R1 Forward compatibility of text_encoding with additional encoding registries
- P2507R1 Limit [[assume]] to conditional-expressions
- P2508R1 Exposing std::basic-format-string
- P2511R0 Beyond operator(): NTTP callables in type-erased call wrappers
- P2512R0 SG16: Unicode meeting summaries 2021-06-09 through 2021-12-15
- P2513R0 char8_t Compatibility and Portability Fixes
- P2514R0 std::breakpoint
- P2515R0 std::is_debugger_present
- P2516R0 string_view is implicitly convertible from what?
- P2517R0 Add a conditional noexcept specification to std::apply
- P2520R0 move_iterator<T*> should be a random access iterator
- P2521R0 Contract support -- Working Paper
- P2523R0 Request for re-inclusion of std::hive proposal in C++23
- P2524R0 SG14: Low Latency/Games/Embedded/Finance/Simulation 2020/12/09-2022/01/12
- P2525R0 SG19: Machine Learning Meeting Minutes 2020/12/10-2022/01/13
- P2527R0 std::variant_alternative_index and std::variant_alternative_index_v
- おわり
P0447R18 Introduction of std::hive to the standard library
要素が削除されない限りそのメモリ位置が安定なコンテナであるstd::hive
(旧名std::colony
)の提案。
以前の記事を参照
- P0447R11 Introduction of std::colony to the standard library - [C++]WG21月次提案文書を眺める(2020年12月)
- P0447R12 Introduction of std::colony to the standard library - [C++]WG21月次提案文書を眺める(2021年01月)
- P0447R13 Introduction of std::colony to the standard library - [C++]WG21月次提案文書を眺める(2021年04月)
- P0447R14 Introduction of std::colony to the standard library - [C++]WG21月次提案文書を眺める(2021年05月)
- P0447R15 Introduction of std::hive to the standard library - [C++]WG21月次提案文書を眺める(2021年06月)
- P0447R16 Introduction of std::hive to the standard library - [C++]WG21月次提案文書を眺める(2021年09月)
- P0447R17 Introduction of std::hive to the standard library - [C++]WG21月次提案文書を眺める(2021年11月)
このリビジョンでの変更は、<=>
を追加したこと、標準ライブラリ内外のコンテナ選択ガイドをapendixに追加したこと、提案する文言の改善、などです。
P0792R6 function_ref: a non-owning reference to a Callable
Callableを所有しないstd::function
であるstd::function_ref
の提案。
C++において高階関数(関数を受け取る/返す関数)を書くときに、既存の関数(Callable)を参照したいことがよくあります。しかし、現在の標準ライブラリにはそのために使用できる効果的なものがありません。
現在使用可能な手段には以下の3つがあります
- 関数ポインタ
- 参照するものがステートレスである場合にのみ使用可能。また、メンバ関数ポインタやメンバ変数ポインタを処理しなければならない
std::function
- 格納するCallableを所有するため、意図しないオーバーヘッドが発生しうる
- 所有権が必要ない場合には不適格
- テンプレート
- 特定のシグネチャに制約するのが難しく、ヘッダにコードを書かなければならない
特定のCallablelを単に参照したいだけの場合に最適なものが現在のC++には欠けており、std::function_ref
はそのギャップを埋めるためのユーティリティです。std::function_ref
はその名前の通り受け取ったCallableを所有せず参照し、なおかつstd::function
とほぼ同等のインターフェースと型消去を提供します。
std::function_ref
は特に、関数の引数で任意のCallablelを受け取りたい場合に有用です。例えば次のような関数を書くとき
struct payload { /* ... */ }; // times回までactionを繰り返す // actionが有効なpayloadを返したときはそこで終了 // それ以外の場合はnulloptを返す std::optional<payload> retry(std::size_t times, /* ????? */ action);
この/* ????? */
の部分には前述のいくつかの書き方があります
// 関数ポインタ // 利点 : 実装が簡単で追加の制約が必要なく、オーバーヘッドも最小(コンパイラは呼び出しをインライン化できるはず) // 欠点 : ステートフルなCallableを扱えない std::optional<payload> retry(std::size_t times, std::optional<payload>(*action)()) { /* ... */ } // std::function // 利点 : ステートフルも含めて、指定したシグネチャに合う任意のCallableを受け取れる // 欠点 : 所有権が不明瞭(reference_wrapperを使用している可能性がある)、大きなオーバーヘッドを発生させうる(動的割り当て、分岐、例外、インライン化困難) std::optional<payload> retry(std::size_t times, std::function<std::optional<payload>()> action) { /* ... */ } // テンプレート // 利点 : ステートフルも含めて任意のCallableを受け取れる、オーバーヘッドがない // 欠点 : 実装しづらく読みづらい(enable_ifやis_invocableによる制約周り)、ヘッダに書かざるを得ない template <typename F> auto retry(std::size_t times, F&& action) -> std::enable_if_t<std::is_invocable_r_v<std::optional<payload>, F&&>, std::optional<payload>> { /* ... */ }
std::function_ref
はこれらのいいとこ取りをするもので、次のように使用できます
// function_ref template <typename F> auto retry(std::size_t times, std::function_ref<std::optional<payload>()> action) { /* ... */ }
使用感はstd::fucntion
と同様で、std::fucntion
のメリットをそのまま享受でき、所有権は明確(所有していない)です。オーバーヘッドに関しては関数ポインタとほぼ同等であり、コンパイラによるインライン展開を期待できます。また、std::function_ref
は空の状態がないため呼び出し時のnullチェックが不要で、target_type
などのRTTIが必要なインターフェースも持ちません。
他にも、std::function_ref
はstd::move_only_function
と同様にconst, noexcept
を指定することができます。
struct A { int operator()() const noexcept { return 1; } int operator()() { return 2;} } obj; function_ref<int() const noexcept> fr = obj; fr(); // 1
この提案は、C++23を目指してLWGでのレビュー中です。
P1018R14 C++ Language Evolution status 🦠 pandemic edition 🦠 2021/09–2022/01
2021年9月から2022年1月の間のEWGの活動についてのレポート。
2022年1月末までにEWGの電子投票にかけられる提案は以下のものです
- P2280R3 Using unknown references in constant expressions
- P2468R1 The Equality Operator You Are Looking For
- P2327R1 De-deprecating volatile compound operations
- P2266R2 Simpler implicit move
- P1467R8 Extended floating-point types and standard names
- P2350R2 constexpr class
- P1169R3 static operator()
- P1774R5 Portable assumptions
- P1494R2 Partial program correctness
- P2448R0 Relaxing some constexpr restrictions
- P2437R0 Support for #warning
- P2324R1 Labels at the end of compound statements (C compatibility)
- P2071R1 Named universal character escapes
- P2295R5 Support for UTF-8 as a portable source file encoding
- P2290R2 Delimited escape sequences
- P2362R3 Remove non-encodable wide character literals and multicharacter wide character literals
- P2348R2 Whitespaces Wording Revamp
これらの提案は全て、C++23に導入するべくEWGからCWGへ転送するための最終確認の投票にかけられています。特に、最初の3つとP2448R0はDRです。
C++23に向けたEWGの活動としてはあとはコア言語Issueの解決のみで、おそらくこれ以上コア言語に対する機能追加がC++23に対して行われることはなさそうです。
P1083R4 Move resource_adaptor
from Library TS to the C++ WP
pmr::resource_adaptor
をLibrary Foundermental TSからワーキングドラフトへ移動する提案。
pmr::resource_adaptor
は任意のアロケータをmemory_resource
のインターフェースにアダプトさせるものです。これによって、std::pmr::polymorphic_allocator
で任意のアロケータをより簡易に利用できるようになります。
template<typename Alloc> class resource_adaptor_impl : std::memory_resource { // ... }; template<typename Alloc> using resource_adaptor = resource_adaptor_impl<typename std::allocator_traits<Allocator>::template rebind_alloc<char>>;
このresource_adaptor_impl
のようなものは説明専用のクラスとして指定されているため、実際にはこの名前ではありません。これは例えば次のように使用します
// オレオレアロケータ class my_allocator; int main() { std::pmr::resource_adaptor<my_allocator> mr{}; std::pmr::polymorphic_allocator<> pmralloc{&mr}; }
pmr::resource_adaptor
がない場合、my_allocator
をラップしてmemory_resource
にアダプトするようなクラスを手書きする必要がありました。
polymorphic_allocator
はアロケータカスタマイズポイントとして便利であるため、今後テンプレートパラメータでアロケータを取る代わりに利用されることが増えていくと思われます。そこにアロケータを渡すには、それがすでにpolymorphic_allocator
そのものであるかmemory_resource
にアダプトされている必要があります。resource_adaptor
は後者のケースのヘルパとなるユーティリティであり、これがあることでpolymorphic_allocator
の利用がより促進されます。また、resource_adaptor
は長期間Library Foundermental TSに存在しており、その実装は安定しているためワーキングドラフトへの導入の敷居も低いと思われます。この提案はこれらの理由からresource_adaptor
の標準入りを目指すものです。
ただし、この提案ではアライメント指定周りの設計が少し変更されています。memory_resource
の.do_allocate()
(および.do_deallocate()
)では第二引数にアライメント指定を受け取ります。resource_adaptor
がラップしているアロケータに正しくこのアライメント指定を伝達するには、そのアライメント指定に沿ったアライメントを持つ別の型U
で元のアロケータをrebind
することですが、.do_allocate()
にはアライメント指定が実行時に渡ってきます。そのため、resource_adaptor::do_allocate()
では、可能なアライメント指定毎にそのアライメントを持つ型を求めてそれによって元のアロケータをrebind
してからallocate()
を呼び出します。
template<typename Alloc> class resource_adaptor_impl : std::memory_resource { Alloc m_alloc; // ... void* do_allocate(std::size_t bytes, std::size_t alignment) override { // alignmentは2のべき乗の値だけを考慮する // alignmentの値毎に適切な型Uでrebindする switch(alignment) { case 4 : { using U = int32_t; const std::size_t n = (bytes + sizeof(U) - 1) / sizeof(U); return allocator_traits<Alloc>::template rebind_traits<int32_t>::allocate(m_alloc, n); } case 8 : { using U = int64_t; const std::size_t n = (bytes + sizeof(U) - 1) / sizeof(U); return allocator_traits<Alloc>::template rebind_traits<int32_t>::allocate(m_alloc, n); } case 16 : ... case 32 : ... case 64 : ... default : assert(false); }; } };
おおよそこのような実装が行われるらしいですが、この実装は明らかに余計なテンプレートの実体化を伴うため、コードの肥大化やコンパイル時間の増大といった問題があります。それはどうしようもないですが、せめて考慮すべき数を減らすためにこの提案のresource_adaptor
は第二テンプレート引数にこのアライメントの最大値を指定できるように修正されています。この最大値によって上記のようなコード生成の上限を指定します。
また、上記例ではU
にint32_t
などを使用しましたがこれも適切ではなく、この指定したアライメントを持つU
を求めるためのaligned_raw_storage<Align, Size>
(オーバーアラインされる場合のU
を求める)、aligned_type<Align>
(オーバーアラインされない場合にU
として適切なスカラ型を指定する)、aligned_object_storage<T>
(T
についてaligned_raw_storage<sizeof(T), sizeof(T)>
を求め、ストレージとして利用しやすくするヘルパ型)といった型特性クラスも同時に提案されています
P1206R7 Conversions from ranges to containers
任意のrangeをコンテナへ変換/実体化させるためのstd::ranges::to
の提案。
- P1206R2 ranges::to: A function to convert any range to a container - [C++]WG21月次提案文書を眺める(2020年10月)
- P1206R3 ranges::to: A function to convert any range to a container - [C++]WG21月次提案文書を眺める(2020年11月)
- P1206R4 Conversions from ranges to containers - [C++]WG21月次提案文書を眺める(2021年07月)
- P1206R6 Conversions from ranges to containers - [C++]WG21月次提案文書を眺める(2021年08月)
このリビジョンでの変更は、全体的なtypoの修正と、提案する文言の改善です。
この提案は、2月の全体会議に投票にかけられ、C++23WD入りが決定しています。
P1240R2 Scalable Reflection
値ベースの静的リフレクションの提案。
現在のReflection TS(N4766)はテンプレートメタプログラミングとの親和性を意識して型ベースのリフレクションとして設計されています。そこでは、reflexpr()
という構文によって任意のエンティティからメタ情報を型として抽出し、各種traits型によってそれを処理します。
#include <reflect> // 型名を取得する template <typename T> std::string get_type_name() { namespace reflect = std::experimental::reflect; // T(テンプレートパラメータ)のメタ情報を取得 using T_t = reflexpr(T); // テンプレートパラメータから元の型のメタ情報を得る using aliased_T_t = reflect::get_aliased_t<T_t>; // Tの元の型名をstringで取得 return reflect::get_name_v<aliased_T_t>; }
このような型ベースリフレクションはTMPの文脈では扱いやすいものですがconstexpr
の文脈においては扱いづらく、静的リフレクションで得たメタ情報からコード生成をする処理などが書きづらくなります。そこで、constexpr
と親和性の高い値ベースのリフレクションが提案され(P0425R0)、SG7(Reflection Study Group)ではその方向性でリフレクションを検討していくことにしたようです。
この提案はその後の議論や提案の作業を反映した、値ベースの静的リフレクションを提案するものです。
先ほどの型名取得コードは、この提案では次のようになります。
#include <meta> template<typename T> std::string get_type_name() { // Tのメタ情報を取得 constexpr std::meta::info reflected = ^T; // Tの型名をstring_viewで取得 std::string_view name = std::meta::name_of(reflected); return std::string(name); }
reflexpr
は^
になり、その結果は型ではなく値となります。その後でも、get_name_v<T>
のような型特性クラスではなくname_of()
のような関数によってメタ情報を処理していくことができます。テンプレートパラメータに対するreflexpr(T)
ではテンプレートパラメータそのもののメタ情報がまず得られていましたが、^T
ではインスタンス化後、具体的な型で置き換えられたT
についてのメタ情報(すなわち与えられた型の直接のメタ情報)が得られます。むしろ、この提案ではテンプレートパラメータそのもののメタ情報を得る手段を提供していません。
別のサンプル
// 列挙値名を文字列化する template<Enum T> std::string to_string(T value) { // Tの列挙値のシーケンスを取得 template for (constexpr auto e : std::meta::members_of(^T)) { // valueに一致する列挙値名を返す if ([:e:] == value) { return std::string(std::meta::name_of(e)); } } return "<unnamed>"; }
このコードは次の3つのことを行なっています
- 列挙型から列挙値のシーケンスを取得する
- 列挙値のシーケンスから、
value
と一致するものを探す - 一致した列挙値の名前を返す
1は、^T
によって取得したT
のメタ情報からmembers_of()
によって列挙型T
のメンバ(すなわち列挙値)のメタ情報のシーケンスを取得します。T
の列挙値それぞれに対して^
した結果の型をinfo
とすると(これは実際にstd::meta::info
という型です)、members_of()
の戻り値型はstd::span<info, N>
となります。
2はtemplate for
構文によって行われており、これはexpansion-statementという構文です。members_of()
の戻り値のspan
の各要素に対してその本体が繰り返し適用されますが、これは実行時ループではなく、I = 0...N-1
毎に次のようなコードの繰り返しとして展開されます。
{ constexpr std::meta::info e = s[I]; if ([:e:] == value) return std::meta::name_of(e); }
expansion-statement内では、[:e:]
の構文によってT
の列挙値のメタ情報e
からその値を復元します。この処理はスプライシングと呼ばれ、これによって実行時の値value
との比較が可能となり、最初にマッチしたe
について、その名前(コード上での列挙値名)をname_of()
によって取得(std::string_view
で得られる)して返します。もし一致するものが見つからない場合(|
でビット合成した列挙値など)、"<unnamed>"
を返します。
このコードは実行時とコンパイル時が入り乱れていてわかりづらいですが、^
などによって得られるメタ情報やexpansion-statementによるイテレート、[:...:]
によるスプライシングなどは全てコンパイル時に実行されており、これらの機能によって生成・追加される実行時メタ情報は何もありません。^
から始まる一連のメタ情報の処理は全て静的に解決されており、これが値ベースの静的リフレクションです。
この提案も含めて値ベースリフレクションはまだSG7での議論中であるので、C++23に入ることはないでしょう。現在のReflection TSも、値ベースリフレクションによって書き換えられるはずなので、それもC++23に導入されることはなさそうです。静的リフレクションがC++に導入されるのは早くてもC++26、TSとしての経験を重視する場合はもっと後になるかもしれません。
- N4766 Working Draft, C++ Extensions for Reflection
- P0425R0 Metaprogramming by design, not by accident
- P0993R0 Value-based Reflection
- P1240 進行状況
P1664R6 reconstructible_range
- a concept for putting ranges back together
view
によって別のrange
に変換されてしまった範囲を、元のrange
(と同じ型)に戻す操作、std::ranges::reconstruct
と関連するコンセプトの提案。
以前の記事を参照
- P1664R3 reconstructible_range - a concept for putting ranges back together - [C++]WG21月次提案文書を眺める(2021年04月)
- P1664R4 reconstructible_range - a concept for putting ranges back together - [C++]WG21月次提案文書を眺める(2021年06月)
- P1664R5 reconstructible_range - a concept for putting ranges back together - [C++]WG21月次提案文書を眺める(2021年08月)
このリビジョンでの変更は、モチベーションセクションの改善、カスタマイゼーションポイントの調整、ranges::reconstruct
に4つのオーバーロードがあることの説明の追記、提案する文言の改善、SG9からのフィードバックの反映、などです。
P1841R2 Wording for Individually Specializable Numeric Traits
std::numeric_limits
に代わる新たな数値特性(numeric traits)取得方法を導入する提案。
以前の記事を参照
このリビジョンでの変更は、提案する文言の改善とP2485R0の内容を反映したことです。
この提案はC++23に導入すべく、現在LWGにおいて最終レビューが行われています。
P1854R3 Conversion to literal encoding should not lead to loss of meaning
文字列リテラルのエンコーディングを実行時エンコーディングに変換する際、文字表現が失われる場合をコンパイルエラーとする提案。
以前の記事を参照
- P1854R1 Conversion to literal encoding should not lead to loss of meaning - [C++]WG21月次提案文書を眺める(2021年10月)
- P1854R2 Conversion to literal encoding should not lead to loss of meaning - [C++]WG21月次提案文書を眺める(2021年11月)
このリビジョンでの変更は、typo修正と、提案する文言についてP2362R3によるものとの違いを明確化したことです。
P1885R9 Naming Text Encodings to Demystify Them
システムの文字エンコーディングを取得し、識別や出力が可能なライブラリを追加する提案。
以前の記事を参照
- P1885R3 Naming Text Encodings to Demystify Them - [C++]WG21月次提案文書を眺める(2020年9月)
- P1885R4 Naming Text Encodings to Demystify Them - [C++]WG21月次提案文書を眺める(2020年11月)
- P1885R5 Naming Text Encodings to Demystify Them - [C++]WG21月次提案文書を眺める(2021年02月)
- P1885R6 Naming Text Encodings to Demystify Them - [C++]WG21月次提案文書を眺める(2021年08月)
- P1885R7 Naming Text Encodings to Demystify Them - [C++]WG21月次提案文書を眺める(2021年08月)
- P1885R7 Naming Text Encodings to Demystify Them - [C++]WG21月次提案文書を眺める(2021年10月)
このリビジョンでの変更は
- 提案する文言の修正
- ほとんどの関数が
CHAR_BIT == 8
を適格要件(破られればコンパイルエラー)とした - ワイド文字列版のオーバーロードを削除(P2419R0への対応)
- P2498R0への対応(提案されている解決策を採用しない)
などです。
P1899R2 stride_view
範囲を等間隔の要素からなる範囲に変換するRangeアダプタstride_view
の提案。
以前の記事を参照
このリビジョンでの変更は、P2442R1の内容を反映するように提案する文言を修正した事です。
P2000R3 Direction for ISO C++
C++の標準化の方向性を記した文書。
C++23の設計終了を受けて、C++26に向けて内容を更新したものです。
P2079R2 System execution context
ハードウェアの提供するコア数(スレッド数)に合わせた固定サイズのスレッドプールを提供するSchedulerの提案。
この提案はR1ではP0443のexecutor
として設計されていましたが、このリビジョンではP2300のscheduler
として再設計されています。
提案されているのは、実行コンテキストのviewとなるsystem_context
とそれを用いたscheduler
であるsystem_scheduler
および、system_context
で実行される処理を表現するsender
であるsystem_sender
(名前は実装定義)の3つです。
class system_context { public: system_context(); ~system_context(); system_context(const system_context&) = delete; system_context(system_context&&) = delete; system_context& operator=(const system_context&) = delete; system_context& operator=(system_context&&) = delete; system_scheduler get_scheduler(); implementation-defined_delegation_sender execute_chunk() noexcept; implementation-defined_delegation_sender execute_all() noexcept; size_t max_concurrency() noexcept; };
system_context
は任意の実行コンテキストの上にかぶせて使用し、system_context
のオブジェクトはそこから取得したscheduler
およびその上で起動されたすべての作業よりも長生きする必要があります。また、system_context
の全てのオブジェクトは同じ実行コンテキストを参照しており、異なるsystem_context
のオブジェクトから投入された処理は同じ実行コンテキストで実行されます。
execute_chunk()
は実装定義の数(チャンク)の作業だけを開始するためのsender
を返す関数で、execute_all()
は現在system_context
にキューイングされているすべての作業の実行を開始するsender
を返すものです。これらのsender
は処理の完了までを表現するものではなく、処理の投入だけを担うもので、実行コンテキストへ処理を投入し終えた段階で完了し、結果(set_value()
チャネル)として投入(開始)することに成功した作業の数を返します。
max_concurrency()
はsystem_context
の最大スレッド数を返す関数ですが、0を返すことができ、その場合はメインスレッドを利用します。
system_context
はスレッドプールを意識してはいるものの、その実行コンテキストの詳細についてはほぼ何も指定していません。そのため、提案ではリリースビルドとデバッグビルドで実行コンテキストを変更可能とすることを提案しています。
class system_scheduler { public: system_scheduler() = delete; ~system_scheduler(); system_scheduler(const system_scheduler&); system_scheduler(system_scheduler&&); system_scheduler& operator=(const system_scheduler&); system_scheduler& operator=(system_scheduler&&); bool operator==(const system_scheduler&) const noexcept; friend implementation-defined-system_sender tag_invoke( std::execution::schedule_t, const system_scheduler&) noexcept; friend std::execution::forward_progress_guarantee tag_invoke( std::execution::get_forward_progress_guarantee_t, const system_scheduler&) noexcept; friend implementation-defined-bulk-sender tag_invoke( std::execution::bulk_t, const system_scheduler&, Sh&& sh, F&& f) noexcept; };
system_scheduler
はsystem_context::get_scheduler()
から取得できるscheduler
で、system_context
への参照を保持しています。2つのsystem_scheduler
オブジェクトは、同じsystem_context
を共有している場合に同値(==
でtrue
)となります。system_scheduler
がsystem_context
オブジェクトの破棄後に生存している場合、デストラクタ呼び出し以外のすべての操作が未定義動作となります。
提案文書より、使用例。
using namespace std::execution; // system_contextオブジェクトの作成 system_context ctx; // system_schedulerの取得 scheduler auto sch = ctx.get_scheduler(); // 処理のチェーン sender auto begin = schedule(sch); sender auto hi = then(begin, []{ std::cout << "Hello world! Have an int."; return 13; }); sender auto add_42 = then(hi, [](int arg) { return arg + 42; }); auto [i] = this_thread::sync_wait(add_42).value(); // execution::onを使用すると、よりよいstructured concurrencyな表現が得られる sender auto hi = then(just(), []{ std::cout << "Hello world! Have an int."; return 13; }); sender auto add_42 = then(hi, [](int arg) { return arg + 42; }); auto [i] = this_thread::sync_wait(on(sch, add_42)).value();
バルク実行のサンプル
auto bar() { return ex::let_value( ex::get_scheduler(), // 接続されたreceiverからschedulerを取得する [](auto current_sched) { return bulk( current_sched.schedule(), 16, // 例えば16並列 [](auto idx){ // idxにはShape(ここでは16)に応じた作業カウントが渡される std::osyncstream{std::cout} << "Index: " << idx << "\n"; }) }); } void foo() { using namespace std::execution; system_context ctx; auto [i] = this_thread::sync_wait( on( ctx.scheduler(), // bar()をsystem_schedulerで開始する bar())) // onによって用意されたreceiverを通してsystem_schedulerを伝播する .value(); }
これは標準ライブラリの提供する基本的で基礎的なscheduler
となり、もっともよく使用されるものとなるはずです。ただし、これはまだ提案としては初期段階で、C++23には間に合いません。
P2093R12 Formatted output
std::format
によるフォーマットを使用しながら出力できる新I/Oライブラリstd::print
の提案。
以前の記事を参照
- P2093R0 Formatted output - [C++]WG21月次提案文書を眺める(2020年6月)
- P2093R1 Formatted output - [C++]WG21月次提案文書を眺める(2020年7月)
- P2093R2 Formatted output - [C++]WG21月次提案文書を眺める(2020年10月)
- P2093R3 Formatted output - [C++]WG21月次提案文書を眺める(2021年1月)
- P2093R4 Formatted output - [C++]WG21月次提案文書を眺める(2021年2月)
- P2093R5 Formatted output - [C++]WG21月次提案文書を眺める(2021年3月)
- P2093R6 Formatted output - [C++]WG21月次提案文書を眺める(2021年4月)
- P2093R7 Formatted output - [C++]WG21月次提案文書を眺める(2021年7月)
- P2093R8 Formatted output - [C++]WG21月次提案文書を眺める(2021年8月)
- P2093R9 Formatted output - [C++]WG21月次提案文書を眺める(2021年9月)
- P2093R10 Formatted output - [C++]WG21月次提案文書を眺める(2021年11月)
このリビジョンでの変更は、提案する文言の修正のみです。
この提案はC++23を目指してLWGでのレビュー待ちをしています。
P2165R3 Compatibility between tuple, pair and tuple-like objects
std::pair
と2要素std::tuple
及びtuple-like
な型の間の非互換を減らし比較や代入をできるようにする提案。
前回の記事を参照
- P2165R0 Compatibility between tuple and tuple-like objects - [C++]WG21月次提案文書を眺める(2020年05月)
- P2165R1 Compatibility between tuple and tuple-like objects - [C++]WG21月次提案文書を眺める(2020年07月)
- P2165R2 Compatibility between tuple and tuple-like objects - [C++]WG21月次提案文書を眺める(2021年06月)
このリビジョンでの変更は
- 対象とする
tuple-like
な型をstd
名前空間にあるものに絞った views::zip
関連の変更の追加- 連想コンテナに対する変更を削除(別の提案とする)
pair/tuple
の既存のコンストラクタ/代入演算子/比較演算子を変更しないようにしたuses_allocator_construction_args
を取るオーバーロードの追加- 機能テストマクロの追加
tuple-like
コンセプトを参照型をサポートするように修正
などです。
この提案はC++23を目指してLWGでのレビュー待ちをしています。
P2248R4 Enabling list-initialization for algorithms
値を指定するタイプの標準アルゴリズムにおいて、その際の型指定を省略できるようにする提案。
以前の記事を参照
- P2248R0 Enabling list-initialization for algorithms - [C++]WG21月次提案文書を眺める(2020年11月)
- P2248R1 Enabling list-initialization for algorithms - [C++]WG21月次提案文書を眺める(2020年12月)
- P2248R2 Enabling list-initialization for algorithms - [C++]WG21月次提案文書を眺める(2021年10月)
- P2248R3 Enabling list-initialization for algorithms - [C++]WG21月次提案文書を眺める(2021年12月)
このリビジョンでの変更はstd::replace_copy
(std::ranges
のものではない)のデフォルト指定をドロップした事、提案する文言の修正と明確化などです。
この提案はC++23を目指してLWGでのレビュー待ちをしています。
P2249R4 Mixed comparisons for smart pointers
スマートポインターの比較演算子に生ポインタとの直接比較を追加する提案。
以前の記事を参照
- P2249R0 Mixed comparisons for smart pointers - [C++]WG21月次提案文書を眺める(2021年02月)
- P2249R1 Mixed comparisons for smart pointers - [C++]WG21月次提案文書を眺める(2021年07月)
- P2249R2 Mixed comparisons for smart pointers - [C++]WG21月次提案文書を眺める(2021年08月)
- P2249R3 Mixed comparisons for smart pointers - [C++]WG21月次提案文書を眺める(2021年11月)
このリビジョンでの変更は、P2405へのリンクを修正した事のみです。
P2286R5 Formatting Ranges
↓
P2286R6 Formatting Ranges
任意の範囲を手軽に出力できる機能を追加する提案。
以前の記事を参照
- P2286R0 Formatting Ranges - [C++]WG21月次提案文書を眺める(2021年1月)
- P2286R1 Formatting Ranges - [C++]WG21月次提案文書を眺める(2021年2月)
- P2286R2 Formatting Ranges - [C++]WG21月次提案文書を眺める(2021年8月)
- P2286R3 Formatting Ranges - [C++]WG21月次提案文書を眺める(2021年11月)
- P2286R4 Formatting Ranges - [C++]WG21月次提案文書を眺める(2021年11月)
R5での変更は
- デリミタの変更をドロップした
retargeted_format_context, end_sentry
を削除range_formatter
が必要となる理由について追記- 文字エスケープの振る舞いについて、Python/Rustを例にして追記
- コンテナアダプタに関する説明を追加
- 提案する文言を追加
R6での変更は
- 機能テストマクロの追加
- 提案する文言の改善
range
型R
についてのformatter<R, charT>
がrange_formatter<range_reference_t<R>>
を継承するように変更formattable
コンセプトの出力イテレータについての指定を実装定義から未規定へ変更
などです。
この提案はC++23へ向けて、LEWGでの最終投票待ちをしています。
P2300R4 std::execution
P0443R14のExecutor提案を置き換える、任意の実行コンテキストで任意の非同期処理を構成・実行するためのフレームワークおよび非同期処理モデルの提案。
以前の記事を参照
- P2300R0
std::execution
- WG21月次提案文書を眺める(2021年06月) - P2300R1
std::execution
- WG21月次提案文書を眺める(2021年07月) - P2300R2
std::execution
- WG21月次提案文書を眺める(2021年11月) - P2300R3
std::execution
- WG21月次提案文書を眺める(2021年12月)
このリビジョンでの変更は
- いくつかのバグ修正
- Dependently-typed
sender
のサポート receiver
に対してquery
を発行しその結果をset_value()
チャネルで返すsender
ファクトリ、read(query)
の追加- typed
sender
のメタデータを宣言的に定義するためのcompletion_signatures
の追加 - 別の
sender
のcompletion signatureからアダプトしてsender
のcompletion signatureを指定するためのmake_completion_signatures
の追加 sender
の定義のデフォルトをtypedsender
に変更し、そのチャネル型指定のないsender
サポートをなくした- typed
sender
とは、そのset_value(), set_error()
チャネルを介して送信する値の型をS::value_types, S::error_types
として公開するsender
- typed
set_done()
チャネル(receiver
の完了(not 成功)チャネル)の名前をset_stopped()
に変更sender
アダプタのレイヤを介してscheduler, sender, receiver
および環境クエリの伝送を制御するためのカスタマイズポイントの追加- delegatee schedulerを取得するための
get_delegatee_scheduler()
を追加- delegatee schedulerとは、アルゴリズムもしくは
scheduler
が作業を委任して実行するために使用するscheduler
のこと
- delegatee schedulerとは、アルゴリズムもしくは
schedule_result_t
(scheduler
からそのsender
型を取得する)の追加stopped_as_error
(sender
のエラーチャネルが指定したエラーを返すように変換するsender
アダプタ)をCPOとして再指定tag_invoke
の診断を改善tag_invoke
の呼び出し失敗がSFINAE可能であることを規定(これは通常のCPOと同様)
などです。
このリビジョンでの大きな変更は、Dependently-typed sender
をサポートするようにしたことです。
stop_token
、アロケータ、scheduler
などの現在の実行環境に関する情報はコンシューマからプロデューサーへ自然に伝達される必要があります。コルーチンではそれはpromise
型を通して、呼び出したコルーチンから呼び出し側へ伝播します。sender/receiver
モデルでもその伝達はされていますが、多くの情報はreceiver
に関連づけられており、sender
とreceiver
がconnect
された後で、sender
やoperation_state
によって照会されます。これはすなわち、最終的に起動される非同期処理に関する情報はsender
とreceiver
で分割して保持されており、情報の一部はreceiver
を通して遅れて提供されるということです。
sender
アルゴリズムはそれらの情報をsender_traits
機構(completion_signatures_of_t<Sender>
)によって取得します。しかし、R3までのsender_traits
機構はsender
型しかパラメータに取らず、receiver
によって決定される情報の一部を静的に引き出すことができませんでした。このため、sender
によってはその情報を確定できず(typed sender
となれず)、コンパイルエラーを起こすことがありました。
namespace ex = std::execution; // この段階ではreceiverが不定 ex::sender auto task = ex::let_value( ex::get_scheduler(), // receiverからschedulerを取得する [](auto current_sched) { // そのschedulerでネストした作業を開始する return ex::on(current_sched, nested work...); }); // sync_waitの用意するreceiverとconnectして処理を開始、完了を待機 std::this_thread::sync_wait(std::move(task)); // コンパイルエラー
get_scheduler()
は接続されているreceiver
からscheduler
を取得するもので、引数なしでの呼び出しはその値チャネル(set_value
)でscheduler
を返すsender
を返します。そのsender
のvalue_type
はreceiver
に接続されたscheduler
の型です。この時、sender_traits<get_scheduler_sender>::value_types
も同じ型になって欲しいですが、receiver
がないためその型は不定となります。
sync_wait()
はrun_loop
実行コンテキスト(現在のスレッドで処理を開始するシングルスレッド実行コンテキスト)で処理を開始するもので、その戻り値型の確定のために入力のsender
はtyped sender
でなければなりません。しかし、let_value(sender, work)
は入力のsender
がtypedではない場合得られるsender
もtypedではなく、それをsync_wait()
に入力しようとするとコンパイルエラーとなります。get_scheduler()
の返すsender
はtypedではない(sender_traits<get_scheduler_sender>::value_types
が決定できない)ため、上記例ではコンパイルエラーを起こしています。
この解決のための変更がDependently-typed sender
であり、その内容は単純にsender_traits
機構がreceiver
の型も追加で受け取れるようになっただけです。アルゴリズムは`sender_traits<Sender, Receiver>
を介して、非同期処理に関する情報の全てを取得することができます。
ただし、このようなreceiver
型の使用は、型のサイクルを引き起こしやすく、謎のエラーが多発するようで、sender_traits
機構は実際にはreceiver
型ではなく環境オブジェクト(environment object、key/valueペアの袋)を受け取ります。これは、コンテキスト情報をreceiver
から環境へ移動させるための設計で、sender_traits
やtyped_sender
(このリビジョンではsender
)はreceiver
型の代わりにこの環境オブジェクトを受け取ります。ただし、receiver
と環境の分離は完全ではないようで、さらなる分離が可能なようですが、この提案ではそこに踏み込んではいません。
環境オブジェクトと呼ばれている値(実際には型っぽいですが)にsender
(にまつわる環境情報)型が依存するので、Dependently-typed(依存型)sender
という呼び名のようです。
この提案はC++23を目指して作業されていましたが、LEWGの最終投票をパスできなかったためC++23への導入は見送られました。C++26を目指すことになります。投票の反対意見では、C++23設計終了のギリギリのタイミングで巨大な提案を入れるべきではないという意見が目立ったようです。
P2302R3 std::ranges::contains
新しいアルゴリズムとしてstd::ranges::contains
を追加する提案。
- P2302R0 Prefer std::ranges::contains over std::basic_string_view::contains - [C++]WG21月次提案文書を眺める(2021年2月)
- P2302R1 std::ranges::contains - [C++]WG21月次提案文書を眺める(2021年11月)
- P2302R2 std::ranges::contains - [C++]WG21月次提案文書を眺める(2021年12月)
このリビジョンでの変更はよくわかりません。
この提案はC++23を目指してLWGでのレビュー待ちをしています。
P2324R2 Labels at the end of compound statements (C compatibility)
複合ステートメント(compound statement)の末尾にラベルを置けるようにする提案。
- P2324R0 Labels at the end of compound statements (C compatibility) - [C++]WG21月次提案文書を眺める(2021年02月)
- P2324R1 Labels at the end of compound statements (C compatibility) - [C++]WG21月次提案文書を眺める(2021年11月)
このリビジョンでの変更は、提案する文言の修正のみです。
この提案はC++23に向けてEWGでの最終投票待ちをしていますが、すでにCWGのレビューと承認を終えており、EWGを通過すれば次の全体会議で投票にかけられます。
P2363R3 Extending associative containers with the remaining heterogeneous overloads
連想コンテナの透過的操作を、さらに広げる提案。
以前の記事を参照
- P2363R0 Extending associative containers with the remaining heterogeneous overloads - WG21月次提案文書を眺める(2021年04月)
- P2363R1 Extending associative containers with the remaining heterogeneous overloads - WG21月次提案文書を眺める(2021年09月)
- P2363R2 Extending associative containers with the remaining heterogeneous overloads - WG21月次提案文書を眺める(2021年12月)
このリビジョンでの変更は、at()
に事前条件を追加したこととその説明を追記したことです。
この提案はC++23を目指してLWGでのレビュー待ちをしています。
P2370R2 Stacktrace from exception
現在投げられている例外オブジェクトに基づくスタックトレースを取得できるようにする提案。
以前の記事を参照
- P2370R0 Stacktrace from exception - WG21月次提案文書を眺める(2021年06月)
- P2370R1 Stacktrace from exception - WG21月次提案文書を眺める(2021年08月)
このリビジョンでの変更は、P2490の内容についての議論を追記し、P2490のアプローチを実装可能とするように文言を修正したことです。
この提案の現在の設計はスレッドローカルなフラグを用いて例外キャッチ時のスタックトレース取得を制御していますが、それはTLSへのアクセスというオーバーヘッドを伴います。対してP2490では、catch
に応じてそれをするかしないかを静的に判定するアプローチを提案しています。これを受けてこのリビジョンでは、P2490のアプローチには次のような短所があると指摘しています
その上で、P2490のアプローチを受け入れ可能なように提案する文言を調整しています。その結果として、スタックトレースを保存する場所が実装定義とされたようです。
P2375R1 Generalisation of nth_element to a range of nths
std::nth_element
を一般化したnth_elements
の提案。
このリビジョンでの変更は、説明や背景を充実させたことと、アプリケーションやパフォーマンス調査について追記したこと、多くの質問への回答を追記したことなどです。
P2404R1 Move-only types for equality_comparable_with, totally_ordered_with, and three_way_comparable_with
↓
P2404R2 Move-only types for equality_comparable_with, totally_ordered_with, and three_way_comparable_with
各種異種比較を定義するコンセプトのcommon_reference
要件を緩和する提案。
以前の記事を参照
R1での変更は
- コンパイル時間増大の回避のため、原始制約式にdisjunction(
||
)を用いるのを回避したrequires
式とネスト要件に置き換え
- 提案する文言のバグ修正
- 実行時に共通型への変換が必要となる可能性のあるmonomorphic functionへの対応
- 問題を一部しか解決しないソリューションに関する説明を削除
commom_reference
要件を削除することを提案しない理由を拡充- 実装経験の拡充
このリビジョンでの変更は
- 機能テストマクロの追加
- 提案する説明専用コンセプト
common-comparison-supertype-with
からremove_cvref_t
およびcommon_reference_t<const T&, const U&>
を取り除いた(可読性向上のため)
などです。
この提案はC++23を目指してLWGでのレビュー待ちをしています。
P2424R0 Abbreviated Parameters
関数引数の簡易宣言構文の提案。
1行で済むような単純な関数をラムダ式を用いて定義して使用することが多く、そのためラムダ式を可能な限り簡潔に書くことができるようにしたいという要望が強くあります。それを受けて、短縮ラムダ提案(P0573R2)などいくつかの提案がされましたが、以下のような理由によってリジェクトされています。
- 通常のラムダ式と意味論が異なる。関数本体が同じでも、短縮形か否かによって戻り値型が異なる。
- 任意の先読みパースが必要となる。パーサーはラムダ式が短縮形かどうかを判定するためにラムダ式本体を先読みしなければならない。
- 後置戻り値型との不一致。ラムダ本体と後置戻り値型とでは解析が異なるため、短縮ラムダは意図通りに動作しない可能性がある
- この問題はP2036R2で解決される(予定)
この問題のうち、1と3はラムダ本体の意味論に関することで、2はラムダの引数宣言に関する事です。そして、多くの場合ラムダ式の冗長性を最も高めているのは引数宣言周辺の構文です。
[](const auto& a, const auto& b) { return a < b; }
auto&&
を用いるともう少し短縮できるという主張もありますが、auto&&
がconst
となるのは実引数がすでにconst
である場合のみです。ラムダ式では非const
なものを渡して内部ではconst
として扱いたい場合が多く、auto&&
は意味が異なってしまいます。
ここで、この引数宣言からこれらの型の指定を取り除くことができれば、大きく冗長性を低下させることができることが見えます。そこで、この提案では上記に列挙した2つ目の問題(引数宣言周りの問題)に的を絞り、省略された仮引数宣言(Abbreviated Parameters)という構文の導入によりこの解決を図ります。
// ラムダ式 []((a, b)) { return a < b; } // 関数 auto less_then((a, b)) { return a < b; }
二重かっこ(())
で囲まれているものが省略された仮引数リストです。この内部の識別子は型名ではなく変数名(引数名)として扱われます
// string型、vector型の仮引数宣言、引数名なし auto something(string, vector); // string、vectorという名前の仮引数宣言、型指定なし(この提案) auto something((string, vector));
この時、カンマ区切りリストの各要素に2つ以上の識別子が指定された場合、それは通常の仮引数宣言と同じものとして扱われます。
// この2つは同じ宣言となる auto something(vector v); auto something((vector v)); // この2つも同じ宣言となる auto something(const vector& v); auto something((const vector& v));
言い換えると、省略された仮引数宣言において型名の省略はオプションです。これは当然混在することができます。
auto something((string, const vector& v)); // ok
省略された仮引数宣言(のうち型名指定がないもの)はテンプレートパラメータを伴う引数宣言とみなされ、通常のテンプレート実引数推論に従って型が推論されます。つまりは、ラムダ式の引数宣言からさらにauto
を省略しているような感じです。
// これらは(ほぼ)同じ宣言となる template<typename T> auto something(T v); auto something(auto v); auto something((v));
ただし、修飾(&&
とかconst
など)は異なり、この提案ではconst auto&
と同じ推論を行うことを提案しています。
// これらは同じ宣言となる template<typename T> auto something(const T& v); auto something(const auto& v); auto something((v));
auto&&
はデフォルトが可変参照でありそれが見えなくなることで危険性が増すとともに注意すべきことや前提知識が増えるため、この提案ではデフォルトimmutableが最適だとしています。また、デフォルトが参照となるため型によっては非効率となり得ますが、そのような型に対してオプティマイザがこれをコピーに置き換えることができるようにすることも提案されています。
std::string s; std::vector<std::string> v; std::for_each(s.begin(), s.end(), []((c)){ ... }); // decltype(c) is `const char` std::for_each(v.begin(), v.end(), []((s)){ ... }); // decltype(s) is `const std::sting&`
このような振る舞いはユーザーが引数のアドレスを取得する場合に問題となる可能性がありますが、引数をポインタ型で宣言しないのに実引数の参照元のアドレスを取得するようなケースは考えづらいため、この提案では考慮しないことにしています。
// 問題となりうるケースだが void func((arg)) { persistAddrOf(&arg); ... } // 普通はこう書かれるはず? void func(const auto* arg)) { persistAddrOf(arg); ... }
P2437R1 Support for #warning
警告を表示するための#warning
プリプロセッシングディレクティブを追加する提案。
以前の記事を参照
このリビジョンでの変更は、提案する文言の改善のみです。
この提案はC++23に向けてEWGでの最終投票待ちをしていますが、すでにCWGのレビューと承認を終えており、EWGを通過すれば次の全体会議で投票にかけられます。
P2447R2 std::span and the missing constructor
std::span
にinitializer_list
を受け取るコンストラクタを追加する提案。
以前の記事を参照
- P2447R0 std::span and the missing constructor - WG21月次提案文書を眺める(2021年09月)
- P2447R1 std::span and the missing constructor - WG21月次提案文書を眺める(2021年12月)
このリビジョンでの変更はよくわかりません。
P2448R1 Relaxing some constexpr restrictions
constexpr
関数がすべての引数について定数実行不可能となる場合でも、コンパイルエラーにしないようにする提案。
以前の記事を参照
このリビジョンでの変更は、CWGの指摘に従って修正(削除)する文言を拡大(取りこぼしていたものを追加した)ことです。
この提案はC++23に向けてEWGでの最終投票待ちをしていますが、すでにCWGのレビューと承認を終えており、EWGを通過すれば次の全体会議で投票にかけられます。
P2457R0 2021 December Library Evolution Poll Outcomes
2021年12月に行われたLEWGにおける全体投票の結果。
次の12の提案が投票にかけられ、否決されたものはありません(全てLWGへ転送されています)。また、投票に当たって寄せられた賛否のコメントが記載されています。
- P0009R14 mdspan
- P2093R11 Formatted Output
- P1467R7 Extended Floating-Point Types
- P2278R2 cbegin Should Always Return A Constant Iterator
- P2408R4 Ranges Iterators As Inputs To Non-Ranges Algorithms
- P2374R3 views::cartesian_product
- P2441R1 views::join_with
- P2446R1 views::all_move
- P2467R0 Support Exclusive Mode For fstreams
- P2438R1 string::substr() &&
- P2396R0 Concurrency TS v2 Fixes
- P2198R3 Freestanding Feature-Test Macros And Implementation-Defined Extensions C++23
P2458R0 2022 January Library Evolution Polls
2022年の1月に予定されている、LEWGでの全体投票の予定表。
以下の13の提案が投票にかけられる予定です。
- P2300R4 std::execution
- P2363R3 Extending Associative Containers With The Remaining Heterogeneous Overloads
- P0493R3 Atomic Maximum/Minimum
- P2286R6 Formatting Ranges
- P2165R3 Compatibility Between tuple, pair, And tuple-Like Objects
- P2494R1 Relaxing Range Adaptors To Allow For Move Only Types
- P2322R5 ranges::fold
- P2302R2 ranges::contains
- P1899R2 views::stride
- P2474R1 views::repeat
- P2508R1 Expose basic-format-string<charT, Args...>
- P2248R4 Enabling List-Initialization For Algorithms
- P2404R2 Move-Only Types For equality_comparable_with, totally_ordered_with, And three_way_comparable_with
P2468R2 The Equality Operator You Are Looking For
==
から導出される!=
演算子とユーザー定義!=
演算子が衝突してしまう問題を解消する提案。
以前の記事を参照
- P2468R0 The Equality Operator You Are Looking For - WG21月次提案文書を眺める(2021年10月)
- P2468R1 The Equality Operator You Are Looking For - WG21月次提案文書を眺める(2021年12月)
このリビジョンでの変更は、CWGのフィードバックに従って提案する文言を調整したこと、この提案がC++20へのDRであることを明示したことなどです。
この提案はC++23に向けてEWGでの最終投票待ちをしていますが、すでにCWGのレビューと承認を終えており、EWGを通過すれば次の全体会議で投票にかけられます。
P2474R1 views::repeat
指定された値の繰り返しによる範囲を生成するRangeファクトリである、views::repeat
の提案。
以前の記事を参照
このリビジョンでの変更は、モチベーションについて追記したこと、repeat_view
のイテレータ型の比較演算子を<=>, ==
だけにしたこと、SG9のレビューに従ってコンストラクタの数を減らしたこと、提案する文言の修正などです。
この提案はC++23に向けて、LEWGの最終投票を通過しLWGへ転送されています。
P2494R1 Relaxing range adaptors to allow for move only types
何かを保持する必要があるタイプのview
型について、保持するものの型に対する要件をcopy_constructible
からmove_constructible
に弱める提案。
以前の記事を参照
このリビジョンでの変更は、機能テストマクロを追加したこと、P2474R1に対する変更を追記したことです。
この提案はC++23に向けて、LEWGの最終投票を通過しLWGへ転送されています。
P2498R1 Forward compatibility of text_encoding with additional encoding registries
std::text_encoding
(P1855)がIANA以外のレジストリに対応できるようにしておく提案。
以前の記事を参照
このリビジョンでの変更は、提案する文言の追加と調整などです。
この提案はSG16でのレビューを終えており、そこではこの提案をP1855へのバグフィックスとしてLEWGへ転送することに合意が取れています。ただし、std::text_encoding
がIANA以外のレジストリを考慮できるように変更することや、名前をiana_text_encoding
に改名することについてのコンセンサスは得られていません。
P2507R1 Limit [[assume]]
to conditional-expressions
P1774で提案されている[[assume(expr)]]
について、expr
の部分に条件式(conditional-expression)だけを書けるようにする提案。
以前の記事を参照
このリビジョンでの変更は、タイトルの変更とP2461への参照を追加した事です。
P2508R1 Exposing std::basic-format-string
説明専用のstd::basic-format-string<charT, Args...>
をユーザーが利用できるようにする提案。
以前の記事を参照
このリビジョンでの変更は、std::basic_format_string
クラスにget()
メンバ関数を追加した事です。これは例えば、最終的にstd::vformat
にフォーマット文字列を渡したい場合などに文字列を引き出す手段を提供するためです。
この提案はすでにLWGとLEWGの両方でレビューを終え、それぞれでの最終投票を通過しています。次の全体会議で投票にかけられる予定です。
P2511R0 Beyond operator()
: NTTP callables in type-erased call wrappers
std::move_only_fuction
を、呼び出し可能なNTTP値を型消去するCallable Wrapperへ拡張する提案。
move_only_fuction
にユーザー定義のオブジェクトを渡すには、それが関数呼び出し演算子によって次のように呼び出し可能である必要があります。
obj(some, args);
しかし、operator()
は全てのクラス型で実装されるわけではなく、ユーザー定義のクラス型では例えば次のようにメンバ関数によって呼び出すことができるようになっています。
obj.send(some, args);
この提案は、このようにメンバ関数によって呼び出しを行うものをmove_only_fuction
で扱えるようにしようとする提案です。つまりは、このようなメンバ関数による呼び出しをoperator()
によってラップする機能をmove_only_fuction
に入れ込もうとしています。
このようなラッピングは現在、ラムダ式を用いて行われます。
auto wrap = [obj = std::move(obj)]<typename... Args>(Args&&... args) mutable { return obj.send(obj, std::forward<Args>(args)...); };
しかし見て分かる通り記述が冗長でボイラープレートが多すぎます。また、完全転送やthis
(obj
)の値カテゴリなど、気にすべき事項も多いです。ラムダ式はこの用途にはあまり適していません。
ほかには、std::bind_front
を使用することもできます。
auto wrap = std::bind_front(&Obj::send, std::move(obj));
かなりシンプルに書くことができますが、この場合は追加のコスト(特にテンプレートの実体化コスト)がかかります。
ここで当初の目的を思い出すと、このようなラッパーは最終的にmovo_only_function
へ入れ込みたいのでした。そして、このようなラッパーの対象となっている呼び出し可能なものとはメンバ関数ポインタ(あるいは関数ポインタ)であり、それはコンパイル時に値が定まるものです(ここではこれをNTTP値と呼ぶことにします)。
NTTP値の保存に当たっては追加のストレージ領域を必要としない(テンプレートパラメータとして保持することができ、実体的にはストレージの型名に埋め込まれる)ため、本来Callableオブジェクトを保持する領域を別の事に使用することができます。すなわち、その領域に束縛対象の*this
オブジェクトを保存することができます。従って、movo_only_function
にそれを受け取れるインターフェースを追加するだけで上記のようなラッピングができそうです。
この提案では、std::nontype_t<V>
を標準へ導入し、それを用いてstd::move_only_fuction
を構築できるようにします。
std::move_only_function<void(Some, Args)> wrap{std::nontype<&Obj::send>, std::move(obj)});
また、std::nontype_<V>
だけから変換するコンストラクタも用意されます。
move_only_function<int(const char*, const char*)> fn = strcmp; fn = nontype<strcasecmp>;
これらの事は同時にstd::fuction_ref
についても提案されていますが、そちらはまだ標準への文言が固まっていないため、ここでも文言は保留中です。一方で、これらの事は既存のもの(std::function, std::pckaged_task
)には提案されていません。
サンプルコード
// DB::connect()がこのようなシグネチャだとして std::vector<std::move_only_function<bool(std::string, double, double)>> q{}; // C++11(std::bindによるthisの束縛) q.push(std::bind(&DB::connect, std::move(db), _1, _2, _3)); // C++14(ジェネリックラムダによるthisの束縛) q.push([db{std::move(db)}] (auto &&... args) mutable { return db.connect(std::forward<decltype(args)>(args)...); }); // C++20(std::bind_frontによるthisの束縛) q.push(std::bind_front(&DB::connect, std::move(db))); // あるいは(ジェネリックラムダ+ラムダのテンプレートパラメータ指定) q.push([db{std::move(db)}] <class ...T>(T &&... args) mutable { return db.connect(std::forward<T>(args)...); }); // この提案 q.emplace(nontype<&DB::connect>, std::move(db));
このstd::nontype_t<V>
によって、std::move_only_function
をはじめとする型消去ラッパーは、関数ポインタなどのNTTP値を型消去するようになったと見ることもできます。型消去(Type erasure)は異なる型に依存しているコードをそれらの型に依存しないようにすることで、この場合はそのようなコードが型ではなくコンパイル時の値(関数ポインタ)に依存していたわけです。
P2512R0 SG16: Unicode meeting summaries 2021-06-09 through 2021-12-15
2021年6月から12月の半年間のSG16(Unicode Study Group)のミーティング議事録。
例えばP2093R6: Formatted output等の提案に関する議論と投票の様子が詳しく記されています。
P2513R0 char8_t
Compatibility and Portability Fixes
char8_t
の非互換性を緩和する提案。
C++20で導入されたchar8_t
はUTF-8文字を表す専用の型であり、そのエンコーディングは常にUTF-8であることが保証されます(変なことしなければ)。ただし、u8
文字/文字列リテラルの型を変更しており、C++17以前に対する壊的変更を伴っています。
const char* a = u8"a"; // C++17まではok、C++20からはng const char b[] = u8"b"; // C++17まではok、C++20からはng const unsigned char c[] = u8"c"; // C++17まではok、C++20からはng
char8_t
による文字/文字列はchar, const char*, const char[]
などに暗黙変換することができません。これはUTF-8の文字を表すためにchar8_t
を導入するという観点からは当然の変更ではありますが、既存のコードへの影響が小さかったわけでもありません。このような影響を緩和するために-fno-char8_t
(GCC)とか/Zc:char8_t
(MSVC)等の、C++20モードでchar8_t
を無効化するコンパイラオプションが提供されています。
さらに、この非互換性はC++17以前だけにとどまらず、Cとの互換性も壊しています。Cにはchar8_t
はありませんがu8
リテラルは使用可能で、その型はchar[N]
です。すなわち同じ問題がCとC++20の間で起こります。さらに、C23以降にCにもchar8_t
が導入される可能性があり(N2653)、そこではchar16_t/char32_t
と同じくchar8_t
はunsigned char
のtypedef
として提案されており、u8""
リテラルの戻り値はchar
とchar8_t
の配列どちらにも変換できるように規定されます。すなわち、CはC++の様な非互換を導入しておらず、結局この互換性問題は残り続けます。
extern const unsigned char d[] = u8"d"; // N2653後のCでもok、C++20はng
このような非互換性を緩和するために、この提案ではu8""
文字列リテラルからunsgined char
の配列が初期化できるようにすることを提案しています。
extern const unsigned char d[] = u8"d"; // この提案の後、C++でもok
これは変換ではなく配列の初期化時に特別扱いするものです(CのN2653のu8""
文字列リテラルもほぼ同様です)。従ってchar8_t
の型付けが弱くなることはなく、これ以外の特別扱いや変換は提案されていません。
// この提案の後 const char* a = u8"a"; // ng const char b[] = u8"b"; // ok const unsigned char c[] = u8"c"; // ok
この提案によって、直接的にu8""
リテラルの非互換性が解消されるわけではありませんが(多くの場合、char
の文字列はconst char*
で扱われるため)、char8_t
文字列をconst char*
に渡すときに、変なことをする必要のない経路を作ることができます。
// UTF-8文字列を受け取る関数 void input_u8str(const char* str); int main() { // C++17まではok、この提案の後でもC++20以降はng input_u8str(u8"UTF-8 string."); // C++20の回避策 const char8_t* u8str = u8"UTF-8 string."; input_u8str(reinterpret_cast<const char*>(u8str)); // この提案の回避経路 const char tmp_str[] = u8"UTF-8 string."; input_u8str(tmp_str); }
特に、reinterpret_cast
を使用しなくてもよくなるのでこのような回避策は定数式でも使用可能になります。また、世の中ではchar
の文字列とUTF-8文字列を意味的に区別するためにtypedef std::basic_string<unsigned char, my_u8_traits> u8string;
のようなものを定義するのが一般的なテクニックとなっているらしく、この提案はこのようなテクニックがC++20に移行するための一助にもなります。
このように、この提案では単純で小さな変更によって、C++20以前のコードをC++20に対応するための経路を提供し、Cコードとの互換性を確保することができます。そして、この提案はC++20への欠陥報告とすべく作業されているようです。
P2514R0 std::breakpoint
C++コード上からブレークポイントを設定するためのstd::breakpoint()
の提案。
コードのデバッグ時にブレークポイントは重宝しますが、ブレークポイントそのものはC++コードの外の概念です。慣れれば大したことない作業ではありますが、初学者にとっては混乱の元で、C++の外のIDEやデバッガのインターフェースや構文を学習しなければなりません。
std::breakpoint()
があることによってブレークポイントの配置をコードで表現でき、特に実行時の条件によるブレークポイントの制御がより簡単に行えるようになります。
#include <debugging> // なんかの処理 auto f() -> double; int main() { double d = f(); if (std::isnan(d)) { std::breakpoint(); // dがNaNの時にブレークする } ... }
std::breakpoint()
はプログラムの実行中にデバッガがアタッチされている時だけ動作し、それが呼び出されると通常のブレークポイントがあるかのようにプログラムの実行を一時停止します。この振る舞いは現在でもほぼ全てのプラットフォームとデバッガでサポートされているようです。
- MSVC :
__debugbreak
- GCC :
__builtin_trap
- Clang :
__builtin_debugtrap
- Keil armcc :
__breakpoint
- Unreal Engine 4 : マクロによる同様の実装
std::breakpoint()
はこれらの実装定義のものを標準化するものでもあります。
P2515R0 std::is_debugger_present
プログラムがデバッグ中であるかを知るための関数std::is_debugger_present()
の提案。
プログラムがデバッガにアタッチされて実行されている時だけ特別なこと(追加のメッセージの出力、追加のテストコードの実行、デバッグに有用なユーザーへの表示など)をしたい場合、それは簡単ではなく実行環境に関する深い知識が求められます。この提案は、ユーザーがそのような負担を負うことなく、デバッグ中であることを判定できるようにするものです。
追加するのはstd::is_debugger_present()
と言う関数で、これはデバッガがアタッチされている場合にtrue
を返す引数なしの関数です。
namespace std { bool is_debugger_present() noexcept; }
一部のプラットフォームではIsDebuggerPresent()
やIsDebuggerActive()
としてこれらの機能を提供しており、これはそれを標準化するものでもあります。
P2516R0 string_view
is implicitly convertible from what?
std::basic_string_view
からRangeコンストラクタを削除する提案。
std::basic_string_view
に対するRangeコンストラクタ(同じ文字型による任意のcontiguous_range
から構築するコンストラクタは)C++23に対してP1391で導入されました。一見するとこれは便利でありいいアイデアに思えますが、実際に使用してみるといくつかの罠が潜んでいます。
template <typename Container> auto print(const Container& c) -> std::enable_if_t<!std::is_convertible_v<Container, std::string_view>> { std::cout << '['; const char* sep = ""; for (const auto& item: c) { std::cout << sep << item; sep = ", "; } std::cout << ']'; } void print(std::string_view s) { std::cout << '"' << s << '"'; }
この関数はコンテナに対しては[a, b, ...]
の形式で出力し、文字列likeな型(std::string_view
に変換可能な型)に対しては文字列として"ab..."
のように出力する関数です。これをprint(std::vector{'a', 'b'})
のように使用した時、C++20までは[a, b]
と出力されますが、C++23からは"ab"
と出力されるようになります。これはC++23で導入されたRangeコンストラクタを通して暗黙変換が行われているために起きていることです。
std::string_view
は文字列の参照となるもので、その名前やインターフェースにもそれが現れています。Rangeコンストラクタによる暗黙変換はその仮定を破壊し、std::string_view
を文字列への参照ではなく任意のcontiguous_range
の参照へと意味を変更してしまっています。この変換の問題点は文字列であるためのプロクシに連続性を使用して、文字列の実表現と意味論を混同してしまっていることにあります。
C++17 | C++20 | C++23 | |
---|---|---|---|
print(std::list{'a', 'b'}); |
[a, b] |
[a, b] |
[a, b] |
print(std::deque{'a', 'b'}); |
[a, b] |
[a, b] |
[a, b] |
print(std::vector{'a', 'b'}); |
[a, b] |
[a, b] |
"ab" |
このように比較した時、std::vector
が他のコンテナと異なるところはどこなのでしょうか?そしてこれは本当に文字列likeなものなのでしょうか?contiguous_range
を参照する型が欲しい場合、すでにstd::span<const T>
があります。
このことは{fmt}
ライブラリで報告されたことで発見され、問題を回避するためにprint
のような関数の定義を変更するのは根本的な解決にはなりません。文字列とコンテナを区別する必要のある他のテキスト処理やシリアル化処理でも問題となる可能性があります。また、char
には2つの意味(文字とバイトの単位)があり、バイト列として使用されているstd::vector<char>
やstd::span<char>
がstd::string_view
として暗黙変換可能になってしまうと型安全性を破壊する可能性があります。
これらの理由から、std::basic_string_view
のRangeコンストラクタはメリット(主に利便性の向上)よりもデメリットの方が大きいため、P1391R4の内容を全て削除しようとする提案です。
P2517R0 Add a conditional noexcept specification to std::apply
std::apply
にnoexcept
指定を行う提案。
C++23に導入される予定のviews::zip
とその仲間は複数のシーケンスを纏めて一つのシーケンスとするview
で、そのoperator*
の結果は元のシーケンスの各要素を纏めたstd::tuple
オブジェクトで返されます。zip_transform_view
など、その要素に何か関数適用するタイプのview
では、その効果を指定するためにstd::apply
が使用されます。
// zip_transform_view::iterator::operator*()の効果の指定 return apply([&](const auto&... iters) -> decltype(auto) { return invoke(*parent_->fun_, *iters...); }, inner_.current_);
しかし、このoperator*
のnoexcept
指定は次のように指定されています
// Isはzipしている入力範囲の数を指すstd::index_sequence<Is> noexcept(invoke(*parent_->fun_, *std::get<Is>(inner_.current_)...))
ここでstd::apply
が使用されていないのは、std::apply
にnoexcept
の指定が無いためです。
std::apply
の効果は次のようなapply-impl
を用いて指定されています。
template<class F, class Tuple, size_t... I> constexpr decltype(auto) apply-impl(F&& f, Tuple&& t, index_sequence<I...>) { return INVOKE(std::forward<F>(f), get<I>(std::forward<Tuple>(t))...) }
std::get
はranges::subrange
のものを除いて例外を投げることはありません(tuple
等の要素の参照を取り出すだけのため)。従って、例外を投げるとすればf
を呼び出したときだけだとみなすことができます。std::invoke
は既に条件付きnoexcept
であるため、std::apply
を同様にすることができるはずで、この提案はそれを提案するものです。
この提案の内容はすでにlibstdc++とlibc++では実装されているようです。
P2520R0 move_iterator<T*>
should be a random access iterator
std::move_iterator<T*>
をrandom_access_iterator
となるようにする提案。
std::move_iterator<T*>
はC++17イテレータとしてはランダムアクセスイテレータになりますが、C++20イテレータとしてはinput_iterator
にしかなりません。
C++17以前にこれについて議論された際に、パフォーマンス上の理由によりmove_iterator<I>
はI
の性質を継承することになりました。しかしC++20にて<ranges>
追加と共にイテレータライブラリが改修された際、move_iterator<I>::iterator_concept
は常にinput_iterator
であるようにされました。これによって、C++20move_iterator
は常にinput_iterator
となります。
vector<A> v; vector<A> temp = ...; using MI = move_iterator<vector<A>::iterator>; // MIがランダムアクセスイテレータであることで、ここでのアロケーションを一回で済ませられる v.insert(v.begin() + N, MI(temp.begin()), MI(temp.end()));
vector::insert
では、挿入される要素数が予めわかっていればvector
の領域をあらかじめ拡張しておくことでアロケーションの回数を最小にできます。それができない場合、挿入要素数分push_back()
するのと同じことになります。
C++20ではイテレータ間距離を求められるかどうかはイテレータカテゴリから分離され、sized_sentinel_for
(あるいはsized_range
)コンセプトによって別に指定されます。move_iterator<I>
は自身のカテゴリとは関係なく、I
がsized_sentinel_for<I, I>
であれば-
によって距離を定数時間で求めることができるため、move_iterator
がrandom_access_iterator
である必要はありません。
一方、このようなコードはC++23では次のように書くこともでき、ここではmove_iterator
のカテゴリが問題となってきます。
// アロケーションは一回 some_sized_range | views::move | ranges::to<vector>(); // アロケーションは要素数による some_unsized_forward_range | views::move | ranges::to<vector>();
views::move
は入力のrange
の各要素をムーブするview
で、ranges::to
はそれをコンテナに変換するものです。views::move
を通すことで、入力要素をムーブしてvector
を構築することができます。
ここで、views::move
はmove_iterator
を内部で用いているため、move_view
のカテゴリは常にinput_iterator
となってしまいます。それでも入力range
がsized_range
であれば範囲としての長さを求めることができるため、上記1つ目のコードはranges::to
によるvector
構築時にも要素数をあらかじめ求めることができます。しかし、入力がrange
がsized_range
でない場合はそのイテレータが何であれmove_view
はsized_range
ではないinput_range
でしかなく、上記の2つ目のコードではranges::to
によるvector
構築時にその要素数をあらかじめ利用できません。
これは例えば、move_view
がそういう性質のものであると了解したうえで、そこから元のrange
を.base()
によって取り出して次に渡すみたいなことをすれば回避できますが、それは明らかに間違っています。この提案は、この問題を回避するためにユーザーがそのようなことをしなくてもいいように、move_iterator<I>
がI
の性質を継承するように変更するものです。
move_view
がinput_range
ではなくなることで、input_range
では利用できないアルゴリズムで利用できるようになります。move_view
の性質上、ranges::min
など、アルゴリズムの中には意図通りに動作しないものがあります。
void f(vector<string> words) { // この提案以前はinput_range auto r1 = words | views::move; // 他の全ての要素もムーブされている auto min_str = std::ranges::min(r1); }
とはいえこのことは、move_view
の問題を回避するためにviews::transform
を使用したときにも起こります。
void f(vector<string> words) { // 現在でもrandom_access_range auto r2 = words | views::transform([](string& s) -> string&& { return std::move(s); }); // 他の全ての要素もムーブされている auto min_str = std::ranges::min(r2); }
つまりは、move_view
のカテゴリを変更したことによって生じる問題は、move_view
のカテゴリがinput_range
であることから生じる問題を回避する場合にも生じます(これは現在でも起こり得ます)。ここでの一番の問題は、このような回避策を適用した方が一部の場合でパフォーマンスが良いため、このような構文が推奨されてしまう事です。この問題は標準ライブラリで解決されるべきです。
P2521R0 Contract support -- Working Paper
この提案は、現在アクティブな契約関連の提案であるP2388R4とP2461R1をベースとして、SG21でコンセンサスが得られているものとそうでないものとを明確にするためのものです。
従って、P2388R4とP2461R1で議論されていない事は含まれておらず、多くの部分がP2388R4の内容に基づいています。その上で次の部分を未解決の問題としています
- 構文の選択
- 契約術後の副作用除去と重複
- 事後条件で参照される非参照引数の扱い
これらのことをシンプルに書き下していく事で、SG21におけるコンセンサスを文書化しています。
- P2388R4 Minimum Contract Support: either No_eval or Eval_and_abort
- P2461R1 Closure-Based Syntax for Contracts
- P2521 進行状況
P2523R0 Request for re-inclusion of std::hive
proposal in C++23
std::hive
をC++23に含めるよう求める提案。
std::hive
(P0447)はC++26への導入を目指して作業されることになっており、C++23に導入されないことが決定されています。この提案はこれを覆そうとするものです。
しかし、C++23のdesign freezeがすぐそこ(太平洋時間の2022/2/7)に迫っており、P0447が大きいこともあってこれはすでに否決(LEWG議長の裁量による?)されています。
P2524R0 SG14: Low Latency/Games/Embedded/Finance/Simulation 2020/12/09-2022/01/12
SG14(Low Latency/Games Dev/Embedded/Financial/Trading/Banking/Simulation等に関するStudy Group)の2020年12月から2022年1月までの間の9回のミーティングの議事録。
P2525R0 SG19: Machine Learning Meeting Minutes 2020/12/10-2022/01/13
SG19(機械学習に関するStudy Group)の2020年12月から2022年1月までの間の10回のミーティングの議事録。
P2527R0 std::variant_alternative_index
and std::variant_alternative_index_v
std::variant
に対して、型からそのインデックスを取得するための方法を追加する提案。
std::variant
に対するstd::get()/std::get_if()
はインデックスもしくは型を指定して値を取り出すことができ、std::variant_alternative
によってインデックスに対応する型を取得することができます。しかし、型に対応するインデックスを取得する方法は用意されていません。
この提案は、std::variant_alternative_index
としてそれを追加しようとするものです。
インデックス指定に従うシリアライズ/デシリアライズを行うサンプル。
struct Reset { }; struct Close { }; struct RunCommand { std::string command; }; using Action = std::variant<Reset, Close, RunCommand>; void serializeAction(const Action& action, std::vector<uint8_t>& buffer) { // 現在のvariantのインデックスを先頭に保存 buffer.push_back(action.index()); if (auto* runCommand = std::get_if<RunCommand>(&action); runCommand != nullptr) { serializeString(runCommand->command, buffer); } } std::optional<Action> deserializeAction(std::span<const uint8_t> source) { if (source.size() == 0) { return std::nullopt; } // 先頭にあるインデックスによるswitch分岐 switch (source[0]) { case std::variant_alternative_index_v<Reset, Action>: return Reset { }; case std::variant_alternative_index_v<Close, Action>: return Close { }; case std::variant_alternative_index_v<RunCommand, Action>: return RunCommand { deserializeString(source.subspan(1)) }; } return std::nullopt; }
このサンプルは、Webkitにおいてstd::variant_alternative_index
相当のものを実装するきっかけとなったもののようです。