如何限定模板参数，使其是某个类的派生？

muddogxp 2005-12-07 02:24:22

class base {
.......

};

template < class subclass > // 希望这里的subclass是base的派生类
function() {
........
}

...全文

343 17 打赏收藏转发到动态举报

写回复

用AI写文章

17 条回复

切换为时间正序

请发表友善的回复…

发表回复

noneone 2005-12-08

打赏
举报

学习

muddogxp 2005-12-07

打赏
举报

不错

sinall 2005-12-07

打赏
举报

向楼上学boost。

pongba 2005-12-07

打赏
举报

哦，我看到你说的是函数，那也一样，如下：

// declarative way, overloadable!
template<typename T>
void foo(T t, typename boost::enable_if< boost::is_base_of<B,T>,int >::type = 0)
{
// do your business here!
}

// imperative way, can't be used in overload resolution!
template<typename T>
void foo1(T t)
{
BOOST_STATIC_ASSERT( (boost::is_base_of<B,T>::value) );

// do your business here!
}

int main()
{
foo(D()); // ok
foo(X()); // error!

foo1(D()); // ok
foo1(X()); // error!

return 0;
}

pongba 2005-12-07

打赏
举报

两种方法；一种是declarative的，另一种是imperative的。
代码如下：

// if you don't have a boost library, download it here: http://www.boost.org
#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/is_base_of.hpp>
#include <boost/static_assert.hpp>

struct B{};
struct D:B{};
struct X{};

// declarative way
template<typename T,typename Enable = void>
struct C;

template<typename T>
struct C<T,typename boost::enable_if<boost::is_base_of<B,T> >::type >
{
// do your business here!
};

// imperative way
template<typename T>
struct C1
{
private:
BOOST_STATIC_ASSERT( (boost::is_base_of<B,T>::value) );
public:
// do your business here!
};

int main()
{
C<D> c1; // ok
C<X> c2; // error!

C1<D> c3; // ok
C1<X> c4; // error!
return 0;
}

--
C++的罗浮宫
http://blog.csdn.net/pongba

xlsue 2005-12-07

打赏
举报

刚开始的时候，我以为我的另个办法可以，试了一下。行不通。
我现在的功力还不够。目前只知道这个办法，在这个的基础上，还可以使用define，减少手工的特化。。。

积木 2005-12-07

打赏
举报

编译上面的技巧。。。偶是想不出来了。

muddogxp 2005-12-07

打赏
举报

我只是想限定。如果派生很多，都特化的化就没必要了

xlsue 2005-12-07

打赏
举报

我想不出其它办法，我的办法是有多少个继承类就多少个特化。
#include <iostream>
#include <string>
using namespace std;

class base{ };
class derived1:public base { };

template <typename subclass > // 希望这里的subclass是base的派生类
void function();

template <>
void function<base>() {

}

template <>
void function<derived1>() { }

int main()
{
//function<int>();
function<base>();
function<derived1>();

return 0;
}

muddogxp 2005-12-07