如何在C ++中为MPL向量的所有成员显式实例化模板？

| 考虑以下头文件：

// Foo.h
class Foo {
    public: 
        template <typename T>
        void read(T& value);
};

我想在源文件中为boost::mpl::vector中包括的所有类型显式实例化Foo::read成员函数模板：

// Foo.cc
#include <boost/mpl/vector.hpp>
#include <boost/mpl/begin_end.hpp>
#include \"Foo.h\"

template <typename T>
void Foo::read(T& value) { /* do something */ }

typedef boost::mpl::vector<int, long, float> types;

// template Foo::read<int  >(int&);
// template Foo::read<long >(long&);
// template Foo::read<float>(float&);

// instantiate automatically ???

可能吗？预先感谢，丹尼尔。编辑我找到了一些解决方案-似乎在结构的构造函数中向Foo::read<T>分配了一个指针，然后声明了该变量的变量，导致实例化：

// intermezzo
template <typename T> struct Bar {
    Bar<T>() {
        void (Foo::*funPtr)(T&) = &Foo::read<T>;
    }
};

static Bar<int  > bar1;
static Bar<long > bar2;
static Bar<float> bar3;

因此，该过程可以如下自动化：

// Foo.cc continued
template <typename B, typename E>
struct my_for_each {
    my_for_each<B, E>() {
        typedef typename B::type T;      // vector member
        typedef void (Foo::*FunPtr)(T&); // pointer to Foo member function
        FunPtr funPtr = &Foo::read<T>;   // cause instantiation?
    }

    my_for_each<typename boost::mpl::next<B>::type, E> next;
};

template<typename E>
struct my_for_each<E, E> {};

static my_for_each< boost::mpl::begin<types>::type,
                    boost::mpl::end<types>::type > first;

但是我不知道此解决方案是否可移植且符合标准？（适用于Intel和GNU编译器。）

已邀请:

6 个回复

屡倒雷图

我不久前有相同的要求，并通过简单的函数模板实例化获得了良好的结果：

template <class... T>
void forceInstantiation(typedef boost::mpl::vector<T...>*) {

    using ex = int[];
    (void)ex{(void(&Foo::read<T>), 0)..., 0};

    // C++17
    // (void)((void(&Foo::read<T>), ...));
}

template void forceInstantiation(types*);

疏腔傻小雹

我不确定这是否可以解决您的问题，但是也许您可以使用模板专门化功能。新标题：

// Foo.h

template < typename T >
struct RealRead;

class Foo {
    public: 
        template <typename T>
        void read(T& value);
};

template <typename T>
void Foo::read(T& value)
{
  RealRead< T >::read( value );
}

新来源：

template < >
struct RealRead< int >
{
  static void read( int & v )
  {
    // do read
  }
};
template < >
struct RealRead< float >
{
  static void read( float & v )
  {
    // do read
  }
};

//etc

// explicitly instantiate templates
template struct RealRead< int >;
template struct RealRead< float >;

佃蒜狗掂哥

您可以使用template class Foo<T>;显式实例化给定T模板参数的Foo。至于批处理实例化，我认为这是不可能的。也许使用可变参数模板可以创建一个实例化类，以便像ѭ11这样的实例可以实例化适当的模板，但是除此之外，您必须求助于手动实例化。

淘圃跺枯替

显式实例化具有特殊的语法和特殊的编译器含义，因此无法使用元编程来实现。您的解决方案会导致实例化，但不会导致显式实例化。

埃输林桨铃

我认为没有必要，也没有可能。您可以对任何类型的变量bar直接使用（调用）函数Foo：read（bar），只要该类型在模板函数实现中定义良好即可。编译器将自动将您的参数变形为\“ T \”类型。例如：

template <class T>
Foo::read(T & var)
{
    std::cin >> var;
}

当T是cin支持的流类型时，T定义明确。如果删除\“ Foo :: \”，该示例将是独立的。我的意思是，对于\“ Foo :: \”，您应该在某个地方定义一个类Foo或命名空间Foo，以使其起作用。但是请注意，模板应始终放在.h文件中，而不是.cpp文件中（只需在网络上搜索关键字“ c ++模板不能在cpp文件中实现”

扭湘阀柿蹄

如果您打算仅在单个模块中使用您的类（即您不会导出它），则可以使用boost / mpl / for_each。以这种方式定义的模板函数（使用mpl / for_each）将不会被导出（即使您在类名或函数签名之前声明了__declspec（export））：

// Foo.cpp
#include <boost/mpl/vector.hpp>
#include <boost/mpl/for_each.hpp>

template<class T>
void read(T& value)
{
...
}

using types = boost::mpl::vector<long, int>;

//template instantiation
struct call_read {
  template <class T> 
  void operator()(T)
  {
    T t; //You should make sure that T can be created this way
    ((Foo*)nullptr)->read<T>(t); //this line tells to compiler with templates it should instantiate
  }
};

void instantiate()
{
  boost::mpl::for_each<types>(call_read());
}

如果您需要导出/导入您的结构和模板方法，则可以使用boost / preprocessor解决方案

// Foo.h
#ifdef <preprocessor definition specific to DLL>
#    define API __declspec(dllexport)
#else
#    define API __declspec(dllimport)
#endif

class API Foo {
public:
  template<class T> void read(T& value);
};

// Foo.cpp
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/seq/enum.hpp>
#include <boost/mpl/vector.hpp>

template<class T>
void read(T& value)
{
...
}

//using this macro you can define both boost::mpl structure AND instantiate explicitly your template function
#define VARIANT_LIST (std::wstring)(long)(int)
using types = boost::mpl::vector<BOOST_PP_SEQ_ENUM(VARIANT_LIST)>;

//Here we should use our API macro
#define EXPLICIT_INSTANTIATION(r, d, __type__) \\
  template API void Foo::read<__type__>(__type__&);
BOOST_PP_SEQ_FOR_EACH(EXPLICIT_INSTANTIATION, _, VARIANT_LIST)

如果您不需要此额外功能，我想第一种解决方案会更清洁

要回复问题请先登录或注册

如何在C ++中为MPL向量的所有成员显式实例化模板？

6 个回复

发起人

vector

explicit_instantiation

boost_mpl

c++

boost

问题状态

如何在C ++中为MPL向量的所有成员显式实例化模板？

与内容相关的链接

6 个回复

发起人

vector

explicit_instantiation

boost_mpl

c++

boost

问题状态