功能无法很好地协同工作

Question 1

您的宏无法通过扩展工作，因此它们在 edef 中或作为您使用的字符串测试函数的参数是不安全的。我做了一些小的清理，将\new...宏移出到顶层，并添加了几个\show

日志显示

> \z=macro:
->\test .
\gresetdim ...badlengthfalse \def \z {#2}\show \z 
                                                  \IfSubStr {#2}{plus}{\chec...
l.15 \gresetdim{additionallineswidth}{\test}{1}

? 
> \endz=undefined.
\gresetdim ...cklengthtrue }{\relax } \show \endz 
                                                  \IfSubStr {#2}{minus}{\che...
l.15 \gresetdim{additionallineswidth}{\test}{1}

? 
> \z=macro:
->\gre@consistentunits {\gre@convert }{\gre@temp }.
\gresetdim ...badlengthfalse \def \z {#2}\show \z 
                                                  \IfSubStr {#2}{plus}{\chec...
l.28 ...\newfunction{additionallineswidth}{18}{17}
                                                   %should be blank when pro...

? 
)
! Incomplete \iffalse; all text was ignored after line 28.
<inserted text> 
                \fi 
<*> ff566

?

显示第一次调用没有问题，但第二次#2调用

 \gre@consistentunits {\gre@convert }{\gre@temp }

你不能使用它作为参数，\IfSubStr 所以你永远不会到达下一行

 \show\endz

修改的testing.sty

% ------IDENTIFICATION------
\NeedsTeXFormat{LaTeX2e}[2005/12/01]
\ProvidesPackage{testing}
% For testing package code.

% ------INITIAL CODE------

% ------DECLARATION OF OPTIONS------

% ------EXECUTION OF OPTIONS------
\ProcessOptions

% ------PACKAGE LOADING------
\RequirePackage{xstring}

% ------MAIN CODE------

\AtBeginDocument{}

\AtEndDocument{}

\def\greerror#1{\PackageError{GregorioTeX}{#1}{}}

%%%%%%%%%%%%%
%% Rescaling dimensions (for when \grefactor changes)
%%%%%%%%%%%%%

%% This macro sets one dim (#1) to the value #2 and sets whether it should scale when the \grefactor changes (#3, 1 if yes, 0 if no).  While it does check that #1 can accept the kind of distance given in #2, it does not propagate the changes through the calculated distances.
 \newif\ifchecklength
\newif\ifbadlength
\def\gresetdim#1#2#3{%
   \checklengthfalse
    \badlengthfalse
    %check if #2 is a rubber length (contains plus and/or minus)
\def\z{#2}\show\z
    \IfSubStr{#2}{plus}{\checklengthtrue}{\relax}
\show\endz
    \IfSubStr{#2}{minus}{\checklengthtrue}{\relax}
    %if #1 is one of the distances which cannot be rubber.
    \ifchecklength
        \IfStrEq{#1}{additionallineswidth}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{maximumspacewithoutdash}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{additionalcustoslineswidth}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{minimalspaceatlinebeginning}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{manualinitialwidth}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{aboveinitialseparation}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{noclefspace}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{abovesignsspace}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{belowsignsspace}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{lowchoralsignsshift}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{highchoralsignsshift}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{translationheight}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{abovelinestextraise}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{abovelinestextheight}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{braceshift}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{curlybraceaccentusshift}{\badlengthtrue}{\relax}
        \IfStrEq{#1}{clivisalignmentmin}{\badlengthtrue}{\relax}
    \fi
    % did both of the above conditions hold true?
    \ifbadlength
        \greerror{#1 cannot be a rubber length.}
    \else
        \expandafter\xdef\csname gre@scale@#1\endcsname{#3}%
        \expandafter\xdef\csname gre@#1\endcsname{#2}%
    \fi
    \relax %
}

%% an aux function adapting the value #1 from the factor #2 to the factor #3
%% Note: This function is assumed to touch only dimensions which are meant to scale with the \grefactor (i.e. if it acts on distance x, \gre@scale@x is 1)
\newif\ifrubber
\def\gre@changeonedimenfactor#1#2#3{%
    \rubbertrue%
    % is length one that cannot be rubber?
    \IfStrEq{#1}{additionallineswidth}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{maximumspacewithoutdash}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{additionalcustoslineswidth}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{minimalspaceatlinebeginning}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{manualinitialwidth}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{aboveinitialseparation}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{noclefspace}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{abovesignsspace}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{belowsignsspace}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{lowchoralsignsshift}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{highchoralsignsshift}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{translationheight}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{abovelinestextraise}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{abovelinestextheight}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{braceshift}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{curlybraceaccentusshift}{\rubberfalse}{\relax}%
    \IfStrEq{#1}{clivisalignmentmin}{\rubberfalse}{\relax}%
    \ifrubber% if we have a rubber allowed length we create a temporary skip
        \let\gre@temp\gre@temp@skip
    \else% otherwise we create a temporary dimen
        \let\gre@temp\gre@temp@dimen
    \fi%
    % Math
    \edef\gre@convert{\csname gre@#1\endcsname}%
    \gre@temp=\gre@convert%
    \multiply \gre@temp by \number #3%
    \divide \gre@temp by \number #2%
    % This testing line works
    \gre@consistentunits{\gre@convert}{\gre@temp}%
    % This implementation line doesn’t
   \gresetdim{#1}{\gre@consistentunits{\gre@convert}{\gre@temp}}{1}
    \relax %
}

\newskip\gre@temp@skip
\newdimen\gre@temp@dimen

% These functions are used for stripping out the units and decimal portion of a distance to make it more amenable to being used in the conversion function below
{\catcode`p=12 \catcode`t=12 \gdef\gre@makein#1.#2pt{#1}}
{\catcode`p=12 \catcode`t=12 \gdef\gre@makenum#1pt{#1}}

% This function converts a distance to the units indicated in #1 and returns it as a string.
\def\gre@convertto#1#2{%
    \ifdim#2=0pt\relax%
        0 #1
    \else
        \newdimen\gre@unit%
        \expandafter\gre@unit = 1 #1%
        \newdimen\gre@base%
        \gre@base = #2%
        % Code to increase precision
        \newdimen\gre@maxlen%
        \gre@maxlen = 16383.99999pt%
        \newdimen\gre@factor%
        \gre@factor = \gre@maxlen%
        \divide\gre@factor by \gre@unit%
        \newdimen\gre@basefactor%
        \gre@basefactor = \gre@maxlen%
        \divide\gre@basefactor by \gre@base%
        \ifdim\gre@basefactor<\gre@factor%
            \advance\gre@basefactor by -10sp%
            \multiply\gre@unit by \gre@basefactor%
            \multiply\gre@base by \gre@basefactor%
        \else%
            \advance\gre@factor by -10sp%
            \multiply\gre@unit by \gre@factor%
            \multiply\gre@base by \gre@factor%
        \fi%
        \newcount\temp%
        \temp = \expandafter\gre@makein\the\gre@unit%
        \divide\gre@base by \temp%
        \expandafter\gre@makenum\the\gre@base\relax #1%
    \fi
}

% This function takes a distance (#2) and formats it as a string so that its units conform to the pattern set by a string representation of a distance (#1)
\newif\ifstretch
\newif\ifshrink
\def\gre@consistentunits#1#2{%
    \stretchfalse%
   \shrinkfalse%
    \IfSubStr{#1}{plus}{\stretchtrue}{\relax}%
    \IfSubStr{#1}{minus}{\shrinktrue}{\relax}%
    \ifstretch%
        \ifshrink%
            %rubber with both stretch and shrink
            \StrBefore{#1}{plus}[\gre@baseunit]%
            \StrBetween{#1}{plus}{minus}[\gre@stretchunit]%
            \StrBehind{#1}{minus}[\gre@shrinkunit]%
        \else%
            %rubber with stretch only
            \StrBefore{#1}{plus}[\gre@baseunit]%
            \StrBehind{#1}{plus}[\gre@stretchunit]%
            \def\gre@shrinkunit{}%
        \fi%
    \else%
        \ifshrink%
            %rubber with shrink only
            \StrBefore{#1}{minus}[\gre@baseunit]%
            \def\gre@stretchunit{}%
            \StrBehind{#1}{minus}[\gre@shrinkunit]%
        \else%
            %non-rubber
            \def\gre@baseunit{#1}%
            \def\gre@stretchunit{}%
            \def\gre@shrinkunit{}%
        \fi%
    \fi%
    \StrDel{\gre@baseunit}{ }[\gre@baseunit]%
    \StrRight{\gre@baseunit}{2}[\gre@baseunit]%
    \StrDel{\gre@stretchunit}{ }[\gre@stretchunit]%
    \StrRight{\gre@stretchunit}{2}[\gre@stretchunit]%
    \StrDel{\gre@shrinkunit}{ }[\gre@shrinkunit]%
    \StrRight{\gre@shrinkunit}{2}[\gre@shrinkunit]%
    \gre@convertto{\gre@baseunit}{\dimexpr#2\relax} %
    \IfStrEq{}{\gre@stretchunit}{}{%
        plus %
        \gre@convertto{\gre@stretchunit}{\gluestretch#2}%
    }%
    \IfStrEq{}{\gre@shrinkunit}{}{%
        minus %
        \gre@convertto{\gre@shrinkunit}{\glueshrink#2}%
    }%
}

\def\newfunction#1#2#3{%
    \gre@changeonedimenfactor{#1}{#2}{#3}%
}

Answer

您的宏无法通过扩展工作，因此它们在 edef 中或作为您使用的字符串测试函数的参数是不安全的。我做了一些小的清理，将\new...宏移出到顶层，并添加了几个\show