如何使用typename和非typename模板参数调用泛型函数？

Question

我需要用下面的原型实现一个函数：

template<typename Iterator, size_t NBITS>
void radix_sort(Iterator first, Iterator last) {

// some code

}

如果没有迭代器模板参数，它会自己找出迭代器是什么，并且我会在没有<>的情况下调用函数。在这里，我想在调用函数时指定NBITS的值。

我不确定在这种情况下是否也需要提供Iterator的类型，以及如何提供。

当我为NBITS提供值时，我是否可以调用它，使其能够自己识别迭代器

注意:我不能编辑原型

Answer 1

对于当前的函数模板，如果还想指定size_t参数，则需要显式地提供Iterator模板参数。您可以通过将第一个参数的类型传递给函数来完成此操作

std::vector<int> v;
radix_sort<decltype(v.begin()), 42>(v.begin(), v.end());

为了避免必须在调用点指定Iterator，您可以添加另一个重载来交换模板参数，并使用推导出的类型调用重载

template<std::size_t NBITS, typename Iterator>
void radix_sort(Iterator first, Iterator last) 
{
    radix_sort<Iterator, NBITS>(first, last);
}