是否保证模板模板参数调用用户提供的推导指南

Question

考虑一个例子：

#include <type_traits>
#include <string>

template <template <class> class TT> //#1
struct Foo {
   static void foo() {
      static_assert(std::is_same_v<decltype(TT("abc")), TT<std::string>>);
   }
};

template <class T>
struct Bar {
    Bar(T) {}
};

template <class T>
Bar(T) -> Bar<std::string>; //#2

int main() {
    Foo<Bar>::foo();
}

[clang] 和[gcc] 在推导模板模板参数（#1）的模板参数时，似乎都使用了用户提供的推导指南（#2）。它是符合标准的功能吗？

Answer 1

是的，这是符合标准的。

根据[dcl.type.simple]/2：

typename_optnested-name-specifier_opt 形式的类型说明符 >template-name 是推导的类类型 ([dcl.type.class.deduct]) 的占位符。 template-name 应该命名一个不是注入类名的类模板。

还有[temp.param]/3:

一个type-parameter，其标识符不跟在省略号后面，将其标识符定义为一个typedef-name（如果声明时没有template）或模板-name（如果用template 声明）在模板声明的范围内。

TT 是一个用template 声明的类型参数，这使它成为一个模板名称，因此是一个推导类类型的占位符。所有通常的规则都适用。