The visitor pattern as a reusable, generic, type-safe component

doi:10.1145/1449955.1449799

The visitor pattern as a reusable, generic, type-safe component

2008-10-19

0

OA

AI

DOI：10.1145/1449955.1449799

原文链接

查看原文

摘要

En 中文

V ISITOR 设计模式展示了如何将对象层次结构与其遍历行为相分离。该模式非常灵活；正是这种灵活性使得难以将其形式化地表述为比散文、图表和原型更正式的内容。我们展示了如何利用现代面向对象语言（如Scala）中的高级类型系统特性，将V ISITOR 模式的核心本质捕获为一个可重用的软件库。我们保留了静态且模块化的类型安全性：未使用反射或类似机制，且模块可以独立编译。该库是泛型的，在两个意义上：它不仅同时由返回类型和对象层次结构的形状进行参数化，而且还允许通过参数（而非早期设计决策）指定多种实现选择（内部与外部控制、命令式与函数式行为、追踪和记忆化等正交方面）。最后，我们在我们的访问者库基础上提出了一种泛化的数据类型似的表示法：这为面向对象语言提供了一种方便的函数式分解风格。

The visitor pattern as a reusable, generic, type-safe component

摘要

AI总结

期刊

机构

引用论文