只允许基类的enable_if
只允许基类的enable_if
提问于 2012-08-18 06:42:25
我目前正在用一个基类template<class CRTP> Base和派生类Derived1 : public Base<Derived1>，Derived2 : public Base<Derived2>实现一些CRTP。
数学运算符是在Base中定义的，其类型为CRTP Base<CRTP>::operator+(const CRTP& rhs)，这意味着我们可以将Derived1添加到Derived1中，而不能将Derived2添加到Derived1中。
此外，我定义了操作符Base<CRTP>& Base<CRTP>::operator()()，这意味着Derived1()将返回Base<Derived1>&。
我想知道是否有办法做到以下几点：
Derived1 = Derived1 + Derived1 : OK
Derived2 = Derived2 + Derived2 : OK
Derived1 = Derived1 + Derived2 : NOT OK
Derived1 = Derived1() + Derived2() : OK根据最后两行：
- 我防止用户犯错误
- 但是如果他真的想做这个操作，他可以将派生类型“转换”到基类型，并且它会工作。
我唯一需要做的就是定义一个这样的操作符：
template<class CRTP0, class = typename std::enable_if</* SOMETHING */>::type>
Base<CRTP> Base<CRTP>::operator+(const Base<CRTP0>& rhs)在enable_if中，我想要的是：
true：如果rhs是Base类型的false：如果rhs是Derived类型
有这样的东西存在吗？你有其他的解决方案吗？
非常感谢！
回答 1
Stack Overflow用户
回答已采纳
发布于 2012-08-18 11:57:42
/*某事*/可以很容易地使用
std::is_same用于派生的“假”部分和- 基础的“真”部分的助手类
助手类是用来确定一个类是否恰好是一个Base<?>。
template <typename> struct IsBase : std::false_type {};
...
template <typename X> struct IsBase<Base<X>> : std::true_type {};然后我们就可以填写这个/*了*/用：
std::is_same<Other, Self>::value || IsBase<Other>::value请注意，这允许Derived1 + Derived2()。
#include <type_traits>
template <typename> struct IsBase : std::false_type {};
template <typename Self>
struct Base {
Base& operator()() {
return *this;
};
template <typename Other,
typename = typename std::enable_if<std::is_same<Other, Self>::value
|| IsBase<Other>::value>::type>
Self operator+(const Other& other) const {
return static_cast<const Self&>(*this);
}
};
template <typename X> struct IsBase<Base<X>> : std::true_type {};
struct D1 : Base<D1> {};
struct D2 : Base<D2> {};
int main() {
D1 d1;
D2 d2;
d1 + d1; // ok
d2 + d2; // ok
d1() + d2(); // ok
d1 + d2; // error
}页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/12019463
复制相关文章
相似问题
在默认浏览器中打开所有超链接
Visual Basic web浏览器在默认浏览器中打开链接
如何从HTA在默认web浏览器中打开链接？
在web浏览器中打开链接
打开默认浏览器内的所有超链接。
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
