有没有办法在编译时决定两个运行时代码路径中的一个?我知道函数重载可以用来完成这一壮举,但代码大小会增加,因为我的两个函数都被编译并链接到程序中。有没有办法避免这种规模的开销?
本质上,我想做的是:
#include <boost/mpl/if.hpp>
#include <boost/type_traits/is_abstract.hpp>
template <class T>
class X
{
public:
void copy_t(T &old_t)
{
//
// if T is abstract, (meaning that t is a pointer)
//
t = old_t.clone();
//
// else
//
t = old_t;
}
private:
typename boost::mpl::if_<boost::is_abstract<T>, T *, T>::type t;
};
我所知道的唯一方法涉及过载的成员函数:
template <class T>
class X
{
public:
void copy_t(T &old_t)
{
t = make_copy(old_t, t);
}
private:
T *make_copy(T &old_t, T *t)
{
return old_t.clone();
}
T &make_copy(T &old_t, T &t)
{
return old_t;
}
typename boost::mpl::if_<boost::is_abstract<T>, T *, T>::type t;
};
但现在,两个make_copy
成员函数被编译并链接到程序中,即使X
可能只使用抽象类模板参数实例化,在这种情况下,只需要其中一个。
从您的示例来看,函数似乎是一个类的成员样板如果是这样的话,只有当它们实际上是习惯于如果过载解决方案总是选择其中一个,则另一个将永远不要实例化。
这是许多元编程技术的关键规则。它是在这种情况下,没有实例化的函数会如果它被实例化,则会导致编译时错误。