6

C++03でテンプレート引数が参照型かどうかを確認したい。is_reference（ C ++ 11とBoostにはすでにあります）。

SFINAEと、参照へのポインターがないという事実を利用しました。

これが私の解決策です

#include <iostream>
template<typename T>
class IsReference {
  private:
    typedef char One;
    typedef struct { char a[2]; } Two;
    template<typename C> static One test(C*);
    template<typename C> static Two test(...);
  public:
    enum { val = sizeof(IsReference<T>::template test<T>(0)) == 1 };
    enum { result = !val };

};

int main()
{
   std::cout<< IsReference<int&>::result; // outputs 1
   std::cout<< IsReference<int>::result;  // outputs 0
}

それに関する特定の問題はありますか？誰かが私にもっと良い解決策を提供できますか？

4

2 に答える 2

15

これをもっと簡単に行うことができます：

template <typename T> struct IsRef {
  static bool const result = false;
};
template <typename T> struct IsRef<T&> {
  static bool const result = true;
};
于 2011-12-13T09:11:55.417 に答える
7

何年も前に、私はこれを書きました：

//! compile-time boolean type
template< bool b >
struct bool_ {
    enum { result = b!=0 };
    typedef bool_ result_t;
};

template< typename T >
struct is_reference : bool_<false> {};

template< typename T >
struct is_reference<T&> : bool_<true> {};

私には、あなたのソリューションよりも簡単に思えます。

ただし、数回しか使用していないため、見落としがあるかもしれません。

于 2011-12-13T09:10:14.257 に答える