C++编译时条件运行时语句

C++ Compile-Time Conditional Run-Time Statements

本文关键字：运行时 语句 条件 编译 C++      更新时间：2023-10-16

有没有办法在编译时决定两个运行时代码路径中的一个？我知道函数重载可以用来完成这一壮举，但代码大小会增加，因为我的两个函数都被编译并链接到程序中。有没有办法避免这种规模的开销？

本质上，我想做的是：

#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可能只使用抽象类模板参数实例化，在这种情况下，只需要其中一个。

从您的示例来看，函数似乎是一个类的成员样板如果是这样的话，只有当它们实际上是习惯于如果过载解决方案总是选择其中一个，则另一个将永远不要实例化。

这是许多元编程技术的关键规则。它是在这种情况下，没有实例化的函数会如果它被实例化，则会导致编译时错误。

相关文章：