容器的模板参数推导

我的问题是,我不知道如何在不使用伪参数的情况下强制编译器推导模板参数。下面是一个不起作用的例子:

template<int I, class C, class T, std::size_t N>
inline typename std::enable_if<
  std::is_same<C, std::array<T, N> >::value,
  std::array<T, N> >::type
create_container()
{
  std::array<T, N> array;
  // I is used somewhere
  return array;
}

以下是一个工作示例:

template<int I, typename T, std::size_t N>
std::array<T, N> create_container(std::array<T, N> const&) // dummy parameter helps deduction
{
  std::array<T, N> array;
  // I is used somewhere
  return array;
}

模板参数 C 在第一个示例中指定要实例化的容器,但在第二个示例中,函数是基于伪参数选择的。SFINAE或其他魔法可能吗?我们想到了部分模板专门化,但函数模板是不可能的。

create_container 是这样称呼的:

template <std::size_t O, typename R, typename ...A, std::size_t ...I>
inline R forward(R (*f)(A...), indices<I...>)
{
  return (*f)(create_container<I + O, A>()...);
}