c++ - 特定类型的可变参数模板

Question

我想要一个只接受无符号整数的可变参数模板。但是，我无法让以下工作。

struct Array
{
    template <typename... Sizes> // this works
    // template <unsigned... Sizes> -- this does not work (GCC 4.7.2)
    Array(Sizes... sizes)
    {
        // This causes narrowing conversion warning if signed int is supplied.
        unsigned args[] = { sizes... };
        // ...snipped...
    }
};

int main()
{
    Array arr(1, 1);
}

任何帮助表示赞赏。

编辑:如果您想知道，我正在尝试使用可变参数模板来复制以下内容。

struct Array
{
    Array(unsigned size1) { ... }
    Array(unsigned size1, unsigned size2) { ... }
    Array(unsigned size1, unsigned size2, unsigned size3) { ... }
    // ...
    Array(unsigned size1, unsigned size2, ..., unsigned sizeN) { ... }
};

Answer 1

我不确定你为什么期望它会起作用。 Clang 告诉我错误是 unknown type name 'Sizes'在构造函数的声明中。这是意料之中的，因为 Sizes不是类型(或者更确切地说，类型的模板包)，它是值的模板包。

目前还不清楚您究竟想在这里做什么。如果将整数值作为模板参数传入，构造函数参数应该是什么？

---

更新:有了新代码，您只需要一个 static_cast<unsigned>() .

struct Array
{
    template <typename... Sizes> // this works
    Array(Sizes... sizes)
    {
        unsigned args[] = { static_cast<unsigned>(sizes)... };
        // ...snipped...
    }
};