100 关于`\include`与`biblatex`以及`\usepackage[thref]{ntheorem}`同时使用时触发报错的原因和最佳实践？

Descrption & Code

考虑如下的两份近乎等价的MWE：

\documentclass[fontset=fandol]{ctexbook}
\begin{filecontents*}[overwrite]{thesis.bib}
@book{revuz,
  title     = {Continuous Martingales and Brownian motion},
  author    = {Revuz, Daniel and Yor, Marc},
  year      = {1999},
  publisher = {Springer},
  location  = {Berlin}
}
\end{filecontents*}
\usepackage{amsmath}
\let\proofname\relax
\usepackage[amsmath,thmmarks,amsthm,hyperref,thref]{ntheorem}
\usepackage{biblatex}
\addbibresource{thesis.bib}
\newtheorem{theorem}{定理}[section]

\begin{document}

\chapter{intro}
\begin{theorem}[ \parencite{revuz} Theorem 4]\label{thm1}
   This is a theorem environment, used to state a theorem.
\end{theorem}
\begin{proof}
 This is a proof of\thref{thm1}.
\end{proof}

\end{document}

一切正常。

然而如果把正文纳入\include中：

\documentclass[fontset=fandol]{ctexbook}
\begin{filecontents*}[overwrite]{thesis.bib}
@book{revuz,
  title     = {Continuous Martingales and Brownian motion},
  author    = {Revuz, Daniel and Yor, Marc},
  year      = {1999},
  publisher = {Springer},
  location  = {Berlin}
}
\end{filecontents*}
\begin{filecontents*}[overwrite]{test.tex}
\chapter{intro}
\begin{theorem}[ \parencite{revuz} Theorem 4]\label{thm1}
   This is a theorem environment, used to state a theorem.
\end{theorem}
\begin{proof}
 This is a proof of\thref{thm1}.
\end{proof}
\end{filecontents*}
\usepackage{amsmath}
\let\proofname\relax
\usepackage[amsmath,thmmarks,amsthm,hyperref,thref]{ntheorem}
\usepackage{biblatex}
\addbibresource{thesis.bib}
\newtheorem{theorem}{定理}[section]

\begin{document}

\include{test.tex}

\end{document}

这将会导致：

! Extra \else.
\@include ...ediate \closeout \@partaux \fi \else 
                                                  \deadcycles \z@ \@nameuse ...
l.29 \include{test.tex}
                       
? 

Hint by codex

! Extra else.
@include ... fi else ...
l.194 include{chapter1}

真正必要的最小触发链是：

usepackage[amsmath,thmmarks,amsthm,hyperref,thref]{ntheorem}
...
begin{theorem}[parencite{revuz} Theorem 4]label{thm1}
...
end{theorem}

thref{thm1}

也就是：

1. ntheorem 开启 hyperref,thref
2. 定理标题写入 .thm
3. 定理标题含 parencite
4. 后面调用 thref

不用 include 时，你已经能看到核心症状：

Package hyperref Warning: Suppressing link with empty target
(end occurred when ifx ... was incomplete)

用了 include 后，同一个内部条件未闭合问题会在 include 收尾宏里爆成 Extra else。所以如果你要构造“机制 MWE”，可以不用 include；如
果你要复现和原工程完全一致的报错文本，就需要 include。

Background

该问题源自某份（有一定年份，但不多）的模板，这里仅作背景补充用，贴上部分导言区：

\documentclass[UTF8,a4paper,twoside,zihao=-4,AutoFakeBold=2,reqno]{ctexbook}
\usepackage{mathrsfs}
\usepackage{amsmath, amssymb, amscd}%amsthm, %\usepackage{amsthm}
\usepackage{latexsym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage[usenames,dvipsnames]{xcolor}%\usepackage[a-1b]{pdfx}
\usepackage{amsfonts}
\usepackage{bookmark}
\usepackage{hyperref}
\definecolor{tianyi}{HTML}{1A237E}
\definecolor{secondary}{HTML}{1B5E20}
\let\proofname\relax
\usepackage[amsmath,thmmarks,amsthm,hyperref,thref]{ntheorem}
\usepackage[backend=biber,bibstyle=gb7714-2015,citestyle=gb7714-2015,gblocal=gb7714-2015,gbalign=gb7714-2015,block=space,url=false,doi=false,gbfieldtype = true,backref=true]{biblatex}
\addbibresource[location=local]{thesis.bib}
\usepackage{graphicx}
\usepackage{caption}
\usepackage{subfigure}
\usepackage{float}
\usepackage{tikz}
\usepackage{dsfont}
\usepackage{lipsum}
\usepackage{zhlipsum}
\usepackage[subfigure]{tocloft}
\renewcommand{\cftchapleader}{\cftdotfill{\cftdotsep}}
\renewcommand\contentsname{\zihao{3}\heiti \hspace*{\fill}目\quad 录\hspace*{\fill}}
\usepackage{fancyhdr}
\usepackage{setspace}
\usepackage{bbm}
\ctexset{
    chapter={
        format={\heiti\zihao{3}\centering\bfseries},%章标题格式
        number={\arabic{chapter}},
        afterskip={15.05625pt},
        beforeskip={-30pt},%这里设置的是章标题与上页边距的距离. 默认时是比较大的. 记得自己设置
        },
    section={
        format={\heiti\zihao{-3}\centering\bfseries},% 节标题格式
        afterskip={15.05625pt},
        beforeskip={7pt},
    },
    subsection={
        format={\heiti\zihao{4}\indent},%小节标题格式
        beforeskip={7pt},
        afterskip={15.05625pt},
    },
}
\newcommand{\nomenclatureitem}[3][ ]{%
    \noindent\makebox[0.15\textwidth][l]{#2}{{#3}\hfill{#1}}\par
}
\newcommand{\Unit}[1]{\,\mathrm{#1}}
\newcommand{\norm}[1]{\left\Vert #1\right\Vert}
\newcommand{\abs}[1]{\left\vert #1\right\vert}
\newcommand{\cRed}[1]{\textcolor{red}{#1}}
%%%%%%%%%%%%%%%%%下面两个命令主要是用来盲审屏蔽作者信息的, 有需求的可以使用
\newcommand{\censor}[1]{#1}
\newcommand{\starcensor}[1]{#1}

\allowdisplaybreaks
\makeatletter 
\renewtheoremstyle{plain}% 
{\item[\hskip\labelsep \theorem@headerfont ##1\ ##2\theorem@separator]}% 
{\item[\hskip\labelsep \theorem@headerfont ##1\ ##2\ \normalfont({##3})\theorem@separator]} 
\makeatother 
\theoremstyle{plain}
\theorembodyfont{\itshape}
\theoremheaderfont{\normalfont\bfseries}
\theoremseparator{\textbf{.}}
\newtheorem{theorem}{定理}[section]
\newtheorem{corollary}[theorem]{推论}
\newtheorem{proposition}[theorem]{命题}
\newtheorem{lemma}[theorem]{引理}
\newtheorem{nature}[theorem]{性质}
\newtheorem{remark}[theorem]{注记}
%\theoremstyle{definition}
\newtheorem{definition}[theorem]{定义}
\newtheorem*{remarkn}{注记}
\newtheorem{example}[theorem]{示例}
\newtheorem{Assumption}[theorem]{假定}
\newtheorem{hypothesis}[theorem]{假设}
\renewcommand{\proofname}{\indent 证明}
\renewcommand\thesection{\thechapter{}.\arabic{section}}
\renewcommand\thetable{\thechapter{}.\arabic{table}}
\renewcommand\thefigure{\thechapter{}.\arabic{figure}}
\newcommand{\headingstobeshown}{}
\newcommand{\set}[1]{\{#1\}}
\newcommand*{\dif}{\mathop{}\!\mathrm{d}}
\newcommand{\RomanNum}[1]{\uppercase\expandafter{\romannumeral #1\relax}}
\newcommand{\etal}{\text{et al.\ }}

查看更多