代码之家 › 专栏 › 技术社区 › uray

使用std::enable_if<>避免模板化二进制运算符重载不明确

is-same enable-if operator-overloading c++17 c++

-2

uray · 技术社区 · 2 年前

我想使用std::enable_if<>避免环境过载 operator*(T,U) (或重新定义)来自 MyClass*otherT vs otherT*MyClass vs MyClassT*MyClassT

比方说 MyClass 声明为:

template <typename T> class MyClassT { ... }

然后在全球范围内:

template <typename T, typename U>
MyClassT<T> operator*(const MyClassT<T>& t, const MyClassT<U>& u)
{
    //...
}

template <typename T, typename U, std::enable_if_t<!std::is_same_v<MyClassT<T>, U>,bool> = true >
MyClassT<T> operator*(const MyClassT<T>& t, const U& u)
{
    //...
}

template <typename T, typename U, std::enable_if_t<!std::is_same_v<MyClassT<U>, T>,bool> = true >
MyClassT<U> operator*(const T& t, const MyClassT<U>& u)
{
    //...
}

但是的代码

MyClassT<double> a;
double b;
MyClassT<double> c = a * b;

还是找不到过载的操作员,需要帮助怎么了?

1 回复 | 直到 2 年前

user12002570 2 年前

你不需要使用 enable_if 和默认参数,如下所示。

template <typename T, typename U >
MyClassT<T> operator*(const MyClassT<T>& t, const U& u)
{
    //...
    return {};
}

template <typename T, typename U >
MyClassT<U> operator*(const T& t, const MyClassT<U>& u)
{
    //...
    return {};
} 
MyClassT<double> a;
double b;
MyClassT<double> c = a * b;  //works now
MyClassT<double> k = b * a; //works

Working demo

推荐文章

Irtiaz Kabir · 当对一个对象进行多次操作时,如何禁止增量运算符?

4 年前

Noah Wilder · Swift中元组的操作符重载

8 年前

Salman · 指向具有数组索引运算符重载的类的指针

8 年前

Tráº§n Äá»©c Hiáº¿u · 两个数据类型不同的对象的C++重载+运算符

8 年前

Nom OnTheCookie · 使用向量重载C++输出

8 年前

J. Doe · C++重载:从友元函数切换到成员函数

8 年前

Ayrosa · 在[over.ass]/2中的示例中,为什么*bptr=dobj2;调用D::运算符=(常量B&)?

8 年前

Ana · 使用操作符重载添加存储在vector中的类对象

8 年前

Matthew · 重载运算符|用于固定大小的阵列?

8 年前

Martin Å½id · 重载运算符+=具有两个类

8 年前