オーバーテクノロジー：How to know which functhion is actually called among Overloaded Function set at the Compilation Time?

Norihisa Fujita, ぽん @fjnli

std::tuple<int,int>の返り型の関数でreturn {1,2};って書くのは駄目なの…?

Akso de la Malbono @Cryolite

@fjnli ダメじゃないですよ．

Akso de la Malbono @Cryolite

関数のパラメタや関数の戻り値を braced-init-list で初期化するのは copy-list-initialization で，自分の理解が間違っていなければこれらは直接相手先のコンストラクタを呼ぶので初期化対象が Copyable/Movable でなくて良いはず．

Norihisa Fujita, ぽん @fjnli

@SubaruG @Cryolite g++ 4.5.0だとエラーになるんです…

隅須正昭 @nagoya313

なんたらinitializationについてはVC++が対応してから考えることにする。

隅須正昭 @nagoya313

なんですと！？ RT @SubaruG あぁ、そういえば explicit な多引数コンストラクタって意味を持つようになったんだっけか。

Norihisa Fujita, ぽん @fjnli

struct {int x; int y;}; のような型に対しては {1,2} で初期化できるんだけど。

Norihisa Fujita, ぽん @fjnli

闇の書を読むか。8.5 Initializersあたり?

Yak! @yak_ex

C++ 奥が深い。っていうか C++0x 全然分かって NEEEEEeeeeee.........

隅須正昭 @nagoya313

ん～、となると多引数の場合でもexplicitを付けるのがデフォな流れになるのか？

Norihisa Fujita, ぽん @fjnli

@SubaruG しかしstd::tupleはついてますね。std::make_tupleを使えということですか

隅須正昭 @nagoya313

１変数の時は暗黙型変換を阻止したいことが多いからexplicit付けることになると思うけどそうすると１変数のときだけ{}で初期化できないという体系が出来てしまうような・・・。

Norihisa Fujita, ぽん @fjnli

@SubaruG tuple<int> x = 1 が許されるとまずいという事ですか?

Yak! @yak_ex

@nagoya313 今 n3092 見ただけですが、explit 無しのコンストラクタが抑止されるのは copy-list-initialization の時だけで direct-list-initialization の時は呼べる見たいです。

Norihisa Fujita, ぽん @fjnli

@SubaruG あーそうか…

Akso de la Malbono @Cryolite

std::tuple<int> t = { 1 }; も弾かれるのは納得できんな．

隅須正昭 @nagoya313

@yak_ex どうもです。あとで確認してみます。

Yak! @yak_ex

@Cryolite std::tuple<int> t{1} だと通ると。

Norihisa Fujita, ぽん @fjnli

やっぱtupleリテラルが必要だったのでは、と思う。const教的にも。 > C++0x

Yak! @yak_ex

いわゆる「C++ で最も奇妙な解析」(一時オブジェクトを伴う関数呼び出しのつもりが関数宣言として解釈される奴)も () じゃなくて {} で書けば回避可能ってことかな？

Akso de la Malbono @Cryolite

@yak_ex ぅぃぅぃ

Yak! @yak_ex

関数呼び出しつかコンストラクタ呼び出しですね。ごめんなさい。