“重构”有正式的定义吗？

Question

有人知道如何以更正式的方式定义重构吗？

更新。

重构是一对 R = (pre; T)，其中 pre 是前提条件 程序必须满足，T为程序变换。

Answer 1

这是一个有趣的问题，也是我没有考虑过的问题。 我做了一些谷歌搜索，并想出了这篇论文< /a> (PDF) 关于 AOP 中的重构，尝试将一些数学建模应用于方面，以表明功能方面具有与传统方面相同的灵活性，但复杂性降低。 我没有阅读整篇论文，但你可能会在那里找到一些东西。

另一个有趣的想法是将重构视为与编译器优化相同的思路。 本质上，编译器会动态重构代码，尽管其目标与代码级重构不同。 您必须以某种合理的方式量化代码的复杂性和可读性，以证明特定的重构如何影响它。 提出模型可能是最困难的部分。

我还发现了这篇论文，它建立了代数OO编程并导出一些基本规则，然后使用这些基本规则导出更复杂的重构。

有趣的东西。 希望这可以帮助。

Answer 2

重构是一系列保留正确性的转换，但是重构可能会产生比原始代码更通用的代码

，因此我们不能仅仅断言程序 P 上的重构转换 T 之前和之前具有相同的属性 R重构后，但重构程序 P' 的属性 R' 应该至少等于 R

given program P implies R
refactoring transformation T(P) produces P'
where (P' implies R') and (R' is equivalent to or subsumes R')

我们也可以断言输入和输出保持相同或等效

，但按照您的示例，也许我们想要定义一个重构转换 T作为 4 元组 P,I,O,R，其中 P 是原始程序，I 是输入和/或前置条件，O 是输出和/或后置条件，R 是转换后的程序，然后断言（使用时序逻辑？）

P:I -> O

在转换之前保持

T(P) -> R

定义转换，并

R:I -> O

在转换之后保持

我的符号数学生锈了，但这是一个总体方向，

这将成为一篇很好的硕士论文，顺便说一句

Answer 3

有趣的是，大多数重构都是成对出现的：

• 添加参数 - 删除参数
• 提取类/方法 - 内联类/方法
• 上拉字段/方法 - 下拉字段/方法
• 将双向关联更改为单向 - 将单向关联更改为双向
• ...

应用该对的两个重构是空转换。

对于重构对 R, R' ：

R'(R(代码)) = 代码

Answer 4

好吧，不是直接的，但就金钱而言 - 我可以说是的。 我无法提出一个方程式：）

编写良好、不复杂（可能是由于重构）的代码可以节省时间/精力，从而节省金钱。