这个关于编译（Compile）的帖子我也算构思了满久了，不过还是不敢说已经定了稿，为了便于修订并避免链接的迅速报废，这次尝试着放在了有道云笔记上，大家多点一下鼠标吧：
http://note.youdao.com/share/?id=bf2a031f7d0d69064941032c7857dfd1&type=note

辛苦了，看完我都觉得累，写完估计得来回好几天。。

mma10,4中好像ReplacePart不能编译了 还有要补充一下Total和Evaluate都可以编译

之前尝试过在 Compile 内部自定义函数，但是不行，说是因为有 SetDelayed (但是 SetDelayed 明明就出现在了 Compile`CompilerFunctions[] // Sort 的结果列表里)；但是后来发现配合 Evaluate 就可以编译了。用 CompilePrint 也没发现有 MainEvaluate。
请问，这个情况如何理解？

1. SetDelayed说实话我没有详细探索过，但它应该也属于虽可编译但高度受限的情况。这里可以提供一个例子：
Compile[{b}, With[{a := 1}, b + a]] // CompilePrint
2. 这个其实我在你之前在SE的某答案下面也解释过一遍，并不是Evaluate让代码可编译了，而是Evaluate使得那段代码在被Compile“接手”前进行了计算，而计算生成的表达式又恰好可以编译。比如，
Compile[{x, y}, Evaluate@EuclideanDistance[{x, y}, {1, 2}]] // CompilePrint
其实是等效于将
Compile[{x, y}, EuclideanDistance[{x, y}, {1, 2}]]
的
EuclideanDistance[{x, y}, {1, 2}]
部分选中然后Ctrl+Shift+Enter，也就是说，Compile接收到的只是
Sqrt[Abs[-1 + x]^2 + Abs[-2 + y]^2]
一个与使用Evaluate效果相当的做法是使用纯函数 Compile[{x, y}, #] &[EuclideanDistance[{x, y}, {1, 2}]]
原理当然也是一样的：调节计算次序，突破Compile的HoldAll属性。关于这个，其实可以参考这帖：
https://tieba.baidu.com/p/4886024974 ——其实，我早想动笔却一直没写的《计算次序杂谈》的核心部分可以说就在这帖里。

楼主你的链接打开需要密码

学到了很多，给楼主点赞！