テンプレート型のオーバーロード解決と演算子<<に関する問題

Question

私はライブラリを作成しています。オブジェクトを文字列にする必要があります。

私はoperator<<(ostream&...をサポートすることを選択しました。

もう1つは、{?}フォームにoperator<<(ostream&...のない型のデフォルト文字列を提供する必要があることです。

vector<>のようなテンプレート型で問題があります。ユーザーがvector<int>とvector<float>の2つのオーバーロードを書いて欲しくないですが、動作させることができません。

#include <string> 
#include <type_traits> 
#include <sstream> 
#include <vector> 
#include <iostream> 
using namespace std; 

namespace has_insertion_operator_impl { 
    typedef char no; 
    typedef char yes[2]; 

    struct any_t { 
     template <typename T> 
     any_t(T const&); 
    }; 

    no operator<<(ostream const&, any_t const&); 

    yes& test(ostream&); 
    no test(no); 

    template <typename T> 
    struct has_insertion_operator { 
     static ostream& s; 
     static T const&  t; 
     static bool const value = sizeof(test(s << t)) == sizeof(yes); 
    }; 
} 

template <typename T> 
struct has_insertion_operator : has_insertion_operator_impl::has_insertion_operator<T> {}; 

template <class T> 
typename enable_if<has_insertion_operator<T>::value, string>::type stringify(const T& in) { 
    stringstream stream; 
    stream << in; 
    return stream.str(); 
} 

template <class T> // note the negation here compared to the one above 
typename enable_if< ! has_insertion_operator<T>::value, string>::type stringify(const T&) { 
    return "{?}"; 
} 

// USER CODE: 

struct myType {}; 

ostream& operator<<(ostream& s, const myType&) { s << "myType"; return s; } 

template<typename T> 
ostream& operator<<(ostream& s, const vector<T>&) { s << "vector<T>"; return s; } 

int main() { 
    myType a;   cout << stringify(a) << endl; // prints "myType" 
         cout << stringify(6) << endl; // prints "6" 
    vector<int> v(5); cout << stringify(v) << endl; // prints "{?}" instead of "vector<T>" 

    return 0; 
} 

myTypeと整数文字列化しかしvector<int>のために、私はデフォルト{?}をゲット両方：ここ

はコードです。

私はこれに助けが必要です - それは私のためのshowstopperです。私はユーザーが用意したoperator<<(ostream&...のオーバーロードを修正せずにすぐに動作させる必要があります。これはすべてC++ 98で行います。

Answer 1

の第二のペアは私がしなければならなかったすべては挿入演算子形質の実装で名前空間を削除して判明一致しますフォールバックoperator<<(ostream&...は、グローバルスコープで終了します - hereを説明しています。

Answer 2

これは次のようになりますが、C++ 11のためにあなたのstringize機能

のためのより良い候補者を提供する必要がベクトルを一致させるには：

template <template <typename...> class V, typename... Args> 
typename enable_if< !has_insertion_operator<V<Args...>>::value, string>::type stringify(const V<Args...>&) { 
    return "template {?}"; 
} 
// also add enable_if for yes with code identical to the one in template<typename T> 

あなたがC++ 98を必要とするので、私は怖いですあなたは1からN（例えば5または10）のargsのためにいくつかのテンプレートオーバーロードを提供する必要があります。このような。たとえばvectorについては

template <template <typename> class V, typename T0> 
... 
template <template <typename, typename> class V, typename T0, typename T1> 
... 
/// etc 

あなたのケースでは2つのテンプレート引数を持っており、yes/no機能