基於抽象語法樹的深度複製及彈性別名之所有權系統解決 Java 表示暴露問題;AST-Based Deep Copy and Flexible Alias Ownership System Resolves Java Representation Exposure Problem

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 博碩士論文 > Item 987654321/93160

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/93160

题名:	基於抽象語法樹的深度複製及彈性別名之所有權系統解決 Java 表示暴露問題;AST-Based Deep Copy and Flexible Alias Ownership System Resolves Java Representation Exposure Problem
作者:	郭威;Kuo, Wei
贡献者:	資訊工程學系
关键词:	Java;表示暴露;不變性;所有權;封裝性;設計模式;Java;Representation Exposure;Immutability;Ownership;Encapsulation;Design Pattern
日期:	2023-07-20
上传时间:	2024-09-19 16:44:54 (UTC+8)
出版者:	國立中央大學
摘要:	在物件導向語言的設計模式中，封裝性佔了不少重要的部分，但於 Java 語言中使用封裝性時，卻可能會發生表示暴露 (Representation Exposure) 問題，而該問題歸咎於 Java 語言本身沒有足夠提供所有權 (Ownership) 及不變性 (Immutability) 的特性，使得外部的參考可以非預期地修改物件內部資料，進而導致封裝性遭破壞。因此本研究將提供一個擴充於 Java 上的所有權系統— SlimeJava，基於抽象語法樹建立的所有權系統，來實現深度複製及彈性別名，並透過標註 (Annotation) 來進行源對源 (Source-to-source) 轉換，協助程式設計者避免表示暴露問題發生。在提案與實作中，我們討論了該如何透過使用標註，實現所有權系統並為何能夠避免表示暴露問題發生，並在最後透過評估證明其可行性。 ;In the design patterns of object-oriented languages, encapsulation plays a significant role. However, when using encapsulation in the Java language, a problem known as "Representation Exposure" may arise. This problem can be attributed to Java′s lack of sufficient features for ownership and immutability, which allows external references to unexpectedly modify internal object data and thereby compromising encapsulation. To address this issue, this research proposes an extension for Java called "SlimeJava", which introduces an ownership system based on abstract syntax trees. SlimeJava implements deep copy and flexible alias, which utilizing annotations for source-to-source transformations to assist programmers in avoiding representation exposure. In the proposal and implementation, we discuss how to realize the ownership system through annotations and why it helps prevent representation exposure. Finally, the feasibility of the approach is demonstrated through evaluation.
显示于类别:	[資訊工程研究所] 博碩士論文

文件中的档案:

档案	描述	大小	格式	浏览次数
index.html		0Kb	HTML	15	检视/开启

在NCUIR中所有的数据项都受到原著作权保护.

社群 sharing

数据加载中.....