Question

在c ++ 11的当前状态（比如gcc 4.7.2）中，当我需要一个构造函数时，如何选择使用 variadic-template 或std::initializer_list可以采用变量参数吗？

Answer 1

可变参数模板允许您提供不同类型的参数，而std::initializer_list则使用参数类型进行模板化。这意味着列表中所有元素的类型必须相同（或可转换为基础类型，但不允许缩小转换）。根据您是否需要，您可以选择其中一种。

此外，如果您需要完美转发，则可变参数模板通常是默认选项，因为语法形式T&&可以绑定到左值引用和右值引用，而类似的类型无法对initializer_list执行扣减：

struct A
{
    // Deduces T& for lvalue references, T for rvalue references, and binds to both
    template<typename... Ts>
    A(Ts&&...) { }

    // This is an rvalue reference to an initializer_list. The above type deduction
    // does not apply here
    template<typename T>
    A(initializer_list<T>&&) { }
};

另请注意，当您使用统一初始化语法（即花括号）时，默认情况下将调用接受initializer_list的构造函数，即使存在另一个可行的构造函数。这可能是您希望拥有的，也可能不是：

struct A
{
    A(int i) { }
};

struct B
{
    B(int) { }
    B(std::initializer_list<A>) { }
};

int main()
{
    B b {1}; // Will invoke the constructor accepting initializer_list
}

Answer 2

使用可变参数模板，在编译期间可以知道参数的数量（并且可以通过sizeof...访问）。使用std::initializer_list时，参数的数量仅在运行时才知道。因此，部分决定取决于您何时需要或想知道您有多少参数。

Answer 3

我建议总是选择可变参数模板，并尽可能避免使用std::initializer_list。

这就是我用C ++ 11实现std::vector的方法：

#include <iostream>
#include <vector>

struct exp_sequence {
  template <typename... T>
  exp_sequence(T&&...) {}
};

struct from_arglist_t {} from_arglist;

template <typename T>
class my_vector {
  std::vector<T> data;

public:
  my_vector(int n, T const& e) : data(n, e) {}

  template <typename... Args>
  my_vector(from_arglist_t, Args&&... args) {
    data.reserve(sizeof...(Args));
    exp_sequence{(data.push_back(std::forward<Args>(args)),1)...};
  }

  std::size_t size() { return data.size(); }
};

int main()
{
  std::vector<int> v1{13, 13}; std::cout << v1.size() << '\n'; // 2
  std::vector<int> v2(13, 13); std::cout << v2.size() << '\n'; // 13

  my_vector<int> v3{13, 13}; std::cout << v3.size() << '\n'; // 13
  my_vector<int> v4(13, 13); std::cout << v4.size() << '\n'; // 13
  my_vector<int> v5(from_arglist, 13, 13); std::cout << v5.size() << '\n'; // 2
  my_vector<int> v6{from_arglist, 13, 13}; std::cout << v6.size() << '\n'; // 2
}

原因如main所示，在通用代码中使用initializer_list可能会导致不同的行为，具体取决于所选择的括号类型。还可以通过添加这样的构造函数来静默地更改代码。

另一个原因是仅限移动类型：

//std::vector<move_only> m1{move_only{}}; // won't compile
my_vector<move_only> m2{from_arglist, move_only{}}; // works fine

对于构造函数，如何在variadic-templates和std :: initializer_list之间进行选择？

3 个答案: