OptionalかわいいよOptional(2)

普通のC++使い、銀天すばる @SubaruG

せめてコンストラクタがカリー化出来れば…。

Akira Takahashi @cpp_akira

みんな思ってるけど、現状無理っぽいこともみんな知ってる。 RT @SubaruG: ぐぬぬ。 tuple を unpack したい…（半ば定期post）

普通のC++使い、銀天すばる @SubaruG

めんどくさいからタプルからは構築できないようにしよう。

普通のC++使い、銀天すばる @SubaruG

optional x( in_place_construct, a, b, c );

普通のC++使い、銀天すばる @SubaruG

s/optional/optional<T>/

普通のC++使い、銀天すばる @SubaruG

と書くことにより、 *x が T( a, b, c ) で初期化される。うむ。

普通のC++使い、銀天すばる @SubaruG

in_place_construct じゃなくて emplace_construct にした方がいいか？

普通のC++使い、銀天すばる @SubaruG

コンテナ以外で emplace って単語を使っている例がないか、 N3092 を検索ちう

普通のC++使い、銀天すばる @SubaruG

in-place って単語は規格にあるのかな？

普通のC++使い、銀天すばる @SubaruG

in_place でも in place でもいいけど。

普通のC++使い、銀天すばる @SubaruG

in place of がヒットしまくって困る。

普通のC++使い、銀天すばる @SubaruG

emplace って、コンテナに対する要素の追加での局面しか使ってないみたいだにゃー。

普通のC++使い、銀天すばる @SubaruG

といっても、それ以外の局面で「直接構築」するのは pair の piecewise_construct くらいか。

普通のC++使い、銀天すばる @SubaruG

pair の該当する部分では piecewise construction という用語しか使ってないし…。

普通のC++使い、銀天すばる @SubaruG

いいや、 emplace_construction という用語を勝手に作っちゃおう。そもそも optional ってのは空か１要素かのみ格納出来るコンテナと考えられなくも無いし。

普通のC++使い、銀天すばる @SubaruG

ヤバい。関数のデフォルトテンプレートパラメータで SFINAE するのが簡潔すぎて感動する。

普通のC++使い、銀天すばる @SubaruG

これって規格的にOKだよな…？ VC10的にはどうなんだろ。

普通のC++使い、銀天すばる @SubaruG

戻り値とか引数にコッソリSFINAEを紛れ込ませるコードとか書きたくない…。

普通のC++使い、銀天すばる @SubaruG

まぁ gcc4.5.0 で可能だからおｋということにしよう。うむ。

普通のC++使い、銀天すばる @SubaruG

明示的な破棄を opt = none; ではなくもっと分かりやすい表現にしたいけど、名前はどうしようかなー。 dispose ？

普通のC++使い、銀天すばる @SubaruG

N3092 では unique_ptr の項で dispose っていう単語が登場してる。

普通のC++使い、銀天すばる @SubaruG

destroy だと再構築できなさそうだし、ここは dispose でいいかな？

普通のC++使い、銀天すばる @SubaruG

reset() でもいいよね。

普通のC++使い、銀天すばる @SubaruG

うにーくぽいんたとの整合性を考えて reset() にしとくか。

普通のC++使い、銀天すばる @SubaruG

コピーして swap すべきか、自己代入チェックして真面目に処理すべきか