FormTimes[facs___] := 0 /; MemberQ[{facs}, 0]
FormTimes[facs___] := FormTimes @@ DeleteCases[{facs}, 1]
FormTimes /: D[FormTimes[facs___], any__] :=
Plus @@ FormTimes @@@ (MapAt[D[
#, any] &, facs, #
] & /@ Range[Length[facs]])
其中第三条语句运行后出现
TagSetDelayed::tagpos : "\"Tag FormTimes in ‘™˜SubscriptBox[™∂, \
™any__]™Hold[FormTimes[facs___]] is too deep for an assigned rule to be \
found. \""
从表面看，FormTimes并没有隐藏得很深，但它莫名其妙被Hold住了，结果就。。。
但是Attributes[D]给出{Protected, ReadProtected}，并没有Hold族属性啊
怎么办怎么办～～～～
喵呜～～～～～嗷嗷嗷嗷～～～～～～～～～

啊～～～问题好像在第二条语句上～～～～～
FormTimes[1, 2, 3]给出Hold[FormTimes[2, 3]]及
$IterationLimit::itlim : "Iteration limit of \!\(4096\) exceeded. \
\!\(\*ButtonBox[\"\", ButtonStyle->\"Link\", ButtonFrame->None, ButtonData\
:>\"paclet:ref/message/$IterationLimit/itlim\", ButtonNote -> \
\"$IterationLimit::itlim\"]\)"
可是为什么会这样～～～

定义上值的模式只能有一层。在这里，模式 D[FormTimes[facs___], any__] 显然有两层.

把第二条改成FormTimes[facs___] /; MemberQ[{facs}, 1] := FormTimes @@ DeleteCases[{facs}, 1]问题就消失了

第三个定义加个Unevaluated能使定义成功，但是不是你想要的？
FormTimes /: D[Unevaluated@FormTimes[facs___], any__] := Plus @@ FormTimes @@@ (MapAt[D[
#, any] &, facs, #
] & /@ Range[Length[facs]]);