c++11 -Template MetaProgramming - Error: template parameters not used in partial specialization

Question

我被部分模板实现卡住了，这个想法是在编译时使用枚举 class 定义提供一个 class（构建器），即 select，我还想提供文件名和 class 名称以从工厂单例管理。但这不是编译，我正在尝试几个小时，但我看不出我做错了什么。这是代码：

enum class BuildersType
{
   ComunicationBuilder
};

//class definition
template<BuildersType, class ... Args>
class BuiderType;

//class implementation
template<const char * const FILENAME , const char *  const CLASSNAME, class ClassToConfigurate>
class BuiderType<BuildersType::ComunicationBuilder,const char * const ,const char * const ,ClassToConfigurate>
{
   public:

};

template<const char * const FILENAME , const char * const CLASSNAME>
class AnotherBuilder
{
};

namespace Test
{
   static constexpr char FILENAME []="aFileName";
   static constexpr char  CLASSNAME []="ClassName";
   class TestClass{};
}

int main()
{

   BuiderType<BuildersType::ComunicationBuilder,Test::FILENAME,Test::CLASSNAME,Test::TestClass> aBuilder;
   AnotherBuilder<Test::FILENAME,Test::CLASSNAME> aAnotherBuilder;
   return 0;
}

编译输出：

Error: template parameters not used in partial specialization:
 class BuiderType<BuildersType::ComunicationBuilder,const char * const ,const char * const ,ClassToConfigurate>
       ^
main.cpp:14:7: error:         'FILENAME'
main.cpp:14:7: error:         'CLASSNAME'

这个时候我真的很累，我正在寻求帮助。提前致谢 //================================================ ===== 为简单起见，我将 post 带有解决方案的代码：

enum class BuildersType
{
  ComunicationBuilder
};

//class definition
//Add here definition here of the templates non type arguments
template<BuildersType, const char * const FILENAME , const char *  const CLASSNAME,class ... Args>
class BuiderType;

//class implementation

template<const char * const FILENAME , const char *  const CLASSNAME, class ClassToConfigurate, class ... Args>
class BuiderType<BuildersType::ComunicationBuilder,FILENAME , CLASSNAME ,ClassToConfigurate,Args...>
{
public:

};
template<const char * const FILENAME , const char * const CLASSNAME>
class AnotherBuilder
{

};
namespace Test
{
static constexpr char FILENAME []="aFileName";
static constexpr char  CLASSNAME []="ClassName";
    class TestClass{};
}
int main()
{

    BuiderType<BuildersType::ComunicationBuilder,Test::FILENAME,Test::CLASSNAME,Test::TestClass> aBuilder;
    AnotherBuilder<Test::FILENAME,Test::CLASSNAME> aAnotherBuilder;
return 0;
}

Answer 1

您的 class 模板 BuiderType 有一个类型为 BuildersType 的非类型模板参数和一组名为 Args 的类型模板参数，但是您的专业化有两个非类型模板参数 FILENAME 和 CLASSNAME（您不使用它们来实际专门化 BuiderType）。在 declare/define aBuilder 所在的行中，您使用了一组与 template<BuildersType, class ... Args> class BuiderType; 的声明不兼容的模板参数，因为这里除了第一个之外没有任何非类型模板参数。

此代码段具有相同的行为：

template<class ... Args> class A;

// this specialization has a template parameter that 
// 1. cannot and
// 2. will not be used in the parameter list for A
template<int I> class A<int> { };

int main()
{

  A<int> a; // error: A is an incomplete type
  A<2> b;   // error: '2' is not a type but 
            // A template expects type parameters

  return 0;
}

c++11 -Template MetaProgramming - Error: template parameters not used in partial specialization

c++11 -Template MetaProgramming - Error: template parameters not used in partial specialization

c++

template-meta-programming

c++11