为什么替换在此功能模板中失败

i具有一组模板函数，该功能接收索引（示例中是int），并返回给定类型的值，我使用sfinae将std::string与算术类型分开：

// 1
template <typename T>
typename std::enable_if<std::is_arithmetic<T>::value, T>::type
t(int) { ... }
// 2
template <typename T>
typename std::enable_if<std::is_same<std::string, T>::value, T>::type
t(int) { ... }
// 3
template <template <typename ...> class T, typename ... P>
T<P ...> t(int) { ... }

另外，还有一个函数接收容器并使用上面的功能填充它：

template <typename C>
C c(int)
{
    C r{};
    std::insert_iterator<C> iterator(r, r.begin());
    *iterator = t<typename C::value_type>(0);
    return r;
}

t的目标是分开 numbers 和 strings ，但是如果提供了一对（因为它来自关联容器），则t应分配每个两种不同的t调用中的配对组件与第一类和第二种类型。

虽然对非求和容器进行了应有的作用，但使用关联容器汇编失败：

using vi = std::vector<int>;
using mii = std::map<int, int>;
auto o = c<vi>(0);  // Deserialize vector
auto p = c<mii>(0); // Deserialize map

汇编失败了容器的一个元素：

*iterator = t<typename C::value_type>(0);

对于非缔合容器C::value_type是一种符合t的前两个版本的条件之一的类型，但是对于关联容器C::value_type是一对，对于t的版本＃1和2，但应失败＃3 t功能的版本;问题是其中三个失败了：

error: no matching function for call to 't'
*iterator = t<typename C::value_type>(0);
            ^~~~~~~~~~~~~~~~~~~~~~~~~
note: in instantiation of function template specialization 'c<std::map<int, int>>' requested here
auto p = c<mii>(0);
         ^
note: candidate template ignored: requirement 'std::is_arithmetic<pair<const int, int> >::value' was not satisfied [with T = std::pair<const int, int>]
t(int) { ... }
^
note: candidate template ignored: requirement 'std::is_same<std::string, pair<const int, int> >::value' was not satisfied [with T = std::pair<const int, int>]
t(int) { ... }
^
note: candidate template ignored: invalid explicitly-specified argument for template parameter 'T'
T<P ...> t(int) { ... }
         ^

显然，编译器抱怨缺乏模板 - 网板参数，但是如果我摆脱了sfinae，误差消失了：

template <typename T>
T
t(int) { return {}; }
template <template <typename ...> class T, typename ... P>
T<P ...> t(int) { return {}; }
template <typename C>
C c(int)
{
    C r{};
    std::insert_iterator<C> iterator(r, r.begin());
    *iterator = t<typename C::value_type>(0);
    return r;
}
int main()
{
    using vi = std::vector<int>;
    using mii = std::map<int, int>;
    auto o = c<vi>(0);
    auto p = c<mii>(0);
    // print 0
    for (auto &v : o) std::cout << v << 'n';
    // print 00
    for (auto &v : p) std::cout << v.first << v.second << 'n';
    return 0;
}

看来Sfinae强迫需要进行模板模板参数而不是推论，为什么会发生这种情况？我应该如何解决？

代码可在 wandbox三三（へ՞ਊ）中找到。。