LaTeX3 动态生成 \prg_new_conditional

Question 1

我看不出有什么必要\cs_if_free:NTF。你正在开发一个包，如果你不小心重新定义一个已经定义的条件在您自己的命名空间中，您将收到一条错误消息。在这种情况下，只需删除有问题的代码并继续。

这就是为什么建议使用特定于包的前缀的原因：您，作为包作者，对使用该前缀的函数和变量负全部责任。

实际上，你用你的策略\bool_if:nT把问题扫到了地毯下。假设你已经\mypkg_if_foo:nTF在你的大包中定义了，但后来你忘记了这样做，并认为这foo对其他条件来说是好的。如果你使用你的\bool_if:nT策略，你的新条件将不是被定义，并且每次调用时仍将使用旧函数\mypkg_if_foo:nTF。你确定你不希望出现错误消息，以便你能够意识到错误并选择新名称吗？我会的。

在“false”分支中使用\bool_if:nTF警告会有所帮助，但我认为没有任何好处。

最后，但并非最不重要的一点是，类似函数的定义不应分散在包中，而应保持彼此靠近，以便于维护。因此，您将有一个部分

% define conditionals emulating the LaTeX kernel pseudoconditionals
\prg_new_conditional:Nnn \mypkg_if_package_loaded:n { p, T, F, TF }
 {
  \use:c { @ifpackageloaded } { #1 } { \prg_return_true: } { \prg_return_false: }
 }

现在我们可以编写语法糖来定义这种条件“立即”。

% define conditionals emulating the LaTeX kernel pseudoconditionals
\cs_new_protected:Nn \__mypkg_define_kernel_conditional:Nn
 {
  \prg_new_conditional:Nnn #1 { p,T,F,TF }
   {
    \use:c { #2 } { \prg_return_true: } { \prg_return_false: }
   }
 }
\__mypkg_define_kernel_conditional:Nn \mypkg_if_package_loaded:n { @ifpackageloaded }
\__mypkg_define_kernel_conditional:Nn \mypkg_if_package_with:n { @ifpackagewith }
\__mypkg_define_kernel_conditional:Nn \mypkg_if_class_loaded:n { @ifclassloaded }
\__mypkg_define_kernel_conditional:Nn \mypkg_if_class_with:n { @ifclasswith }

如果你真的想使用你的\bool_if:nT策略，那么

\cs_new_protected:Nn \__mypkg_define_kernel_conditional:nn
 {
  \bool_if:nT
   {
    \cs_if_free_p:c {mypkg_if_#1_p:n} &&
    \cs_if_free_p:c {mypkg_if_#1:nT &&
    \cs_if_free_p:c {mypkg_if_#1:nF &&
    \cs_if_free_p:c {mypkg_if_#1:nTF
   }
   {
    \prg_new_conditional:cnn {mypkg_if_#1:n} { p,T,F,TF }
     {
      \use:c { #2 } { \prg_return_true: } { \prg_return_false: }
     }
   }
 }
\__mypkg_define_kernel_conditional:nn {package_loaded} { @ifpackageloaded }
\__mypkg_define_kernel_conditional:nn {package_with} { @ifpackagewith }
\__mypkg_define_kernel_conditional:nn {class_loaded} { @ifclassloaded }
\__mypkg_define_kernel_conditional:nn {class_with} { @ifclasswith }

Answer

我看不出有什么必要\cs_if_free:NTF。你正在开发一个包，如果你不小心重新定义一个已经定义的条件在您自己的命名空间中，您将收到一条错误消息。在这种情况下，只需删除有问题的代码并继续。