是默认模板模板参数值推导上下文？

Question

我真的很惊讶gcc和clang都接受这个代码:

#include <iostream>
#include <vector>
#include <type_traits>

template <class T, template <class, class = T> class TT, class Y>
T foo(TT<Y>) {
}

int main() {
    static_assert(std::is_same<decltype(foo(std::vector<int>{})), std::allocator<int>>::value);
}

gcc和clang是正确的,默认模板模板参数的值是推导上下文还是编译器扩展？

Answer 1

当你写作

template <class T, template <class, class = T> class TT, class Y>
T foo(TT<Y>);

它相当于

template <class T, template <class, class = T> class TT, class Y>
T foo(TT<Y, T>);

所以T可以推断出来.