一种特定类型的可变参数模板参数

Question

为什么可变参数模板包中不允许使用特定类型？

template< typename T >
class Foo
{
public:
    template< typename... Values >
    void bar( Values... values )
    {
    }

    template< T... values >            <-- syntax error
    void bar( T... values )
    {
    }

    template< int... values >          <-- syntax error
    void bar( int... values )
    {
    }
};

不允许这样做的理由是什么？
有这方面的建议吗？

---

注意：替代方案是

• std::initializer_list< T > 没有缩小类型和 { }-brace-syntax
• 一个（丑陋的）递归特征，分别检查所有类型：see here

Answer 1

这是允许的，实际上，你只是用错了。 T... 和 int... 是非类型参数包，它们的元素是值，因此不能将它们用作类型说明符（也不能从函数调用中推导出它们）。

正确用法示例：

template<int... Is>
struct IntPack {};

IntPack<1,2,3> p;

或

template< typename T >
struct Foo
{
    template< T... Ts>
    void bar()
    {
    }
};

int main()
{
    Foo<int> f;
    f.bar<1,2,3>();
}

另一个例子是std::integer_sequence。