如何将参数列表存储到向量？

Question

如何将可变参数构造函数参数存储到向量？

我失败的尝试示例：

class Combo 
{
public:
   template <class... Args>
   Combo(Args... args) 
   {
      // this->keys_.push_back(args...);

      // this->keys_.push_back(args)...;

      // this->keys_.push_back(std::forward<Args>(args...));

      //for (uint8_t arg : args...)
      //  this->keys_.push_back(arg);

      // ???
   }

private:
   std::vector<uint8_t> keys_;
};

Answer 1

1. C++11

for(auto &&i: {args...}) keys.push_back(std::move(i));

2. C++17

(keys.push_back(args), ...);

3. 哦，对不起，我错过了明显的：

template<class... Args> Combo(Args... args): keys_{uint8_t(args)...} {}

Answer 2

在使用fold expression 的c++17 中，您可能会这样做

#include <vector>
#include <utility> // std::forward

class Combo
{
public:
   template <class... Args>
   Combo(Args&&... args) 
   {
      keys_.reserve(sizeof...(Args));  // reserve memory for unwanted reallocation
      (keys_.emplace_back(std::forward<Args>(args)), ...);
   }

private:
   std::vector<uint8_t> keys_;
};

但是，这将允许传递除uint8_t可以隐式转换为 的那些类型之外的类型，隐 uint8_t式转换将发生。

这将不是所需的行为。因此，我建议static_assert如下。

#include <type_traits> // std::is_same_v

template <class... Args>
Combo(Args&&... args)
{
   // to make sure that the args all are of type `uint8_t`
   static_assert((std::is_same_v<uint8_t, Args> && ...), "Args should be uint8_t");

   keys_.reserve(sizeof...(Args));  // reserve some memory for unwanted reallocation
   (keys_.emplace_back(std::forward<Args>(args)), ...);
}

这将为您提供以下错误

Combo obj{ 1, 2, 3, 4.f };
//                  ^^^^ --> float