c – 在模板运算符重载中键入冲突

假设我有一个类模板< class T> class A {…};,我希望将运算符重载为内部二元运算符(A类型的两个对象),以及混合二元运算符(类型A和数字POD类型的对象).

理想情况下,我想写的是：

#include <type_traits>
using namespace std;

// Declare/fine template
template <class T> class A {...};

// Internal binary operator
template < class T,class U >
    A< typename common_type<T,U>::type >
operator+ ( const A<T> &a,const A<U> &a ) { ... }

// Mixed binary operator
template < class T,const U &b ) { ... }

但是,似乎第二个定义与第一个定义相冲突.使用第二个定义,我知道如何确保U是一个数字POD类型,这不是重点.如果我这样做,问题是我无法知道U中包含什么底层模板类型,如果它是A.

如果我的问题不够明确,请告诉我,并提前致谢！

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!