Ownership Domains: Separating Aliasing Policy from Mechanism
Ownership Domains: Separating Aliasing Policy from Mechanism
复制标题
所有权域：将别名策略与机制分离
DOI：
10.1007/978-3-540-24851-4_1
复制
发表时间：
2004
影响因子：
2.4
通讯作者：
C. Chambers
中科院分区：
文献类型：
--
作者：
Jonathan Aldrich;C. Chambers
所有权类型承诺提供一种实用的机制，通过控制面向对象语言中的别名来实现更强的封装。然而，以前的所有权类型建议将系统的别名策略与所有权机制联系在一起。因此，这些建议太弱，无法表达许多重要的别名约束，但也限制了许多有用的编程习惯用法。
Ownership types promise to provide a practical mechanism for enforcing stronger encapsulation by controlling aliasing in object-oriented languages. However, previous ownership type proposals have tied the aliasing policy of a system to the mechanism of ownership. As a result, these proposals are too weak to express many important aliasing constraints, yet also so restrictive that they prohibit many useful programming idioms.