单引号用法，例如文档中的Git commit refs

Question

例如，this question，具有以下图表

fun power x 0 = 1
  | power x y = x * (power x (y - 1))

在这种情况下，A1和A2上的单引号，即M1 - M2 - M3 \ \ \ \ A1 - A2 A1' - A2' 和A1'是什么意思？

Answer 1

它是从derivative的数学符号借来的符号。

在此示例中，

A1'是A1 M3之上rebasing A1'的结果。虽然他们可能会有相同的正文和相同的提交消息（假设在rebase期间没有合并冲突），但他们有不同的父母（M1的父亲是A1'和M3＆＃ 39; s的父级是A1'），因此它们不是相同的提交，并且没有相同的提交哈希。来自原始A1的{​​{1}} 派生，这个常用的数学符号用于突出显示它。

Answer 2

这是一个约定，表明提交已经rebased或挑选。 A1和A1'具有相同的内容，但父母和提交ID不同。在这种情况下，A1和A2已重新定位到M3。

'是“prime”的符号。 A1'表示它源自A1。您已将A1'视为“一个素数”。