C ++自动用于类型和非类型模板

Question

在c ++ 17中，template <auto>允许使用任意类型参数声明模板。通过部分灵感这个问题，这将是非常有用的的扩展template <auto>来捕捉类型和无类型模板参数，并且还允许它的可变参数版本。

在下一个c ++ 20版本中是否有计划进行此类扩展？template<auto... X>使用X任何类型或非类型模板参数的语法，是否存在一些基本问题？

Answer 1

在下一个c ++ 20版本中是否有计划进行此类扩展？

没有。

template<auto... X>使用X任何类型或非类型模板参数的语法，是否存在一些基本问题？

这将是在语言的一个全新的概念-有一个名字是指任何类型或在同一个地方的值。因此，它会附带各种其他问题-可能还会包含其他语言功能，以检查是否X为类型。

语法可能无法被template <auto... X> struct Y { };自认为已经语法意义已经和手段一堆值的和Y<int>{}是病态的。

当然，在某些地方，这样的事情会有用。一项提案只需要解决这些问题。