17

コンパイラがこのコードのみを受け入れる理由を誰かが説明できますか

template<typename L, size_t offset, typename enable_if< (offset<sizeof(L)), int >::type =0>
void a_function(){}

template<typename L, size_t offset, typename enable_if< (offset==sizeof(L)), int >::type =0>
void a_function(){}

しかし、これではありません：

template<typename L, size_t offset, typename enable_if< (offset<sizeof(L)), int >::type =0>
class a_class{};

template<typename L, size_t offset, typename enable_if< (offset==sizeof(L)), int >::type =0>
class a_class{};

コンパイラーは、2番目のクラスのテンプレートを最初のクラスのテンプレートの再定義と見なします。

4

2 に答える 2

15

クラスには特殊化を使用する必要があります。通常、これは追加のパラメーターを使用して行われます。

template <class P, class dummy = void>
class T;

template <class P>
class T<P, typename enable_if<something, void>::type> {
   the real thing
};

同じ名前の2つのクラス（またはクラステンプレート）宣言は、常に同じクラスまたはクラステンプレートを宣言する必要があります（または特殊化されている場合は、同じテンプレートのままです）。

于 2012-01-31T12:54:26.073 に答える
1

あなたはおそらくこのようなことをしたいと思うでしょう（ideone.comリンク）：

#include <iostream>

template< typename PL, size_t pOffset, int pC = int( sizeof(PL) ) - int( pOffset ) >= 0 ? ( int( sizeof(PL) ) - int( pOffset ) == 0 ? 0 : 1 ) : -1 >
class TClass
{
};

template< typename PL, size_t pOffset >
class TClass< PL, pOffset, -1 >
{
 public:
  static int const sI = -1;
};

template< typename PL, size_t pOffset >
class TClass< PL, pOffset, 0 >
{
 public:
  static int const sI = 0;
};

template< typename PL, size_t pOffset >
class TClass< PL, pOffset, 1 >
{
 public:
  static int const sI = 1;
};

int main(void )
{
 TClass< char, 0 > lC0;
 TClass< char, 1 > lC1;
 TClass< char, 2 > lC2;

 std::cout << lC0.sI << " : " << lC1.sI << " : " << lC2.sI << std::endl;

 return ( 0 );
}

プログラム出力：

1 : 0 : -1
于 2012-01-31T14:01:58.267 に答える