C为类模板提供初始化列表构造函数

Question

我有一个模板参数为T的类template Templ，Templ类有一个类型为T的数据成员，称为obj。我编写了一个可变构造函数模板，将参数转发给obj的构造函数：

template <class T>
class Templ
{
public:
     template <class... Args> explicit Templ (Args&&... args)
     : obj (std::forward<Args>(args)...)
     {
     }
private:
     T obj;
};

现在我意识到类型T可能是一个具有init list构造函数的类，我希望它可以通过temp访问。所以我检查了什么是std：：list：：emplace和make\u shared。它们有一个像我一样的可变函数，但它们没有采用初始化列表的覆盖。出于某种原因。

第一个问题：为什么？我的意思是，如果我将某个类T与init list ctor一起使用，然后使用std：：list

此外，无论STL做什么，我应该提供一个init list ctor作为良好的设计吗？我的意思是，它就像可变因子，对吗？允许用户选择要与Templ一起使用的任何类型或类T

Answer 1

转发initializer\u list构造函数的问题是，除了最普通的参数类型之外，其他所有参数类型都是不可推断的（模板并不总是猜测initializer列表类型）：

#include <map>
template<typename T> struct U {
   T t;
   template<typename...A> explicit U(A&&...a): t(std::forward<A>(a)...) {}
   template<typename L, typename = typename std::enable_if<
      std::is_constructible<T, std::initializer_list<L>>::value>::type>
      explicit U(std::initializer_list<L> l): t(l) {}
};
U<std::map<int, int>> m{{{0, 1}, {2, 3}}};  // fails, couldn't deduce 'L'

因为您必须编写m{std::initializer_list

如果您认为任何有趣的initializer_list参数都可能适用于容器类型，您可以查看可选地支持模板的initializer_list构造（可能是包装容器）中采取的方法。