C++17 关键新特性介绍及代码讲解 (3) — typename in a template template parameter

C++17 关键新特性介绍及代码讲解 (3) — typename in a template template parameter

一句话概括：

在声明 template template parameter 时，允许使用使用关键字 typename。

首先，什么是 template template parameter ？举例如下，T是常用的 type template parameter, 但 OP_T就是 template template parameter:

// T is a type template parameter, and OP_T is template template parameter:
template <template <typename > typename OP_T, typename T> struct DO_OP{
   
OP_T<T> opT;
constexpr T operator()(T a, T b) {
    return opT(a