c + +模板专业化与模板 <template> 成员功能

Question

为什么C ++需要一个模板参数时都out成员函数（从模板和专业化）需要一个模板，因为我没有得到它，谷歌并没有帮助。 必须为c ++ 11，但与c ++ 1z相同。
我正在使用g ++ 7.3.0

收到此错误消息：

error: missing template arguments before ‘>’ token
     Tail::out<P>(o);//<--?!?!?!

#include <iostream>

using namespace std;

using Out=ostream;

struct O {};

template<typename O=O>
struct Static:public O {
  template<const char** text>
  struct Text {
    static inline void print(Out& o) {o<<text[0];}
  };
};

template<typename O>
struct Endl {
  static inline void print(Out& o) {O::print(o);o<<endl;}
};

template<typename O,typename... OO>
struct MenuData {
  using Head=O;
  using Tail=MenuData<OO...>;
  template<template<typename> class P>
  static inline void out(Out& o) {
    P<O>::print(o);
    Tail::out<P>(o);//<--?!?!?!
  }
};

template<typename O,typename OO>
struct MenuData<O,OO> {
  using Head=O;
  using Last=OO;
  template<template<typename> class P>
  static inline void out(Out& o) {P<O>::print(o);P<Last>::print(o);}
};

/////////////////////////////////////////////////////////
const char* op1Text="Op1";
using op1=Static<>::Text<&op1Text>;

const char* op2Text="Op2";
using op2=Static<>::Text<&op2Text>;

const char* op3Text="Op3";
using op3=Static<>::Text<&op3Text>;

using MainMenu=MenuData<op1,op2,op3,op1>;

int main(int argc,char** argv) {
  MainMenu::out<Endl>(cout);
  cout<<endl;
}

Answer 1

在下面的代码之后，我发现了一个很好的问题/答案，可以清楚地了解它

为什么必须在何处以及为什么要放置“模板”和“类型名”关键字？

经过数小时的测试和检查后，这项工作得以实现，但是，我仍然不满意，这应该更简单，因此，如果有人有更好的解决方案，我将很乐意接受，并且我仍然不明白为什么第一个版本没有公认...

这个版本会编译并打印出所需的结果，我将继续进行简单介绍

#include <iostream>

using namespace std;

using Out=ostream;

struct O {};

template<typename O=O>
struct Static:public O {
  template<const char** text>
  struct Text {
    static inline void print(Out& o) {o<<text[0];}
  };
};

template<typename O>
struct Endl {
  static inline void print(Out& o) {O::print(o);o<<endl;}
};

template<typename O,typename... OO>
struct MenuData {
  // using Head=O;
  // using Tail=MenuData<OO...>;
  template<template<typename> class P>
  using X=typename MenuData<OO...>::template OutData<P>;
  template<template<typename> class P>
  struct OutData {
    static inline void out(Out& o) {
      P<O>::print(o);
      X<P>::out(o);//<--?!?!?!
    };
  };
};

template<typename O,typename OO>
struct MenuData<O,OO> {
  // using Head=O;
  // using Last=OO;
  template<template<typename> class P>
  struct OutData {
    static inline void out(Out& o) {
      P<O>::print(o);
      P<OO>::print(o);
    }
  };
};

/////////////////////////////////////////////////////////
const char* op1Text="Op1";
using op1=Static<>::Text<&op1Text>;

const char* op2Text="Op2";
using op2=Static<>::Text<&op2Text>;

const char* op3Text="Op3";
using op3=Static<>::Text<&op3Text>;

using MainMenu=MenuData<op1,op2,op3,op1>;

int main(int argc,char** argv) {
  MainMenu::OutData<Endl>::out(cout);
  cout<<endl;
}

关键点：

template<template<typename> class P>
using X=typename MenuData<OO...>::template OutData<P>;

所以我不得不再次说明显的东西，说它是一个模板

但是使用template参数

再次在X<P>::out(o);//<--?!?!?!