如何解决c ++通过构造函数选择推导出bool类模板参数
我试图通过选择类构造函数来推导出 bool 模板参数。 一个简单的例子:
template <typename A,bool Condition>
class Subrange {
public:
Subrange(A a) requires (not Condition); /* create Subrange<A,false> */
Subrange(A a,int b) requires (Condition); /* create Subrange<A,true> */
};
这是可能的还是必须在构造函数上显式指定条件?
PS:条件不依赖A。
解决方法
您可以为类模板参数推导 (CTAD)(C++17 起)定义 user-defined deduction guide 为:
template<typename A> Subrange(A a) -> Subrange<A,false>;
template<typename A> Subrange(A a,int b) -> Subrange<A,true>;
然后
Subrange s1(0); // -> Subrange<int,false>
Subrange s2(0,0); // -> Subrange<int,true>
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。