C# と VB.NET の質問掲示板

個人的に納得がいかないのでどなたか解説していただけると幸甚の至り。

うまくいく例
typedef std::string value_type; // ここをいろいろ差し替える予定がある
typedef std::vector<value_type> container_type; // list になる可能性がある
// value_type を出力する先が cout/wcout 両方になる可能性があるので basic_ostream で実装
// このオレオレ operator<< は当然無名名前空間においてあり std 内ではない
template<typename charT, typename Traits>
std::basic_ostream<charT, Traits>& operator<<(std::basic_ostream<charT, Traits>& s,
                                              const value_type& v) {
    return s; // 例なので何も出力しなくていい
}
int main() {
    container_type c;
    // value_type を cout に出力したい (将来的には wcout になる可能性あり) 
    std::copy(c.begin(), c.end(), std::ostream_iterator<value_type>(std::cout, "\n"));
}
これは VC++(2005) gcc-4.2.2 とも期待通りの動作をする。
期待通りとは、 ostream_iterator がちゃんとオレオレ operator<< を見つけ
コンパイル・リンクでき、実行できる(この例では何も出力されない)、ということ。

うまくいかない例
typedef std::pair<std::string, std::string> value_type; // 他はすべて同一
とすると ostream_iterator がオレオレ operator<< を見つけられなくなってしまう
ADL が効いていないというべきか、効きすぎているといべきか？
オレオレ operator<< を namespace std 内で定義するとうまくいくので (違反だけど)

なぜ、無名名前空間に配置したオレオレ operator<< が
前者<std::string> では見つかり後者<std::pair<...> > では見つからないの？

■No30859 (774RR さん) に返信

std::string s;
std::cout << s << std::endl;

と同じで、std::ostream_iteratorにstd::coutを渡してるからstd名前空間の
operator<<がルックアップされるんじゃないかと。

なるほど。最初の例で書いた typedef std::string value_type; の場合は確かに
オレオレ operator<< の template を丸ごと削除してもコンパイル通ってしまいました。
俺の知らないうちに ADL が std::operator を見つけてしまっていて、
オレオレ 無名名前空間::operator は使われていないのですな。

struct value_type : std::pair<....> {}; とすればいい、んぢゃね？も納得です。

＊ですが＊

Q1.
「俺は c.push_back(make_pair("a", "b")); と書きたいんぢゃあ！」
というわがままな要件にどう対応すればいいでしょう？ (wcout 時に L"a" に直すのは手でやるとして)
struct value_type : std::pair<std::string, std::string> {
    value_type(const std::pair<std::string, std::string>& a) : std::pair<std::string, std::string>(a) {}
};
としたのでは c.push_back(make_pair(string("a"), string("b"))); としなけりゃなりません。

Q2. (まあ Q1 と状況は同じなのですが)
typedef std::pair<...> value_type; が変更できない場合、オレオレ operator<< をどう実装すべきでしょう？
ないしは、実装できるのでしょうか？できないのでしょうか？

■No30882 (uskz さん) に返信

> （あるいはすでにあるBoost.FusionやTuple辺りを使う）．

FusionやTupleだとoperator<<ありますからねぇ。

【Boost.Tupleの場合】

#include <iostream>
#include <algorithm>
#include <iterator>
#include <vector>
#include <string>
#include <boost/tuple/tuple.hpp>
#include <boost/tuple/tuple_io.hpp>

int main()
{
    std::vector<boost::tuple<std::string, std::string> > v;

    v.push_back(boost::make_tuple("a", "b"));

    std::copy(v.begin(), v.end(),
        std::ostream_iterator<boost::tuple<std::string, std::string> >(std::cout, "\n"));
}



【Boost.Fusionの場合】

#include <iostream>
#include <algorithm>
#include <iterator>
#include <vector>
#include <string>
#include <boost/fusion/sequence.hpp>
#include <boost/fusion/include/make_vector.hpp>

int main()
{
    namespace fusion = boost::fusion;

    std::vector<fusion::vector<std::string, std::string> > v;

    v.push_back(fusion::make_vector("a", "b"));

    std::copy(v.begin(), v.end(),
        std::ostream_iterator<fusion::vector<std::string, std::string> >(std::cout, "\n"));
}