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

Question

Я хочу использовать препроцессор 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, но не могу понять, как он работает. Есть идеи?

Answer 1

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

#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;
}