問題描述

我想要幾個重載的全局 to_string() 函數，它們采用某種類型的 T 并將其轉換為它的字符串表示形式.對于一般情況，我希望能夠寫:

I want to have several overloaded, global to_string() functions that take some type T and convert it to its string representation. For the general case, I want to be able to write:

template<typename T,class OutputStringType> inline
typename enable_if<!std::is_pointer<T>::value
                && has_insertion_operator<T>::value,
                   void>::type
to_string( T const &t, OutputStringType *out ) {
  std::ostringstream o;
  o << t;
  *out = o.str();
}

到目前為止，我對 has_insertion_operator 的實現是:

My implementation of has_insertion_operator so far is:

struct sfinae_base {
  typedef char yes[1];
  typedef char no[2];
};

template<typename T>
struct has_insertion_operator : sfinae_base {
  template<typename U> static yes& test( U& );
  template<typename U> static no& test(...);

  static std::ostream &s;
  static T const &t;

  static bool const value = sizeof( test( s << t ) ) == sizeof( yes ); // line 48
};

(它借鑒了this和這個.)這似乎有效.但是現在我想要一個 to_string 的重載版本，用于 not 有 operator<<< 但do 的類型> 有自己的to_string() member 函數，即:

(It borrows from this and this.) That seems to work. But now I want to have an overloaded version of to_string for types that do not have operator<< but do have their own to_string() member function, i.e.:

template<class T,class OutputStringType> inline
typename enable_if<!has_insertion_operator<T>::value
                && has_to_string<T,std::string (T::*)() const>::value,
                   void>::type
to_string( T const &t, OutputStringType *out ) {
  *out = t.to_string();
}

has_to_string 的實現是:

#define DECL_HAS_MEM_FN(FN_NAME)                                      
  template<typename T,typename S>                                     
  struct has_##FN_NAME : sfinae_base {                                
    template<typename SignatureType,SignatureType> struct type_check; 
    template<class U> static yes& test(type_check<S,&U::FN_NAME>*);   
    template<class U> static no& test(...);                           
    static bool const value = sizeof( test<T>(0) ) == sizeof( yes );  
  }

DECL_HAS_MEM_FN( to_string );

(這部分似乎工作正常.它改編自 this.)但是，當我有:

(This part seems to work fine. It's adapted from this.) However, when I have:

struct S {
  string to_string() const {
    return "42";
  }
};

int main() {
  string buf;
  S s;
  to_string( s, &buf ); // line 104
}

我明白了:

foo.cpp: In instantiation of ‘const bool has_insertion_operator<S>::value’:
foo.cpp:104:   instantiated from here
foo.cpp:48: error: no match for ‘operator<<’ in ‘has_insertion_operator<S>::s << has_insertion_operator<S>::t’

似乎 SFINAE 沒有發生.如何正確編寫 has_insertion_operator 以便確定全局 operator<< 是否可用?

It seems like SFINAE is not happening. How do I write has_insertion_operator correctly such that it determines whether a global operator<< is available?

僅供參考:我使用的是 g++ 4.2.1(在 Mac OS X 上作為 Xcode 的一部分提供).另外，我希望代碼只是標準的 C++03，沒有 3rd 方庫，例如 Boost.

FYI: I'm using g++ 4.2.1 (that which ships as part of Xcode on Mac OS X). Also, I'd like the code to be only standard C++03 without 3rd-party libraries, e.g., Boost.

謝謝！

推薦答案

我應該更忠實于這個的答案.一個有效的實現是:

I should have simply been more faithful to this answer. A working implementation is:

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

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

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

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

  template<typename T>
  struct has_insertion_operator {
    static std::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> {
};

我相信它不實際上依賴于 SFINAE.

I believe that it does not actually rely on SFINAE.

這篇關于使用 SFINAE 檢查全局操作符<<?的文章就介紹到這了，希望我們推薦的答案對大家有所幫助，也希望大家多多支持html5模板網！