19

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

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) { ... }
};
4

4 回答 4

8

我不确定你为什么期望它起作用。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...
    }
};
于 2012-11-29T23:00:41.950 回答
8

如果要接受必须全部为整数的动态参数，则需要一个普通的类型名模板，但请检查所有类型是否（可转换为）无符号整数：

#include <type_traits>

struct Array
{
    template <typename ...Args>
    explicit Array(Args ...args,
        typename std::enable_if<all_int<Args...>::value>::type * = nullptr);

    // ...
};

现在你只需要这个特征：

template <typename...> struct all_int;

template <> struct all_int<> : std::true_type { };

template <typename T, typename ...Rest> struct all_int<T, Rest...>
: std::integral_constant<bool,
       std::is_convertible<T, unsigned int>::value && all_int<Rest>::value>
{ }

如果您更喜欢使类型严格，您也可以使用is_same代替is_convertible.

另一种选择是完全放弃可变参数模板并通过接受单个 使您的类列表可初始化std::initializer_list<unsigned int>，这提供了相当好的数字安全性（例如，禁止缩小转换）。

于 2012-11-29T23:09:28.677 回答
5

查看初始化列表

你可以像这样指定它

struct Array
{
    Array(std::initializer_list<unsigned> sizes)
    {
        for (auto i = sizes.begin(); i != sizes.end(); ++i)
            ...
    }
}

虽然，用法会更改为

Array arr = {1, 1};
于 2012-11-29T23:11:30.323 回答
1

背景故事

当试图或多或少地实现 OP 试图做的事情时，我偶然发现了这个相当古老的问题。我已经实现了类似于@Kerrek SB 的解决方案的东西，并且正在寻找一种“概括”这种行为的方法（通过提供一个谓词作为模板结构，该结构被评估为不必重新实现不同谓词的“递归” ）。然而，在这样做的同时，我意识到新的 CPP20 概念功能以非常优雅的方式解决了这个问题，因此想分享这个解决方案。我没有将概念视为解决方案，因为我在某处读到它们不能以递归方式声明（我发现这不是实际负担，因为我可以参考递归类型特征解决方案）。

解决方案

在此解决方案中，我定义了一个自定义概念，因为我认为 STL 提供的概念不涵盖大多数实际用例，而 STL 可以在这种情况下使用这些概念。只需用正在使用的概念替换“类型名称”，该概念就会应用于所有提供的模板参数。

#include <concepts>
#include <type_traits>

template <typename T> concept unsignedType = std::is_unsigned_v<T>; 

struct Array {
  template <unsignedType... Sizes> Array(Sizes... sizes) {
    unsigned args[] = {sizes...};
  }
};

int main() {
  unsigned k = 12;
  Array arr(k, 1u); 
  //Array arr(33);  // fails as 33 is not unsigned
}

汇编

我正在使用 gcc-10，在以前的版本中，概念功能可能不可用，因为此功能是实验性的：g++-10.0 -std=c++2a file.cc

于 2020-01-29T16:26:43.927 回答