C++ 重载运算符在HotSpot VM中的应用

C++支持运算符重载,对于Java开发者来说,这个可能比较陌生一些,因为Java不支持运算符重载。运算符重载本质上来说就是函数重载。下面介绍一下HotSpot VM中的运算符重载。

1、内存分配与释放

在C++中可以通过new运算符创建一个C++的类实例,这个操作实际上上包含了如下3个步骤:

  1. 调用operator new的标准库函数。此函数会分配一块内存空间以便函存储相应类型的实例。
  2. 调用相应类的构造函数
  3. 返回一个指向该对象的指针

同样,可以delete运算符释放对应的内存,实际执行如下2个步骤:

  1. 调用相应类的析构函数
  2. 调用operator delete标准库函数释放内存。

由于C++没有Java的GC托管技术,所以分配出来的内存时刻要惦记着释放,这是一件非常不容易的事情。通常的做法是,内存申请和释放集中到一个地方管理,所以才会有Metaspace或Arena这些相对复杂一些的内存管理机制。

有了我们自己设计的内存管理机制后,就可以重载new运算符,让实例从特定的内存空间中申请和释放内存了,例如HotSpot VM在Klass类中重载了new运算符:

复制代码
void* Klass::operator new(size_t size, ClassLoaderData* loader_data, size_t word_size, TRAPS) throw() {
  // 在元数据区分配内存空间
  void* x = Metaspace::allocate( 
				 loader_data,
				 word_size,
				 false,   /*read_only*/
				 MetaspaceObj::ClassType,
				 CHECK_NULL
			 );
  return x;
}

在使用new关键字创建Klass或子类的实例时,都会调用Metaspace::allocate()函数从元数据区分配内存;在Klass类中,我们没有看到重载delete运算符,因为删除一个类并没有那么简单,需要借助GC来完成。元数据区具体管理内存的办法,以及分配和释放的逻辑可参看《深入剖析Java虚拟机:源码剖析与实例详解》中的8.2节。

在HotSpot VM中重载new和delete运算符的地方非常多,不过oop并不是这样做的,这应该是考虑到它相对复杂的内存分配逻辑和初始化过程吧。

2、句柄

关于句柄,我在之前 第2.7篇-操作句柄Handle 详细介绍过它的作用。句柄要间接操作实例,让GC能够集中扫描到栈中引用到的Java对象。

句柄的相关定义如下:

复制代码
class Handle {
private:
    oop *_handle; // oop的类型为oopDesc*

protected:
    oop obj() const {
        return _handle == NULL ? (oop) NULL : *_handle;
    }
    oop non_null_obj() const {
        return *_handle;
    }

public:
    // 重载了()、->和==运算符
    oop operator()() const { return obj(); }
    oop operator->() const { return non_null_obj(); }
    bool operator==(oop o) const { return obj() == o; }
    bool operator==(const Handle &h) const { return obj() == h.obj(); }
};

句柄中重载了()、->和==运算符,我们可以这样操作:

复制代码
oop obj1 = ...;
// 将对象封装为句柄
Handle h1(obj1); 

// 获取被封装的对象,会调用到operator()()函数,这个函数返回*_handle
oop obj2 = h1();
// 直接调用oop中定义的相关函数,会调用到operator->()函数,
// 在这个函数中获取_handle值后调用_handle->print()函数 
h1->print();

这大大简化了相关操作的简洁性,操作句柄就感觉和操作oop是一样的效果

本人最近准备出一个手写Hotspot VM的课程,超级硬核,从0开始写HotSpot VM,将HotSpot VM所有核心的实现全部走一遍,如感兴趣,速速入群。

群里可讨论虚拟机和Java性能剖析与故障诊断等话题,欢迎加入。

相关推荐
麦兜*14 小时前
Spring Boot启动优化7板斧(延迟初始化、组件扫描精准打击、JVM参数调优):砍掉70%启动时间的魔鬼实践
java·jvm·spring boot·后端·spring·spring cloud·系统架构
真实的菜1 天前
JVM类加载系统详解:深入理解Java类的生命周期
java·开发语言·jvm
在未来等你1 天前
JVM调优实战 Day 15:云原生环境下的JVM配置
java·jvm·性能优化·虚拟机·调优
黄雪超2 天前
JVM——函数式语法糖:如何使用Function、Stream来编写函数式程序?
java·开发语言·jvm
ThetaarSofVenice2 天前
对象的finalization机制Test
java·开发语言·jvm
很小心的小新2 天前
12、jvm运行期优化
java·开发语言·jvm·笔记
ThetaarSofVenice2 天前
垃圾收集相关算法Test
java·jvm·算法
暮 夏2 天前
Java测试题一
java·开发语言·jvm
程序员弘羽2 天前
C++ 第四阶段 内存管理 - 第二节:避免内存泄漏的技巧
java·jvm·c++
好名字更能让你们记住我2 天前
Linux多线程(十二)之【生产者消费者模型】
linux·运维·服务器·jvm·windows·centos