私がクラスを持っているとしましょう:
class Base{};
class A: public Base{
int i;
};
class B:public Base{
bool b;
};
そして今、私はテンプレート化されたクラスを定義したいと思います:
template < typename T1, typename T2 >
class BasePair{
T1 first;
T2 second;
};
ただし、Baseクラスの子孫のみがテンプレートパラメータとして使用できるように定義します。
どうやってやるの?
より正確には:
class B {};
class D1 : public B {};
class D2 : public B {};
class U {};
template <class X, class Y> class P {
X x;
Y y;
public:
P() {
(void)static_cast<B*>((X*)0);
(void)static_cast<B*>((Y*)0);
}
};
int main() {
P<D1, D2> ok;
P<U, U> nok; //error
}
C++ 11は <type_traits>
template <typename T1, typename T2>
class BasePair{
static_assert(std::is_base_of<Base, T1>::value, "T1 must derive from Base");
static_assert(std::is_base_of<Base, T2>::value, "T2 must derive from Base");
T1 first;
T2 second;
};
C++はまだこれを直接許可していません。クラス内で STATIC_ASSERT
および タイプチェック を使用することにより、間接的にそれを実現できます。
template < typename T1, typename T2 >
class BasePair{
BOOST_STATIC_ASSERT(boost::is_base_of<Base, T1>);
BOOST_STATIC_ASSERT(boost::is_base_of<Base, T2>);
T1 first;
T2 second;
};
これは素晴らしい質問でした!この link を介してこれを調査しているときに、私は次のことを思いつきました。毎日何かを学ぶ...チェック!
#include <iostream>
#include <string>
#include <boost/static_assert.hpp>
using namespace std;
template<typename D, typename B>
class IsDerivedFrom
{
class No { };
class Yes { No no[3]; };
static Yes Test(B*); // declared, but not defined
static No Test(...); // declared, but not defined
public:
enum { IsDerived = sizeof(Test(static_cast<D*>(0))) == sizeof(Yes) };
};
class Base
{
public:
virtual ~Base() {};
};
class A : public Base
{
int i;
};
class B : public Base
{
bool b;
};
class C
{
string z;
};
template <class T1, class T2>
class BasePair
{
public:
BasePair(T1 first, T2 second)
:m_first(first),
m_second(second)
{
typedef IsDerivedFrom<T1, Base> testFirst;
typedef IsDerivedFrom<T2, Base> testSecond;
// Compile time check do...
BOOST_STATIC_ASSERT(testFirst::IsDerived == true);
BOOST_STATIC_ASSERT(testSecond::IsDerived == true);
// For runtime check do..
if (!testFirst::IsDerived)
cout << "\tFirst is NOT Derived!\n";
if (!testSecond::IsDerived)
cout << "\tSecond is NOT derived!\n";
}
private:
T1 m_first;
T2 m_second;
};
int main(int argc, char *argv[])
{
A a;
B b;
C c;
cout << "Creating GOOD pair\n";
BasePair<A, B> good(a, b);
cout << "Creating BAD pair\n";
BasePair<C, B> bad(c, b);
return 1;
}
まず、宣言を修正します
template < class T1, class T2 >
class BasePair{
T1 first;
T2 second;
};
次に、基本クラスでプライベート関数Foo();を宣言できます。 BaseクラスにフレンドとしてBasePairを持つように指示します。次に、フレンドコンストラクタでこの関数を呼び出すだけです。これにより、他のクラスをテンプレートパラメータとして使用しようとすると、コンパイル時エラーが発生します。
class B
{
};
class D : public B
{
};
class U
{
};
template <class X, class Y> class P
{
X x;
Y y;
public:
P()
{
(void)static_cast<X*>((Y*)0);
}
};
Unknown(yahoo)によって提案された答えでは、タイプXおよびYの変数をメンバーとして実際に持つ必要はありません。これらの行はコンストラクターで十分です:
static_cast<B*>((X*)0);
static_cast<B*>((Y*)0);