g++ 和 clang++ 都存在模板函数参数包扩展问题？

Question

这是的后续，其中一个答案让我注意到模板 [temp.param] 17.1.17（最后的 C++17 草案，但我想也是在标准化之前），其中据称

A template parameter pack that is a pack expansion shall not expand a parameter pack declared in the same template-parameter-list.

带有此限制的示例

template <class... T, T... Values> // error: Values expands template type parameter
struct static_array;               // pack T within the same template parameter list

所以，如果我对这条规则理解正确，下面的函数（我觉得非常合理）是非法的

template <typename ... Types, Types ... Values>
void foo (std::integral_constant<Types, Values>...)
 { ((std::cout << Values << std::endl), ...); }

因为第二个参数包（Types ... Values）扩展了在相同模板参数列表中声明的参数包（Types）。

反正g++（9.2.0，举例）和clang++（8.0.0，举例）编译下面的代码都没有问题

#include <iostream>
#include <type_traits>

template <typename ... Types, Types ... Values>
void foo (std::integral_constant<Types, Values>...)
 { ((std::cout << Values << std::endl), ...); }

int main()
 {
   foo(std::integral_constant<int, 0>{},
       std::integral_constant<long, 1L>{},
       std::integral_constant<long long, 2LL>{});
 }

所以我想我误解了什么。

g++ 和 clang++ 都有问题还是我误解了标准？

Answer 1

不合法，标准很明确。对于它的价值，MSVC 似乎不接受代码 (https://godbolt.org/z/DtLJg5). This is a GCC bug and a Clang bug。（我没有检查旧版本。）

作为解决方法，您可以这样做：

template <typename... ICs>
std::enable_if_t<std::conjunction_v<is_integral_constant<ICs>...>> foo(ICs...)
{
    ((std::cout << ICs::value << '\n'), ...);
}

Live demo

g++ 和 clang++ 都存在模板函数参数包扩展问题？

g++ and clang++ are both bugged with template function parameter pack expansion?

c++

templates

language-lawyer

variadic-templates

template-argument-deduction