代码之家 › 专栏 › 技术社区 › thb

C++中的新模板:默认匹配的模板模板

c++17 language-lawyer c++14 templates c++

thb · 技术社区 · 5 年前

C++ 17标准说可以做到这一点:

template<class T, class U = T> class B { /* ... */ };
template<template<class> class P> class X { /* ... */ };

X<B> xb; // OK in C++17; ill formed in C++14

C++ 14标准使同一代码出错。

旧的C++ 14规则对我来说是有意义的。新的C++ 17规则没有。什么改变了?

作为参考,上面的示例代码将出现

在教派中。C++ 17标准的(3)(草案) here )
在教派中。C++14标准(草案2或3)(草案) here )

1 回复 | 直到 5 年前

thb 5 年前

为简洁起见,示例代码省略了详细信息。让我们扩展示例:

template<class T, class U = T> class B { /* ... */ };
template<template<class> class P> class X {
    P<int, int> pii; // error: P has been declared to take only one argument
    P<int>      pi;  // OK
    P<char>     pc;  // OK
    /* ... */
};

X<B> xb; // OK in C++17; ill formed in C++14

最后一行解决 P<int> 作为 B<int> . 确实,最后的手段 B<int, int> ,但鉴于默认参数, B<INT> 是一个明确的方式来写。

原则上,据我所知,C++14没有理由不能理解这一点,但是对于C++14来说,推理链太复杂了。三年后,C++17理解了这一点。

顺便说一下,CLAN C++编译器提供了一个 -frelaxed-template-template-args 解决问题的选择。如果在clang上使用模板模板,则可以断言此选项。(@rakete1111因为引起了人们对clang选项的注意而被认可。)

推荐文章

Ayrosa · 在[over.ass]/2中的示例中,为什么*bptr=dobj2;调用D::运算符=(常量B&)?

6 年前

Robert E. Brown · 嵌套类的嵌套类的访问权限

6 年前

YSC · 通过成员指针访问受保护的成员:这是黑客行为吗?

6 年前

Alexander · 在下面的示例中,为什么int(a)是表达式,int(unsigned(a))是类型id?

6 年前

Swift - Friday Pie · 交换数学运算的阶

6 年前

Acorn · Linux内核的\uu is\u constexpr宏

6 年前

Acorn · 检测宏中的整数常量表达式

6 年前

Petr Skocik · 兼容类型并忽略C类型系统中的顶级限定符

6 年前

choxsword · 为什么在这里提到prvalue时使用术语“object”?

6 年前

PaperBirdMaster · 具有模板参数推断和默认模板参数的模板变量

6 年前