为什么参数推断在此模板模板参数中不起作用

Why parameter deduction doesn't work in this template template parameter

本文关键字：参数 不起作用 为什么      更新时间：2023-10-16

>我有以下模板函数，该函数以模板模板参数作为其参数。

template<typename T, 
         template <typename... ELEM> class CONTAINER = std::vector>
void merge(typename CONTAINER<T>::iterator it )
{
   std::cout << *it << std::endl;
}

下面的代码使用此代码。

std::vector<int> vector1{1,2,3};
merge<int>(begin(vector1));

它按预期工作，但是当我使用 

merge(begin(vector1));

它无法推断出T的类型。

我认为它可以从std::vector<int>::iterator it;推断出类型int.

为什么编译器无法推断类型？

我认为它可以从std::vector<int>::iterator it;推断出 int 的类型。

为什么编译器无法推断类型？

不。

编译器不能：查找"非推导上下文"以获取更多信息。

并且期望扣除是不合理的。

假设一个类

如下所示 
template <typename T>
struct foo
 { using type = int; };

其中类型type总是int;无论T类型是什么。

并假设一个函数如下

template <typename T>
void bar (typename foo<T>::type i)
 { }

接收int值(typename foo<T>::type始终int(。

应该从下面的调用中推断出哪种T类型？

bar(0);
相关文章：