我正在编写一个模板类,我想允许另一种方法仅存在于某种模板类型.目前,该方法适用于所有模板类型,但会导致所有其他类型的编译错误.
使这更复杂的是它是一个重载的operator().不知道我想要做什么实际上是可能的.
这就是我现在拥有的:
template<typename T,typename BASE> class MyClass : public BASE { public: typename T& operator() (const Utility1<BASE>& foo); typename T const& operator() (const Utility2<BASE>& foo) const; };
我想要T&版本始终可用,但T const&版本仅在Utility2< BASE>已验证.现在,两种方法都存在,但是如果Utility2< BASE>,则尝试使用const版本会产生奇怪的编译错误.是无效的.我宁愿有一个明智的错误,甚至是“没有这样的成员函数”错误.
这可能吗?
编辑:阅读了升级文档,这是我提出的,它似乎工作:
template<typename T,typename BASE> class MyClass : public BASE { public: typename T& operator() (const Utility1<BASE>& foo); template<typename U> typename boost::enable_if<boost::is_same<Utility2<BASE>,U>,T>::type const & operator() (const U& foo) const; };
因此,除非有人试图将它与Utility2一起使用,否则它不存在,并且如果它对该BASE类型有效,则它们只能创建一个Utility2.但是当它对BASE类型无效时,MyClass不会浪费时间创建访问器方法.
解决方法
是的,这是可能的,但不能直接使用类模板参数. boost :: enable_if只能与方法本身的模板参数一起使用.所以,使用一点typedef:
template<typename T,typename BASE> class MyClass : public BASE { public: typedef Utility2<BASE> util; typename T& operator() (const Utility1<BASE>& foo); template<typename U> typename boost::enable_if<boost::is_same<util,T>::type const & operator() (const U& foo) const; };
这是有效的,因为Utility2只能从某种BASE类型创建.因此,如果BASE类型是其他类型,则operator()的const版本将不存在.
所以,这是一件非常小的事情.它并没有让我受益匪浅.但这很干净.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。