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

boost :: function如何支持具有不同长度模板参数的模板类

1 个答案: