OptionalかわいいよOptional

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

やばい。 one-phase construction はやはり必要だ。

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

やはり Boost.Optional は正義なのである。型変換コンストラクタが何故か explicit だったりするけど。

Egtra (ysk-noh) @egtra

Boost.Optionalと言えば、if (x) f(*x);的なoptional<> xが値を保持しているときだけ関数fを適用するような関数がそろそろBoost.Optional本体に入っていいと思う。

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

思う。 RT @egtra: Boost.Optionalと言えば、if (x) f(*x);的なoptional<> xが値を保持しているときだけ関数fを適用するような関数がそろそろBoost.Optional本体に入っていいと思う。

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

ただ、戻り値をどうするか問題が…。

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

~T() じゃなくて delete だからダメダメだ。

Egtra (ysk-noh) @egtra

HaskellのMaybeってこういうことできるんだよね？

Egtra (ysk-noh) @egtra

@SubaruG 戻り値の型はoptional<decltype (f(*x))>でできないでしょうか。

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

@egtra 大丈夫ですが、もし戻り値が optional だった場合にどうするかが問題ですねー。

Egtra (ysk-noh) @egtra

optionalはget_optional_value_orが好きだけど、あまり使う機会がない。あとC#の??は簡潔でいいなあとか。

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

optional はむしろ初期化遅延に使う。

Egtra (ysk-noh) @egtra

@SubaruG なるほど、素直にoptional<optional<T>>となることしか考えていませんでした。

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

あらゆるものを、動的メモリ確保なしに default constructible にしてくれる optional は素敵だと思うんだぜ。

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

@egtra optional< optional<T> > でもいいですけど、連続して適用する場合に面倒だなぁ、と。

Egtra (ysk-noh) @egtra

@SubaruG ええたしかに。fが非optionalを返す場合しか考えていませんでした。

Egtra (ysk-noh) @egtra

@decimalbloat ええ、@SubaruG が言いたいのはそういうことだと思っていました。

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

T が非 optional なら optional<T> を、 optional<U> なら optional<U> を返す add_optional メタ関数を作れば問題無し。

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

というか作った。

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

うにーくぽいんたじゃなくて optional 使えばいい局面って多いよね。

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

optional<T>& 引数はなにげに便利。ただし const 教的には邪道なので unique_ptr を返した方がいいかも。

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

Boost.Optional は placement new 関連を綺麗にラップしてくれるメモリ管理ライブラリとしての側面が大きいので、 Maybe モナドより強力だと思う。なんで標準じゃないの？

Akira Takahashi @cpp_akira

@SubaruG 標準ライブラリのエラーポリシーに関わるものなので慎重になってる・・・としてもC++0xはどでかいメジャーバージョンアップなので入れてもよかったと思います。TR2にご期待ください。

鯉江 @koie

引数に使うことは考えたことがなかったが便利そう RT @SubaruG: optional<T>& 引数はなにげに便利。ただし const 教的には邪道なので unique_ptr を返した方がいいかも。

鯉江 @koie

引数に使うことは考えたことがなかったが便利そう RT @SubaruG: optional<T>& 引数はなにげに便利。ただし const 教的には邪道なので unique_ptr を返した方がいいかも。

でちまるさん（実際かわいい） @decimalbloat

@SubaruG and_を使えばいいんじゃないですか？