在模板元编程中,可以在返回类型上使用SFINAE来选择某个模板成员函数,即
template<int N> struct A { int sum() const noexcept { return _sum<N-1>(); } private: int _data[N]; template<int I> typename std::enable_if< I,int>::type _sum() const noexcept { return _sum<I-1>() + _data[I]; } template<int I> typename std::enable_if<!I,int>::type _sum() const noexcept { return _data[I]; } };
template<int N> struct A { /* ... */ template<int otherN> explicit(A<otherN> const&); // only sensible if otherN >= N };
但不允许其他N N.
那么,SFINAE可以在这里使用吗?我只对允许自动模板参数扣除的解决方案感兴趣,所以
A<4> a4{}; A<5> a5{}; A<6> a6{a4}; // doesn't compile A<3> a3{a5}; // compiles and automatically finds the correct constructor
注意:这是一个非常简单的例子,其中SFINAE可能是过度的,static_assert可能就足够了.但是,我想知道是否可以使用SFINAE.
解决方法
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。