Как boost :: function поддерживает шаблонный класс с параметрами шаблона различной длины - PullRequest
Новая
       31

Как boost :: function поддерживает шаблонный класс с параметрами шаблона различной длины

4 голосов
/ 24 октября 2011

Я хочу использовать препроцессор boost для объявления шаблонных классов с разной длиной переменной шаблона, в основном, как это делает boost :: function. 

#if !BOOST_PP_IS_ITERATING

#ifndef D_EXAMPLE_H
#define D_EXAMPLE_H
#include <boost/function>
#include <boost/preprocessor/iteration/iterate.hpp>
#define BOOST_PP_ITERATION_PARAMS_1 (3, (1, 2, "example.h"))
#include BOOST_PP_ITERATE()

#else
template<class T, BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(), class T)>
class Example
{
    boost::function<T, (BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(), T))> func;
};
#endif

приведенный выше код, очевидно, не будет работать, поскольку он объявляетодин и тот же класс с переменной длиной шаблона в одном и том же заголовочном файле.Чего я хочу добиться, так это включить один файл и определить классы с переменной длиной шаблона, как boost :: function. 

#include "example.h"
Example<int, int, float> example1;
Example<double, int> example2;

Я искал код boost :: function, но не могу понять этокак это работает.Есть идеи?

1 Ответ

1 голос
/ 24 октября 2011

Сначала необходимо объявить класс шаблона с наибольшим количеством параметров, со значениями по умолчанию для всех параметров, кроме первого.Классы шаблонов с меньшим количеством параметров могут быть определены как специализации основного класса шаблонов.Пример: 

#include <iostream>

template<class A, class B = void, class C = void>
class Example
{
public:
    static const int x = 3;
};

template<class A, class B>
class Example<A, B, void>
{
public:
    static const int x = 2;
};

template<class A>
class Example<A, void, void>
{
public:
    static const int x = 1;
};

int main()
{
    Example<int, int, int> e3;
    Example<int, int> e2;
    Example<int> e1;
    std::cout << e3.x << e2.x << e1.x << std::endl;
}
...