如何将一个函数的选项完全地传递到它所调用的其它【自定义】函数？

Question

一直是没有搞明白函数的选项是如何定义的。现在有以下这些情况：

1.所调用的下一级自定义函数有和本级函数同名的选项，但是需要要分开处置（ParallelTable）

2.所调用的下一级自定义函数有多个不同种类的选项

fn = x + y + z(*此处随手瞎编的不要在意*)
test0[xmin_, xmax_, ymin_, ymax_, step_, opts : OptionsPattern[]] :=
 Show[Graphics[RasterArray[
    ParallelTable[
     Hue[(Arg[fn] + \[Pi])/(2 \[Pi]),
       1/(1 + 0.3 Log[Abs[fn] + 1]),
       1 - 1/(1.1 + 5 Log[Abs[fn] + 1]), 1]
      {y, ymin + 0.0012, ymax, step},
     {x, xmin + 0.0012, xmax, step},
     Evaluate[FilterRules[{opts}, Options[ParallelTable]]]]]], 
  ImageSize -> (20 + (xmax - xmin)/step),
  Evaluate[FilterRules[{opts}, Options[Graphics]]]]
test1[xmin_, xmax_, ymin_, ymax_, step_, zmin_, zmax_, ymin_, ymax_, 
  step_, zstep_(*然后应该咋写呢？*)] :=
 ListAnimate[ParallelTable[
   test0[xmin, xmax, ymin, ymax, step,(*传送给下一层的选项*)],
   {z, zmin, zmax, (zmax - zmin)/zstep},
   Evaluate[FilterRules[{opts}, Options[ParallelTable]]]],
  Evaluate[FilterRules[{opts}, Options[ListAnimate]]]]

 

Answer 1

第一个问题没法区分，因为这并不是mma的问题，是你在设计函数的时候自己没考虑到的问题。简化问题为：

Options[g] = {"a" -> 1};
Options[h] = {"a" -> 2};
f[x_, opts : OptionsPattern[]] := g[x, h[x, opts], opts]

g和h的选项一样，那么显然使用f[1,"a"->3]时mma无法猜测出你心中的想法，"a"到底是给g还是给h。
一种解决方法是，请主动告诉程序区分点是什么。

Options[g] = {a -> 1};
Options[h] = {a -> 2};
Options[f] = {a1 -> 1, a2 -> 2};

f[x_, opts : OptionsPattern[]] := 
 Module[{opts1, opts2, classifyOption},
  classifyOption[opt_, val_] := 
   Cases[opt, ((a_?(StringTake[ToString@#, -1] == val &)) -> 
       b_) :> (ToExpression@StringDrop[ToString@a, -1] -> b)];
  {opts1, opts2} = classifyOption[{opts}, #] & /@ {"1", "2"};
  g[x, h[x, opts1], opts2]
  ]
  
f[1, a1 -> 1, a2 -> 2]
f[1, a1 -> 1]
f[1, a2 -> 1]