使用显式模板参数列表和[temp.arg.explicit]/3的函数调用的演绎失败

Question

C 17标准（最终草案）的[temp.arg.explicit]/3说明了使用显式指定的模板参数列表推导函数模板参数：

在扣除完成且失败的情况下，或[...]，如果指定了模板参数列表，并且它与任何默认模板参数一起标识了单个函数模板专门化，则template-id是函数模板专门化的左值。

这如何应用于参数包？

认为

template<typename...>
struct S {
    S(int) {}
};

template<typename... A>
void f(S<A...>) {}

int main() {
    f<int>(0);
}

这可以在MSVC上编译，但不能在GCC和Clang上编译，请参见godbolt。这也是我的直觉，它应该失败，因为演绎将失败，但上面的引语似乎暗示，即使演绎失败，因为＜code＞f

我对这句话的理解有什么错误，或者MSVC真的正确吗？

请注意，如果我们试图调用< code>f

Answer 1

有一个开放的核心语言问题（问题2055：显式指定的非推导参数包）与这种情况密切相关。

根据我对这个问题中隐含说明的理解，其意图是编译器应该像MSVC一样运行，但标准据说不够清晰。

Answer 2

这无关紧要。没有“没有重载解析”的函数调用。CWG2092明确了这一点。

[temp.over]/1控制（为了可读性而分开；重点是我的）：

当写入对函数或函数模板名称的调用时（显式地或隐式地使用运算符表示法），对每个函数模板执行模板参数推导（[temp.decrete]）和任何显式模板参数（[temm.arg]）的检查，以找到可与该函数模板一起使用的模板参数值（如果有），从而实例化可与调用参数一起调用的函数模板专用化。

对于每个函数模板，如果参数演绎和检查成功，则模板参数（推断和/或显式）用于合成单个函数模板专用化的声明，该专用化将添加到要用于重载解析的候选函数集中。

如果对于给定的函数模板，参数推导失败或合成的函数模板特化格式错误，则不会将此类函数添加到该模板的候选函数集中。完整的候选函数集包括所有合成的声明和所有同名的非模板重载函数。合成的声明在重载解析的其余部分中被视为与任何其他函数一样，除非在[over.match.best]中明确指出。

Answer 3

与这个问题相关的还有[temp.arg.explicit]/6，它告诉我们函数参数的隐式转换（如您在上面所希望的）是

如果参数类型不包含参与模板参数推断的模板参数。[ 注意：如果显式指定了模板参数，则不参与模板参数推断。[...]]

所以，现在的问题是A...是否参与模板参数推导。（在这一点上，我想注意到，如果我们用一个模板参数替换参数包，OPs代码也会在gcc/clang下编译，因为它应该是显式指定的）。

有人可能会说< code>A...是显式指定的，因此不参与推导。但我认为其中一个是错误的。[temp.arg.explicit]/9告诉我们，演绎可以扩展显式指定的模板参数列表。因此，< code>f

换句话说，f