所以我想在模板类型时应用特定的boost::is_convertible
代码WellKnownType
:
template <typename T>
class Foo {
public:
Foo() {
// apply specific function to m_t
// if T is convertible to WellKnownType
}
T m_t;
};
为此,我考虑使用仿函数:
template <typename T>
struct my_functor {
void operator()(T& t) {
// do nothing by default
}
};
然后,我想在以下情况下专门使用这个函子来做其他事情boost::is_convertible<T, WellKnownType>
:
template <>
struct my_functor<...> {
void operator()(T& t) {
// do something to t because it is convertible to WellKnownType
}
};
然后,我想我可以轻松地更改Foo
定义以使用函子并在可转换为时执行某些操作,而在不可T
转换WellKnownType
时则不执行任何操作:
template <typename T>
class Foo {
public:
Foo() {
my_functor<T>()(m_t);
}
T m_t;
};
我不知道如何实现这种行为。我知道BOOST_CONCEPT_REQUIRES
,但不知道如何将其应用于模板专业化。有什么帮助吗?