假设你有这两个类:
class A { public: int a; int b; } class B { public: int a; int b; } class C { public: float a1; float b1; } enum class Side { A,B };
我想要一个模板函数,它取一个边和一个T,并且根据T,如果类有一个成员T :: a,或者对“T.a1”的引用,则返回对“Ta”或“Tb”的引用.如果类有成员T :: a1,则为“T.b1”.
我的出发点是:
template<typename T> auto &GetBySide(const Side &side,const T &twoSided) { return side == Side::A?twoSided.a:twoSided.b; } template<typename T> auto &GetBySide(const Side &side,const T &twoSided) { return side == Side::A?twoSided.a1:twoSided.b1; }
问题是如果成员a不存在,如何让编译器跳过第一个模板.
所以我实现了下面@ Jarod42给出的解决方案,但它在VS 2015中给出了错误,因为VS能够区分模板.这是一个解决方法:
template<typename T> auto GetBySide(const Side &side,const T& twoSided) -> decltype((twoSided.a)) { return side == Side::A ? twoSided.a : twoSided.b; } // Using comma operator to trick compiler so it doesn't think that this is the same as above template<typename T> auto GetBySide(const Side &side,const T &twoSided) -> decltype((0,twoSided.a1)) { return side == Side::A ? twoSided.a1 : twoSided.b1; } // See comment above template<typename T> auto GetBySide(const Side &side,twoSided.a2)) { return side == Side::A ? twoSided.a2 : twoSided.b2; }
另一种方法是使用逗号运算符和表示每个“概念”的特殊结构
解决方法
有了SFINAE.
template<typename T> auto GetBySide(const Side &side,const T& twoSided) -> decltype((twoSided.a)) { return side == Side::A ? twoSided.a : twoSided.b; } template<typename T> auto GetBySide(const Side &side,const T &twoSided) -> decltype((twoSided.a1)) { return side == Side::A ? twoSided.a1 : twoSided.b1; }
原文地址:https://www.jb51.cc/c/111445.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。