[C++23] expected

[faithandbrave]

• P0323R12 std::expected
• P2549R1 std::unexpected<E> should have error() as member accessor
• P2505R5 Monadic Functions for std::expected

作業タスク

• expected<T, E>
• expected<cv void, E>
• unexpected<E>
• unexpect_t
• bad_expected_access<E>

[yohhoy]

C++23クラステンプレートstd::expected<T, E>には、std::expected<cv void, E>部分特殊化バージョンが定義されています。

• https://eel.is/c++draft/expected.expected
• https://eel.is/c++draft/expected.void

当初はexpected各メンバページに部分特殊化の説明を追加していく想定でしたが、思ったより両者の差分が大きいこと（T=cv voidを前提とした簡約化やオーバーロード差異）に気づきました。

そこで、プライマリレンプレートと部分特殊化バージョンをクラス説明レベルで分離してしまった方がスッキリしそうです。

ディレクトリ構造の素案：

• /reference/expected/expected/(各種メンバ).md
• /reference/expected/expected.void/(各種メンバ).md

@faithandbrave さん：
現時点のcpprefjpサイトではこのような「プライマリンプレートと部分特殊化でクラスレベルの分離」を行っている事例がないため、どのように対処するのが適切かを相談させてください。

[faithandbrave]

一旦やりやすい方法で書いてもらって、それをあとでルール化しましょうか。
書いてるうちにうまくいかないところとか出てくるかもしれませんので。
いまのところ、そういった事例はないです。

あとでstart_editing/directory_structure.mdにPull Requestいただければ

[faithandbrave]

https://cpprefjp.github.io/reference/future/promise/set_value.html

promise<void>とかは、ページは分けていないですが、オーバーロードのように特殊化の説明を分けているものはあります。

[yohhoy]

promise<R>の説明構造を確認してみました : https://eel.is/c++draft/futures.promise
ちょっとした違いであれば、プライマリンプレートと同一ページで説明してしまえばOKですね。（bad_expected_access<void>はその予定）

expected<T,E>は特にコンストラクタ／代入演算子／swapページが（プライマリンプレートのみの時点で）ごちゃごちゃしているので、ひとまずクラスレベル分離の方向で進めたいと思います。

• https://cpprefjp.github.io/reference/expected/expected/op_constructor.html
• https://cpprefjp.github.io/reference/expected/expected/op_assign.html
• https://cpprefjp.github.io/reference/expected/expected/swap.html

[yohhoy]

expected<T,E>は[...]、ひとまずクラスレベル分離の方向で進めたいと思います。

996f8d3 にて、実験的に数ページだけcpprefjpサイトへデプロイしてみました。

自分で確認した範囲では、2つの問題を見つけました：

1. ページ上部のパンくずリストが部分的に機能しない。これは(人力)リダイレクトを促すページを作ってしまえば解決すると思います。
   @faithandbrave さん：サイト変換ルールを正しく把握していないのですが、ファイルパスは /reference/expected/expected.void.md でよいでしょうか？

2. サイト内検索(crsearch)で、プライマリテンプレートと部分特殊化版で2重にHITしてしまう。こちらは、この挙動で良しとするしかないかなと考えています。

[faithandbrave]

@faithandbrave さん：サイト変換ルールを正しく把握していないのですが、ファイルパスは /reference/expected/expected.void.md でよいでしょうか？

はい、それで大丈夫です。

サイト内検索(crsearch)で、プライマリテンプレートと部分特殊化版で2重にHITしてしまう。こちらは、この挙動で良しとするしかないかなと考えています。

expected<void>[meta class]
とすれば分けられそうな気もしますが、どうでしょう

[yohhoy]

以下の対処を行いました。

• /reference/expected/expected.void.md プレイスホルダーページを用意
• 各メンバ説明ページのメタ情報は expected.void[meta class] を記述

[yohhoy]

done!