Visual C++无法推导模板模板参数：C++17隐式推导编译异常问题

该问题本质是MSVC编译器对C++17模板模板参数推导规则的实现缺陷，测试代码在C++17标准下完全合法，不存在语法缺陷，也不存在标准层面的解释歧义。

• 测试代码中的f函数声明，使用了可变参数形式的模板模板形参：template< template <typename...> typename container >，目标是接受任意可以用单个int类型实例化的类模板作为实参。
• 标准库中std::vector的完整定义是带两个类型模板参数的：template<class T, class Allocator = std::allocator<T>> class vector;，第二个模板参数带有默认实参。
• C++14及更早版本的标准要求：模板模板形参与实参匹配时，必须严格比对模板参数列表的结构，不允许借助类模板的默认实参完成匹配。这种规则下，双参数的std::vector是无法匹配仅接收单参数的模板模板形参的，无论形参是否使用可变参数包声明。
• C++17标准修改了这一匹配规则（对应条款[temp.temp]第5段）：匹配模板模板实参与形参时，需要将类模板的默认模板参数纳入匹配逻辑，只要补全默认参数后的列表能够完成实例化，就视为匹配有效。按照这一规则，std::vector哪怕有两个模板参数，只要第二个参数有默认值，就可以匹配带typename...参数包的模板模板形参，顺利完成隐式推导。

• GCC、Clang的实现完全符合C++17新规则：在推导f(seq)的模板参数时，自动识别std::vector的默认模板参数，将其匹配到container形参，顺利完成编译。
• MSVC的实现存在兼容性缺陷：在C17模式下仍沿用C14的严格匹配逻辑，推导时仅比对模板参数的显性数量，不考虑默认模板参数的补全能力——看到std::vector是双参数模板，就判定和container的模板模板形参无法匹配，抛出编译错误。
• 当用户显式指定模板参数为f<std::vector>(seq)时，所有编译器都能正常编译，是因为该场景跳过了隐式推导流程，直接将std::vector作为container的实参传入，实例化时自动使用第二个参数的默认值，不需要触发推导逻辑。

• 不存在标准解释歧义：C++17修改这一匹配规则的明确初衷，就是让带默认模板参数的标准容器可以和可变参数形式的模板模板形参正常匹配，GCC与Clang的实现完全贴合标准文本的要求，MSVC的实现属于未完成对齐的已知缺陷。
• 测试代码本身没有语法问题：触发MSVC编译错误纯粹是因为其规则实现的兼容性问题，和代码写法是否符合C++17规范无关。如果需要兼容旧版本MSVC，可以通过简单的别名适配（比如为std::vector增加不带分配器参数的模板别名）解决，不需要重构核心模板逻辑。

内容的提问来源于stack exchange，提问作者Arjonais