运算符重载中的作用域运算符

Question

我无法理解运算符重载中的作用域运算符。有一些例子，当他们不使用时，他们正在使用它。当我应该写 T::operator. 我可以只写运算符仍然工作正常还是建议使用 ::?

例子：

原型示例（class T）内部 class 定义

T& T::operator +=(const T2& b){}

我可以这样写吗T& operator +=(const T2& b){} 或者我应该总是写成 T& T::operator +=(const T2& b){}

Answer 1

在 class 中，您不使用范围解析运算符 :::

class T {
public:
    // ...
    T operator+=(const T2& b)
    {
        // ...
    }
};

如果在 class 之外定义运算符，则在 class 定义之外使用范围解析运算符 ::。你仍然在声明中省略它：

class T {
public:
    // ...
    T operator+=(const T2& b);
};

// in the implementation
T T::operator+=(const T2& b)
{
    // ...
}

这与推荐或良好做法无关。这里所说的一切都是唯一可行的方法，其他方法都是不正确的 C++ 代码。

Answer 2

运算符 += 可以声明为 class 或 class 模板的成员函数或成员模板，并在 class 或 [=29] 中定义=] 模板或它们之外。

如果在 class 之外定义，则需要范围运算符。

运算符也可以声明和定义为独立的非class函数

考虑以下演示程序

#include <iostream>

struct A
{
    int x = 0;

    A & operator +=( char c )
    {
        x += c;
        return *this;
    }
};

struct B
{
    int x = 0;

    B & operator +=( char c );
};

B & B::operator +=( char c )
{
    x += c;
    return *this;
}

struct C
{
    int x = 0;
};

C & operator +=( C & cls, char c )
{
    cls.x += c;

    return cls;
}

int main() 
{
    A a;

    a += 'A';

    std::cout << "a.x = " << a.x << '\n';

    B b;

    b += 'B';

    std::cout << "b.x = " << b.x << '\n';

    C c;

    c += 'C';

    std::cout << "c.x = " << c.x << '\n';

    return 0;
}

它的输出是

a.x = 65
b.x = 66
c.x = 67

运算符也可以声明为模板运算符。例如

#include <iostream>

template <class T>
struct A
{
    T x = T();
};    

template <class T1, class T2>
T1 & operator +=( T1 &a, const T2 &x ) /* C++ 17 only requires requires( T1 t ) { t.x; }*/  
{
    a.x += x;
    return a;
}        

int main()
{

    A<int> a;
    std::cout << ( a += 10u ).x << '\n';
}

同样，如果运算符是成员函数模板并且在其 class 之外定义，则需要范围解析运算符。

#include <iostream>

template <class T1>
struct A
{
    T1 x = T1();
    template <class T2>
    A<T1> & operator +=( const T2 &x );
};    

template <class T1>
template <class T2>
A<T1> & A<T1>::operator +=( const T2 &x )
{
    this->x += x;
    return *this;
}        

int main()
{

    A<int> a;
    std::cout << ( a += 10u ).x << '\n';
}

运算符重载中的作用域运算符

Scope operator in Operator Overloading

c++

oop

operator-overloading

scope-resolution-operator