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

余恒kenneth_yu

已于 2022-06-12 14:38:07 修改

阅读量285

点赞数

分类专栏： c++ 文章标签： c++ 开发语言

于 2022-06-12 13:18:39 首次发布

本文链接：https://blog.csdn.net/kenneth_yu/article/details/125244430

版权

本文介绍了C++17的关键新特性，即在声明template template parameter时可以使用typename关键字。文章解释了template template parameter的概念，并通过示例展示了其在模板定义和使用中增加的灵活性。C++17之前，typename只能在某些特定位置使用，而C++17则统一了语法。

摘要由CSDN通过智能技术生成

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