使用未展开的参数包作为模板参数的非类型模板参数的类型合法吗? [英] Is it legal to use an unexpanded parameter pack as the type of a template template parameter's non-type template parameter?

查看:0
本文介绍了使用未展开的参数包作为模板参数的非类型模板参数的类型合法吗?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

GCC和clang对于是否应该编译以下代码意见不一:

template <typename... Args>
struct tuple {};

template <typename>
struct Test;

template <
    typename... Types,
    template <Types> typename... Outer, // XXX
    Types... Inner
>
struct Test<tuple<Outer<Inner>...>> {};

template <long T> struct O1 {};
template <unsigned T> struct O2 {};

Test<tuple<O1<1>, O2<2>>> test;

clang接受代码,推导出Types = {long, unsigned}, Outer = {O1, O2}, Inner={1L, 2U}。从结构上看,这似乎是正确的。

GCC拒绝代码,扣款失败有趣的是,如果将O2更改为接受long非类型模板参数,是否接受,这在我看来似乎不一致。它建议类型在Types = {long, long}时可以扩展,但在Types = {long, unsigned}时不能扩展。

但是,从标准来看,我不清楚哪个编译器是正确的。核心问题是:在XXX行上,将参数包作为模板参数的非类型模板参数的类型是否有效?它是否应该像Clang声称的那样进行扩张?

推荐答案

无效原因:

类型参数包不能在其自己的参数子句中展开

[temp.param]/17

如果模板参数是在其可选标识符前带有省略号的类型参数,或者是声明包([dcl.fct])的参数声明,则模板参数是模板参数包。如果模板参数包是参数声明,其类型包含一个或多个未展开的包,则该模板参数包是包扩展。作为包扩展的模板参数包不应扩展在同一template-parameter-list.

中声明的模板参数包.

因此请考虑以下无效的示例:

template<typename... Ts, Ts... vals> struct mytuple {}; //invalid

以上示例无效,因为模板类型参数包Ts无法在其自身的参数列表中展开。

出于同样的原因,您的代码示例无效。

这篇关于使用未展开的参数包作为模板参数的非类型模板参数的类型合法吗?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!

查看全文
登录 关闭
扫码关注1秒登录
发送“验证码”获取 | 15天全站免登陆