OptionalかわいいよOptional

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

今日やるべき事： 「それでも Boost.Optional を使う n の理由」というBlog記事をかく。

だし巻き卵 @mashiro

C++は他の言語で1の労力でできることを実現するのに100とか1000とか労力を注いでてとても楽しい。

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

何個にしようか。

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

無論、普段はメモリ管理とオブジェクト管理は切り離すべきではないのですが。それこそ「それBoost.Optionalで出来るよ！」「それ make_shared で出来るよ！」だし。

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

Boost.Optional のようなものを、高効率でライブラリとして実装出来る、ってのが素晴らしいのです。

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

メモリ管理でごにょる為に、言語自体の侵入的なサポートが要らないのです。

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

…だから何、という話ですが…嬉しいんだよ！ 僕らC++erには！

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

大事なのは、メモリが見えるだけじゃなく、メモリ管理をライブラリによって隠蔽出来る、という点だしにゃー。

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

Boost.Optional の変種で、コンストラクタではオブジェクトを構築しないで、実際に *x とか呼ばれたときにオブジェクトを構築するような何かを作ってみてはどうか。

Ikegami Daisuke @ikegami__

コンパイル時では値が同じになるかどうかわからないので、さすがにそれは難しいのではないかと RT @SubaruG 二回目からは計算させたくない

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

引数パックの合計サイズが sizeof(T) を超えない場合は、動的メモリ確保しないでおく、という小技とか使って。

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

@ikegami__ コンパイル時に機械的に決まって欲しいとは思ってなくて、ライブラリとして適切な物が有るかなー、と。

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

コンストラクタで、 T 型を返す無引数関数を受け取る

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

オブジェクトが実際に要求される（*で参照外し）されると、その関数が呼ばれて、以降は普通の optional<T> として振舞う。

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

move constructible を要求してしまうけど、悪くない方針では。

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

無論、一度も呼ばれなければ、関数自体が評価されない。

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

となると、ジェネリックな std::function では役者不足だな。スタック上のサイズをテンプレートパラメータとして指定出来る汎用関数オブジェクトが必要だ。

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

無駄なメモリ確保など害悪以外の何物でも無い。

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

Optional かわいいよ Optional 。任意タイミングで構築／破棄できるオブジェクトってだけで最高。

鯉江 @koie

m_initializedぽいです RT @SubaruG: うわ。Boost.Optional 終わりすぎ。 optional<T&> って T* と同じもんじゃん。なんでサイズ違うんだ＞＜ http://ideone.com/PIEfo

鯉江 @koie

m_initializedぽいです RT @SubaruG: うわ。Boost.Optional 終わりすぎ。 optional<T&> って T* と同じもんじゃん。なんでサイズ違うんだ＞＜ http://ideone.com/PIEfo

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

@koie サイズが違う時点で中身は推測出来ましたが、これ明らかに無駄ですよね。

鯉江 @koie

@SubaruG 自滅するときにT::~T()を呼ぶかどうか決めないといけないのでしかたなくないですか?

鯉江 @koie

@SubaruG 自滅するときにT::~T()を呼ぶかどうか決めないといけないのでしかたなくないですか?

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

@koie T& だと必要ないですよね。明らかに。