[英]std::enable_if based on variadic template existence
我想创建将ClassType及其构造函数参数作为模板参数的对象创建者类。
从根本上讲,我的代码如下所示:
template<typename ClassType, typename ... Args>
class ClassCreator : public ClassType
{
std::tuple<Args ...> args_;
public:
template <typename std::enable_if<sizeof...(Args)!=0>::type>
ClassCreator(Args ... args) : args_(std::make_tuple(args ...)), ClassType(args ...){}
template <typename std::enable_if<sizeof...(Args)==0>::type>
ClassCreator() : ClassType(){}
template <typename std::enable_if<sizeof...(Args)!=0>::type>
ClassType getObject() const
{
return ClassType(std::get<sizeof...(Args)>(args_) ... );
}
template <typename std::enable_if<sizeof...(Args)==0>::type>
ClassType getObject() const
{
return ClassType();
}
};
使用std::enable_if
保护可以避免空tuple
std::get<0>
。
我在示例类中使用它:
class A
{
public:
A(){}
A(int firstInt, int secondInt){}
};
int main()
{
ClassCreator<A> creatorATrivial();
ClassCreator<A, int, int> creatorA(1, 2);
A aTrivial = creatorATrivial.getObject();
A a = creatorA.getObject();
}
而且我得到很多错误。 我是否正确理解sizeof...
运算符? std::get<sizeof...(Args)>(args_) ...
是解开tuple
的有效方法吗?
的问题是,SFINAE仅N的取代直接上下文加时赛一个 N个E RROR。 在这里的示例中:
template<typename ClassType, typename ... Args>
class ClassCreator : public ClassType
{
template <typename std::enable_if<sizeof...(Args)!=0>::type>
ClassCreator(Args ... args)
Args...
不在构造函数的直接上下文中,因此将立即执行替换,并且初始化的函数将为enable_if<true>::type
或enable_if<false>::type
,后者是错误的-形成。
还有这个:
return ClassType(std::get<sizeof...(Args)>(args_) ... );
格式不正确。 第二个...
没有扩展包。 解决这个问题的通常方法是使用索引序列技巧。 在C ++ 17中,我们还有std::apply
,在这种情况下将是:
return std::apply([](auto const&... elems){ return ClassType(elems...); },
args_);
使类创建者存储参数然后将其传递的最简单方法是:
template <class T>
class ClassCreator {
std::function<T()> creator;
public:
// as improvements, add perfect forwarding
template <class... Args,
std::enable_if_t<std::is_constructible<T, Args...>::value, int> = 0>
ClassCreator(Args... args) {
creator = [=]{ return T(args...); };
}
T getObject() const {
return creator();
}
};
ClassCreator<A> creatorATrivial();
ClassCreator<A> creatorA(1, 2); // no <int, int> necessary
A aTrivial = creatorATrivial.getObject();
A a = creatorA.getObject();
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.