0

我正在使用 MSVC 9.0 并具有此功能:

class RecipientList
{
public:
    template<class T>
    void fillMessageWithRecipients( typename boost::is_base_of<MsgContent, T>::type* msg );
};

template< class T >
void RecipientList::fillMessageWithRecipients( typename boost::is_base_of<MsgContent, T>::type* msg )
{
 // do stuff
}

我希望模板类型推导在这里工作,所以我可以这样使用它:

class SomeMsg : public MsgContent {};

std::auto_ptr<SomeMsg> msg( new SomeMsg );

RecipientList recipients;
recipients.fillMessageWithRecipients( msg.get() );

但是我得到编译器错误:

错误 C2783:“void RecipientList::fillMessageWithRecipients(boost::is_base_of::type *)”:无法推断“T”的模板参数

我感觉这与实际传入的类型是指针类型而不是类型本身有关。知道如何在这里正确地进行类型推导吗?

提前致谢。

4

2 回答 2

2

我感觉你在滥用boost::is_base_of。嵌套的type将是true_typefalse_type。这两个都没有意义作为参数,你的指针将不能转换为那些。

你真正想要的:

#include <boost/type_traits/is_base_of.hpp>
#include <boost/utility/enable_if.hpp>

class MsgContent {};

class RecipientList
{
public:
    template<class T>
    typename boost::enable_if<
        typename boost::is_base_of<MsgContent, T>::type
      , void>::type
    fillMessageWithRecipients(T* t) { }
};

class SomeMsg : public MsgContent {};

int main()
{
  RecipientList recipients;
  SomeMsg m;
  recipients.fillMessageWithRecipients( &m );

  return 0;
}
于 2012-11-09T19:33:34.110 回答
2

您应该将 is_base_of 与enable_if一起使用。

is_base_of 本身只是谓词。

现场演示

#include <boost/type_traits.hpp>
#include <boost/utility.hpp>
#include <iostream>
#include <ostream>

using namespace std;

struct Base1 {};
struct Derived1 : Base1 {};

struct Base2 {};
struct Derived2 : Base2 {};

template<typename T>
typename boost::enable_if< boost::is_base_of<Base1, T>, void >::type f(T* p)
{
    cout << "Base1" << endl;
}

template<typename T>
typename boost::enable_if< boost::is_base_of<Base2, T>, void >::type f(T* p)
{
    cout << "Base2" << endl;
}

int main()
{
    Derived1 d1;
    Derived2 d2;
    f(&d1);
    f(&d2);
}

输出是:

Base1
Base2
于 2012-11-09T19:43:01.823 回答