std :: initializer_list作为构造函数的模板参数

Question

考虑一个继承自std容器的类，该类具有调用容器的底层构造函数的模板构造函数。 此模板构造函数适用于简单复制和移动构造函数，但不适用于initializer_list ctor。

template<typename container_T>
class test : public container_T {
public:
  using container_type = container_T;

  test() {} 

  // templated constructor
  template<typename T>
  test(T t)
    : container_T(t) {}

   // without this it won't compile
  test(std::initializer_list<typename container_T::value_type> l)
    : container_T(l) {}
};

int main() {    
  test<std::deque<int>> vdi1;
  test<std::deque<int>> vdi2({1,2,3,4,5,6,7,8,9});

  std::cout << "vdi2 before:" << std::endl;
  for(auto it : vdi2)
    std::cout << it << std::endl;

  test<std::deque<int>> vdi3(std::move(vdi2));

  std::cout << "vdi2 before:" << std::endl;
  for(auto it : vdi2)
    std::cout << it << std::endl;

  std::cout << "vdi3 before:" << std::endl;
  for(auto it : vdi3)
    std::cout << it << std::endl;

  return 0;
}

如果我删除了initializer_list构造函数， vdi2将无法编译。 所以我的问题：为什么初始化列表不是由模板构造函数推导出来的？ 这样可能吗？

Answer 1

为什么initializer_list不是由模板化的构造函数推导出来的？

原因是{1,2,3,4,5,6,7,8,9}只是一个没有类型的同构构造。 因此，编译器无法为此synctatic构造推导出类型T ，并且第一个构造函数失败。

但是，通过特殊的标准规则， std::initializer_list<T> （以及其他内容）可以从此synctatic构造中构造，并且T可以推导为int 。 因此第二个构造函数工作。

通过与函数模板参数类型推导的约束，用

auto x = {1,2,3,4,5,6,7,8,9};

编译器将x的类型设置为std::initializer_list<int> 。 还有一些特殊的标准规则，它必须如此。 严格地说，这不是类型推断，因为如上所述， {1,2,3,4,5,6,7,8,9}没有要推断的类型。 （此处发生的唯一类型推导是std::initializer_list<T> T = int 。）这里编译器选择（不推断） x的类型为std::initializer_list<int> 。 在任何情况下，使用滥用语言说x的类型推导到std::initializer_list<int>没有任何害处。

最后，正如DyP在评论中所说，你可能想要的是从基础容器类继承所有构造函数（不仅仅是那些带有一个参数的构造函数）。 您可以通过删除当前拥有的所有构造函数来执行此操作，并添加此行以进行test ：

using container_type::container_type;