如何在另一个模板函数中调用模板函数

How can I call a template function in another template function

本文关键字：函数 调用 另一个      更新时间：2024-03-29

我尝试在C++14中编写一个通用打印函数。但是模板printItem函数无法实例化。

template <class T>
void printItem(T t)
{
std::cout << t << std::endl;
}
template <class T>
void printVector(T t)
{
for_each(t.begin(), t.end(), printItem);
}
int main()
{
std::vector<std::string> vs = {"word1", "word2"};
printVector(vs);
}

此代码导致编译器错误：

no matching function for call to 
'for_each(std::vector<std::__cxx11::basic_string<char> >::iterator, std::vector<std::__cxx11::basic_string<char> >::iterator, <unresolved overloaded function type>)'

printItem是一个函数模板，它不能推导参数类型，因此需要指定，如下所示：

for_each(t.begin(), t.end(), printItem<typename T::value_type>);

此外，printItem中似乎有一个拼写错误。您根本不需要取消引用t。

如果您没有在其他地方使用此函数，那么您可以使用lambda内联定义它，如下所示：

for_each(t.begin(), t.end(), [](auto s) { std::cout << s << std::endl; });

请注意，在这种情况下，lambdaoperator()也是模板化的，但是类型可以推导出来，所以没关系。

此外，在我看来，std::for_each通常是一种代码气味。它可以被可读性更强的取代

for (auto const &s : t)
std::cout << s << std::endl;

编译器无法知道您想要哪个printItem专业化，并且根据当时的标准可以获得信息。

因此，此语法在此不可用。

这就是您所需要的：

for_each(t.begin(), t.end(), printItem<typename T::value_type>);

能够做到这一点正是容器需要定义类型别名(如value_type(的原因；你最终需要到处都是。

语言上的限制？可能但它确实有助于避免出现角落案件。

不过，在这里必须使用typename确实是一件令人烦恼的事情。

老实说，如果你只使用一个循环，你的代码会更容易、更清晰：

for (const auto& item : t)
printItem(item);

在范围和所有这些可爱的东西的时代，for_each对普通情况不再那么有用了。

此外，通过引用-const获取参数，并删除错误的取消引用。我还将删除重复的std::endl，它正在执行您不需要的流刷新。

template <class T>
void printItem(const T& t)
{
std::cout << t << 'n';
}
template <class T>
void printVector(const T& t)
{
for (const auto& item : t)
printItem(t);
}
int main()
{
std::vector<std::string> vs = {"word1", "word2"};
printVector(vs);
}

最后，让像printItem这样的函数引用您想要使用的流是一个好主意，这样您就可以选择(比如(std::stringstream，而不是仅std::cout。

相关文章：