14.重载运算符

类型转换运算符

  • 必须是成员函数,不能是友元函数
  • 没有参数
  • 不能指定返回类型
  • 函数原型:operator 类型名();
#ifndef _INTEGER_H_
#define _INTEGER_H_

class Integer
{
public:
    Integer(int n);
    ~Integer();

    Integer &operator++();
    //friend Integer& operator++(Integer& i);

    Integer operator++(int n);
    //friend Integer operator++(Integer& i, int n);

    operator int();

    void Display() const;
private:
    int n_;
};

#endif // _INTEGER_H_

 

#include "Integer.h"
#include <iostream>
using namespace std;

Integer::Integer(int n) : n_(n)
{
}

Integer::~Integer()
{
}

Integer &Integer::operator ++()
{
    //cout<<"Integer& Integer::operator ++()"<<endl;
    ++n_;
    return *this;
}

//Integer& operator++(Integer& i)
//{
//  //cout<<"Integer& operator++(Integer& i)"<<endl;
//  ++i.n_;
//  return i;
//}

Integer Integer::operator++(int n)
{
    //cout<<"Integer& Integer::operator ++()"<<endl;
    //n_++;
    Integer tmp(n_);
    n_++;
    return tmp;
}

//Integer operator++(Integer& i, int n)
//{
//  Integer tmp(i.n_);
//  i.n_++;
//  return tmp;
//}

Integer::operator int()
{
    return n_;
}

void Integer::Display() const
{
    cout << n_ << endl;
}
#include "Integer.h"
#include <iostream>
using namespace std;

int add(int a, int b)
{
    return a + b;
}

int main(void)
{
    Integer n(100);
    n = 200;
    n.Display();

    int sum = add(n, 100);

    cout << sum << endl;

    int x = n;
    int y = static_cast<int>(n);

    return 0;
}

其中n = 200; 是隐式将int 转换成Interger类;int x = n; 是调用operator int 将Interger 类转换成int,也可以使用static_cast 办到;此外add 函数传参时也会调用operator int 进行转换。

*运算符重载->运算符重载、

#include <iostream>
using namespace std;

class DBHelper
{
public:
    DBHelper()
    {
        cout << "DB ..." << endl;
    }
    ~DBHelper()
    {
        cout << "~DB ..." << endl;
    }

    void Open()
    {
        cout << "Open ..." << endl;
    }

    void Close()
    {
        cout << "Close ..." << endl;
    }

    void Query()
    {
        cout << "Query ..." << endl;
    }
};

class DB
{
public:
    DB()
    {
        db_ = new DBHelper;
    }

    ~DB()
    {
        delete db_;
    }

    DBHelper *operator->()
    {
        return db_;
    }

    DBHelper &operator*()
    {
        return *db_;
    }
private:
    DBHelper *db_;
};


int main(void)
{
    DB db;
    db->Open();
    db->Query();
    db->Close();

    (*db).Open();
    (*db).Query();
    (*db).Close();

    return 0;
}

db->Open(); 等价于 (db.operator->())->Open(); 会调用operator-> 返回DBHelper类的指针,调用DBHelper的成员函数Open()。这样使用的好处是不需要知道db 对象什么时候需要释放,当生存期结束时,会调用DB类的析构函数,里面delete db_; 故也会调用DBHelper类的析构函数。(*db).Open(); 等价于(db.operator*()).Open();

 

operator new 和 operator delete

实际上new 有三种用法,包括operator new、new operator、placement new,new operator 包含operator new,而placement new 则没有内存分配而是直接调用构造函数。

#include <iostream>
using namespace std;

class Test
{
public:
    Test(int n) : n_(n)
    {
        cout << "Test(int n) : n_(n)" << endl;
    }
    Test(const Test &other)
    {
        cout << "Test(const Test& other)" << endl;
    }
    ~Test()
    {
        cout << "~Test()" << endl;
    }
    /****************************************************************/
    void *operator new(size_t size)
    {
        cout << "void* operator new(size_t size)" << endl;
        void *p = malloc(size);
        return p;
    }

    void operator delete(void *p) //与下面的operator delete函数类似,共存的话优先;
    {
        //匹配上面的operator new 函数
        cout << "void operator delete(void* p)" << endl;
        free(p);
    }

    void operator delete(void *p, size_t size)
    {
        cout << "void operator delete(void* p, size_t size)" << endl;
        free(p);
    }
    /**********************************************************************/

    void *operator new(size_t size, const char *file, long line)
    {
        cout << "   void* operator new(size_t size, const char* file, long line);" << endl;
        cout << file << ":" << line << endl;
        void *p = malloc(size);
        return p;
    }

    void operator delete(void *p, const char *file, long line)
    {
        cout << "   void operator delete(void* p, const char* file, long line);" << endl;
        cout << file << ":" << line << endl;
        free(p);
    }

    void operator delete(void *p, size_t size, const char *file, long line)
    {
        cout << "void operator delete(void* p, size_t size, const char* file, long line);" << endl;
        cout << file << ":" << line << endl;
        free(p);
    }
    /**************************************************************************/
    void *operator new(size_t size, void *p)
    {
        cout << "void* operator new(size_t size, void* p);" << endl;
        return p;
    }

    void operator delete(void *, void *)
    {
        cout << "void operator delete(void *, void *);" << endl;
    }
    /**************************************************************************/
    int n_;
};

/*************** global **********************************************/

void *operator new(size_t size)
{
    cout << "global void* operator new(size_t size)" << endl;
    void *p = malloc(size);
    return p;
}

void operator delete(void *p)
{
    cout << "global void operator delete(void* p)" << endl;
    free(p);
}
/**********************************************************************/

void *operator new[](size_t size)
{
    cout << "global void* operator new[](size_t size)" << endl;
    void *p = malloc(size);
    return p;
}

void operator delete[](void *p)
{
    cout << "global void operator delete[](void* p)" << endl;
    free(p);
}
/***********************************************************************/

int main(void)
{
    Test *p1 = new Test(100);   // new operator = operator new + 构造函数的调用
    delete p1;

    char *str1 = new char;
    delete str1;

    char *str2 = new char[100];
    delete[] str2;

    char chunk[10];


    Test *p2 = new (chunk) Test(200);   //operator new(size_t, void *_Where)
    // placement new,不分配内存 + 构造函数的调用
    cout << p2->n_ << endl;
    p2->~Test();                        // 显式调用析构函数

    //Test* p3 = (Test*)chunk;
    Test *p3 = reinterpret_cast<Test *>(chunk);
    cout << p3->n_ << endl;



#define new new(__FILE__, __LINE__)
    //Test* p4 = new(__FILE__, __LINE__) Test(300);
    Test *p4 = new Test(300);
    delete p4;

    return 0;
}

从输出可以看出几点:

1、new operator 是分配内存(调用operator new) + 调用构造函数

2、operator new 是只分配内存,不调用构造函数

3、placement new 是不分配内存(调用operator new(与2是不同的函数) 返回已分配的内存地址),调用构造函数

4、delete 是先调用析构函数,再调用operator delete.

5、如果new 的是数组,对应地也需要delete [] 释放

注意:

1、如果存在继承或者对象成员,那么调用构造函数或者析构函数时将有多个,按一定顺序调用。

2、假设存在继承,delete 基类指针;涉及到虚析构函数的问题。

最后一点是 delete p4 为什么调用的不是 void operator delete(void* p, const char* file, long line); 而是void operator delete(void* p) 

当两个operator new和operator delete有相等的参数个数,并且除了第一个参数之外其余参数的类型依次完全相同之时,我们称它们为一对匹配的operator new和operator delete。 不过正常情况下带多个参数的delete不会被调用,只有在构建一个对象的过程中,构造函数中发生异常,并且这个异常被捕获了,那么此时C++的异常处理机制才会自动用与被使用的operator new匹配的operator delete来释放内存(补充一点:在operator new中抛出异常不会导致这样的动作,因为系统认为这标志着内存分配失败)。编译期间编译器按照以下顺序寻找匹配者:首先在被构建对象类的类域中寻找,然 后到父类域中,最后到全局域,此过程中一旦找到即停止搜寻并用它来生成正确的内存释放代码,如果没有找到,当发生上述异常情况时将不会有代码用来释放分配 的内存,这就造成内存泄漏了。

#include <malloc.h>
    struct Base
    {
        Base()
        {
            throw int(3);
        }
        ~Base() {}
        void* operator new( size_t nSize, const char*,int)
        {
            void* p = malloc( nSize );
            return p;
        }
        void operator delete( void *p)
        {
            free(p);
        }
        void operator delete( void* p,const char*,int)
        {
            free( p );
        }
    };
    #define new new(__FILE__, __LINE__)
    int main( void )
    {
        Base* p = null;
        try
        {
            p = new Base;
            delete p;
        }
        catch(...)
        {
        }
        return 0;
    }

 

<think>好的,我现在需要帮助用户了解运算符重载的规则和限制条件,特别是关于操作数个数、默认参数、结合性和优先级是否可以改变的问题。首先,我需要回顾用户提供的引用内容,确保信息准确。用户引用了四个来源,其中引用[1]详细列出了运算符重载的规则,包括哪些运算符可以重载、不能创建新运算符、函数重载的机制、优先级和结合性不可改变等。引用[2]提到了运算符函数的定义格式,区分了成员函数和友元函数的形式。引用[3]讨论了operator=的返回值类型和拷贝构造函数的影响。引用[4]补充了重载作为类外函数的注意事项。接下来,我需要整理这些信息,回答用户的问题。用户的问题集中在运算符重载的规则及限制,特别是操作数个数、默认参数、结合性和优先级是否可改变。需要确保覆盖这些点,同时引用正确的来源。首先,规则中明确提到(4)重载后的运算符不能改变优先级和结合性,也不能改变操作数的个数和语法结构。同时(7)指出不能有默认参数,否则改变参数个数。因此,这些限制条件需要明确说明。 另外,用户可能对成员函数和友元函数的重载方式有疑问,需要区分两者,比如成员函数隐含this指针,而友元函数可能需要更多参数。引用[2]和[4]提到了这一点。在组织回答时,应该分点列出规则,每个规则后附上对应的引用来源。例如,操作数个数不可变来自引用[1]的规则(4),默认参数不允许来自规则(7)。同时,优先级和结合性不可变同样来自规则(4)。 还需要注意用户提到的系统级指令,如数学表达式使用LaTeX格式,但问题中可能不涉及数学公式,因此需要检查是否需要添加。用户的问题主要是规则描述,可能不需要数学表达式,但如果有示例中的运算符符号,可能需要用$...$包裹,比如operator+。最后,生成相关问题,帮助用户进一步学习,如运算符重载与函数重载的区别,如何选择成员或友元函数形式等。确保问题与主题相关,并引导深入思考。 总结回答结构:1.运算符重载的核心规则:可重载运算符范围、不能新建运算符、函数重载机制。2.操作数相关限制:个数不可变、语法结构不变。3.默认参数禁止。 4.优先级和结合性不可变。 5.其他规则:如必须针对用户自定义类型、不能修改内部类型运算符等。 6.示例说明成员函数与友元函数的区别。 7.相关问题。需要确保每个部分都正确引用来源,如规则(4)对应引用[1],默认参数对应规则(7)等。同时语言要清晰,结构层次分明,符合用户要求的格式。</think>### 运算符重载的规则及限制条件 #### **一、运算符重载的核心规则** 1. **可重载运算符范围** - C++中**大部分运算符**可重载,但以下运算符**禁止重载**[^1]: $$ \text{类属关系运算符} \ (.) \quad \text{成员指针运算符} \ (.*) \quad \text{作用于运算符} \ (::) \quad \text{sizeof} \quad \text{三目运算符} \ (?:) $$ - **不能创建新运算符**(如`@$`),只能重载现有运算符[^1]。 2. **本质是函数重载** 运算符重载通过函数实现,编译器根据参数类型和数量选择重载版本[^1][^3]。 ```cpp // 成员函数形式重载+ Complex operator+(const Complex& other) { return Complex(re + other.re, im + other.im); } ``` --- #### **二、操作数相关限制** 1. **操作数个数不可变** - 重载后的运算符**必须保持原操作数个数**。例如,双目运算符`+`必须有两个操作数[^1][^4]。 - ❌ **错误示例**:将`+`改为单目运算符 ```cpp Complex operator+() { ... } // 错误,改变了操作数个数 ``` 2. **语法结构不可变** - 运算符的语法结构(如中缀形式`a + b`)必须保留,不能修改为函数调用形式[^1]。 --- #### **三、默认参数的限制** - **禁止使用默认参数** 运算符重载函数**不能有默认参数**,否则会改变操作数个数,与规则冲突[^1][^7]。 ```cpp // ❌ 错误示例:为operator+添加默认参数 Complex operator+(const Complex& a, const Complex& b = Complex(0,0)) { ... } ``` --- #### **四、优先级与结合性不可变** - **优先级和结合性固定** 重载后的运算符**优先级**和**结合性**必须与原运算符一致[^1]。例如: $$ a \oplus b \oplus c \quad \text{仍按左结合性计算} $$ --- #### **五、其他重要限制** 1. **仅作用于用户自定义类型** - 运算符重载**不能修改内部类型(如`int`)的运算规则**,只能用于自定义类型或与自定义类型混合使用[^1][^8]。 - ✔️ **合法示例**:`Complex + int` ```cpp Complex operator+(const Complex& c, int x) { ... } ``` 2. **语义一致性要求** - 重载功能应与原运算符语义相似(如`+`实现加法,而非减法)[^1][^6]。 3. **特殊运算符的例外** - `=`和`&`**可自动生成默认实现**,无需显式重载(但建议根据需求自定义)[^1][^9]。 --- #### **六、成员函数与友元函数的选择** | 形式 | 成员函数 | 友元函数 | |---------------|---------------------------------------------|---------------------------------------------| | **隐含参数** | 隐含`this`指针(左操作数) | 需显式声明所有操作数 | | **示例** | `Complex::operator+(const Complex& other)` | `friend Complex operator+(const Complex& a, const Complex& b)` | | **适用场景** | 需访问私有成员且左操作数为当前类对象 | 需支持左操作数为非类类型(如`int + Complex`)[^2][^4] | --- ### **代码示例** ```cpp class Vector { public: // 成员函数形式重载+(左操作数为Vector) Vector operator+(const Vector& other) { return Vector(x + other.x, y + other.y); } // 友元函数形式重载*(支持int * Vector) friend Vector operator*(int scalar, const Vector& v) { return Vector(scalar * v.x, scalar * v.y); } }; ``` --- ### **相关问题** 1. 运算符重载与函数重载在实现机制上有何异同?[^1][^3] 2. 如何通过运算符重载实现自定义类型的隐式类型转换?[^1][^8] 3. 为什么`operator=`需要处理自赋值问题?[^3] 4. 在哪些场景下必须使用友元函数形式重载运算符?[^2][^4]
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值