Рассмотрим следующий заголовочный файл:
// Foo.h
class Foo {
public:
template <typename T>
void read(T& value);
};
Я хочу явно создать шаблон функции члена Foo::read
в исходном файле для всех типов, включенных в boost::mpl::vector
:
// 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.)