函数模板的显式专业化声明中的尾随模板参数的推论(无函数参数推导)
(This question is a branch-out from the discussion in the comments of Template specialization of variable template and type deduction.)
[temp.expl.spec]/10 states that [emphasis mine]:
A trailing
template-argument
can be left unspecified in the
te...