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

发布时间：2020-12-16 05:03:19 所属栏目：百科来源：网络整理

导读：我有一个带有模板参数T的类模板Templ,而Templ类有一个类型为T的数据成员,称为obj.我编写了一个可变参数构造函数模板,它将参数转发给obj的构造函数： template class Tclass Templ{public: template class... Args explicit Templ (Args... args) : obj (std:

我有一个带有模板参数T的类模板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构造函数的类,我希望它可以通过Templ访问.所以我检查了std :: list :: emplace和std :: make_shared做了什么.它们具有像我一样的可变函数,但它们没有覆盖init-list的覆盖.由于某些原因.

所以第一个问题：为什么？我的意思是,如果我使用一个带有init-list ctor的类T,然后我使用std :: list< T>？为什么list :: templates没有带初始化列表的版本？也许有一个很好的理由我应该这样做…所以我想知道.

此外,无论STL做什么 – 我应该提供一个init-list ctor作为好的设计吗？我的意思是,它就像可变的ctor,对吗？允许用户选择与Templ<>一起使用的任何类型或类别T.并直接调用为T定义的任何ctor.即使它是一个接受init-list的ctor.

解决方法

转发initializer_list构造函数的问题是除了最简单的参数类型之外的所有参数类型都不可推导( Templates don’t always guess initializer list types)：

#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参数可能适用于容器类型,您可以查看Optionally supporting initializer_list construction for templates maybe wrapping containers中采用的方法.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!