IKB: 雑記帖

faith_and_brave 2012/02/16 10:22 > accumulate に渡す初期値は「コピー可能」なオブジェクトでなければならず、 std::ostream 系はコピー演算子が private になっていて使えないため。

<functional>にあるstd::refを使えば参照で渡せますね。

i_k_b 2012/02/16 11:21 噂の c++11 新機能…！　気になったので試してみましたが、この文脈ではかなり使いにくいという印象です。

faith_and_brave 2012/02/16 11:47 reference_wrapperは参照への変換演算子がありますので、print_outでreference_wrapperを受ける必要はないです。
http://ideone.com/YiqJy

i_k_b 2012/02/16 12:12 g++ 4.6.1 の推論がヘボいんでしょうかねえ…？　キャストしないと no match for ‘operator<<’ in ‘os << v.std::pair<const int, int>::first’ というエラーでコンパイルが通らなくなるんですよ。
"operator<<" に合致する演算が reference_wrapper にないので、ラップしている型の側で名前探索してくれればいいのですが、そうはなっていない。 （ためにキャストして戻してあげないと使えない）

faith_and_brave 2012/02/16 12:40 いえ、print_outのパラメータ自体がostream&でいいです。
http://ideone.com/5HoGg

i_k_b 2012/02/16 18:44 そうだったのですね。　これは便利だ！
確認したので、記事、変更しました。　ありがとうございます。

i_k_b 2012/02/16 18:46 …短縮 URL の先がサンプルコードだったのですね…　見てませんでした。

egtra 2012/02/17 02:34 my_pair_tを定義する方法はウマいと思いましたが、accumulator + refのほうは今イチだと感じました。
なぜなら、allumulatorを無理矢理使うくらいなら、for_each関数なりfor文なりを使うほうがよっぽど素直だと思うのです。
#include <iostream> // for std::cout
#include <algorithm> // for std::for_each

#include <map>

typedef std::map<int, int> map_t;

std::ostream& pair_out(std::ostream &os, const map_t::value_type &v) {
return os << v.first << " = " << v.second;
}

int main() {
map_t map = {
{1, 10},
{2, 20},
{3, 30},
};
// for_each
std::for_each(map.begin(), map.end(), [](const map_t::value_type &p) {
std::cout<< "(" << p.first << ", " << p.second << ")\n";
});
// range‐based for
for (const auto &p : map ) {
std::cout<< "(" << p.first << ", " << p.second << ")\n";
}
return 0;
}
（g++ 4.6.2で確認しました。おそらく4.6.1でも動くと思います）

faith_and_brave 2012/02/21 10:36 > egtraさん
accumulate(fold)は2項演算一般に対する抽象化のアプローチなので、この用途は本来の目的から逸脱したものではないと思います。

i_k_b 2012/03/02 11:05 > egtra さん
for 文や for_each アルゴリズムの例、ありがとうございます。

ところで for や for_each は「ループする」という一番プリミティブな（抽象度の高い）機能のため、何でもできます。
一方で「copy アルゴリズムは列を別の列にコピーする」という意図を、「accumulate アルゴリズムは、列を、与えた二項演算を使って与えた初期値に足しこんでいく」という意図を明示しています。

個人的な好みの話ですが、コードを書くときはできるだけ抽象度の低い（この例でいえば copy や accumulate、できればもっと特殊化された）階層で仕事をするのがよいとおもっています。
関数型言語の話で恐縮ですが、関数を定義するときに、再帰で直接書き下すよりは fold といった高階関数を、 fold よりはもっと特殊化された map を使ったほうが、意図を伝えやすくなるし、抽象化の階梯を降りるごとにできる仕事が少なくなるため部品への結合が少なくなり、部品の取り換えがより簡単になる（よって、いろいろな実験がしやすくなる）　…といった話です。

スパム対策のためのダミーです。もし見えても何も入力しないでください