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

我想使用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的代码,但我无法弄清楚它是如何工作的.有任何想法吗？

解决方法

您需要首先使用最多参数声明模板类,并使用除第一个参数之外的所有参数的默认值.然后可以将具有较少参数的模板类定义为主模板类的特化.例：

#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> e3;
    Example<int,int> e2;
    Example<int> e1;
    std::cout << e3.x << e2.x << e1.x << std::endl;
}