c – 模板类的模板化成员函数

概述我有一个模板化的C类,它也有一个模板化的成员函数.此成员函数的模板参数以特定方式依赖于类的模板参数(请参阅下面的代码). 我正在为这个类实例化(不专门化)它的模板参数的两个不同值.一切都汇编到这一点.但是,如果我调用模板化成员函数,则只调用第一个实例化对象而不是第二个实例. 看起来好像编译器没有为模板类的第二个实例化实例化模板化成员函数.我正在使用“g filename.cpp”编译下面的代码,并 我有一个模板化的C类,它也有一个模板化的成员函数.此成员函数的模板参数以特定方式依赖于类的模板参数(请参阅下面的代码).
我正在为这个类实例化(不专门化)它的模板参数的两个不同值.一切都汇编到这一点.但是,如果我调用模板化成员函数,则只调用第一个实例化对象而不是第二个实例.
看起来好像编译器没有为模板类的第二个实例化实例化模板化成员函数.我正在使用“g filename.cpp”编译下面的代码,并收到以下错误：

filename.cpp：63：错误：没有用于调用’Manager<(Base)1u> :: init(组合<(Base)1u,(Dependent2)0u> *)’的匹配函数

这是调用b.init(& combination_2)的行

g –version => g(Ubuntu / linaro 4.4.7-1ubuntu2)4.4.7

uname -a => Linux 3.2.0-25-generic-pae#40-Ubuntu SMP i686 i686 i386 GNU / linux

enum Base {  AA,BB,CC};enum Dependent1 {  PP,QQ,RR};enum Dependent2 {  XX,YY,ZZ};template<Base B>struct DependentProperty {};template<>struct DependentProperty<AA> {  typedef Dependent1 Dependent;};template<>struct DependentProperty<BB> {  typedef Dependent2 Dependent;};template <Base B,typename DependentProperty<B>::Dependent D>class Combination { public:  voID reset() {}  int o;};template <Base B>class Manager { public:  template <typename DependentProperty<B>::Dependent D,template<Base,typename DependentProperty<B>::Dependent> class T>  voID init(T<B,D>* t);};template <Base B>template <typename DependentProperty<B>::Dependent D,typename DependentProperty<B>::Dependent> class T>voID Manager<B>::init(T<B,D>* t) {  t->reset();}int main(int argc,char** argv) {  Manager<AA> a;  Manager<BB> b;  Combination<AA,PP> combination_1;  Combination<BB,XX> combination_2;  a.init(&combination_1);  b.init(&combination_2);  return 0;}

从我的实际项目中的示例代码修改与Base,Dependent或Combination对应的类是不可行的.我真正想知道的是我的定义Manager :: init()的语法是否错误,或者是否存在一些不允许此代码的已知属性/特征/约束的C或g？

解决方法 下面的代码为我编译,我已经简化了你的代码,虽然它仍然做同样的事情.

template <Base B>class Manager { public:typedef typename DependentProperty<B>::Dependent D;  // if ever you need it    template <typename TCombinaison>    voID init(TCombinaison* t)    {        t->reset();    }};int main(int argc,char** argv) {    typedef Combination<AA,PP> CombinaisonA;    typedef Combination<BB,XX> CombinaisonB;    typedef DependentProperty<AA> DependencyPropertyA;    typedef DependentProperty<BB> DependencyPropertyB;  CombinaisonA combination_1;  CombinaisonB combination_2;  Manager<AA> a;  Manager<BB> b;  a.init(&combination_1);  b.init<&combination_2);  return 0;}

编辑：第二种解决方案,以禁止在管理人员中混合使用组合,正如OP在下面的评论中所注意到的那样.现在我使用std :: is_same来检查“概念”合同.

template <Base B,typename DependentProperty<B>::Dependent D>class Combination { public:    typedef typename DependentProperty<B>::Dependent DependencyType;  voID reset() {}  int o;};template <Base B>class Manager { public:    typedef typename DependentProperty<B>::Dependent DependencyType;     template <typename TCombinaison>    voID init(TCombinaison* t)    {        static_assert(std::is_same<TCombinaison::DependencyType,Manager::DependencyType>);        t->reset();    }};

总结

以上是内存溢出为你收集整理的c – 模板类的模板化成员函数全部内容，希望文章能够帮你解决c – 模板类的模板化成员函数所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。