c++ - 如何默认构造迭代器的value_type作为函数中的默认参数？

Question

这是可憎的:

template <typename BidirIt, typename OutputIt, typename T,
          typename BinaryDoOp, typename BinaryUndoOp>
void sliding_window(BidirIt first, BidirIt last, OutputIt d_first,
                    typename std::iterator_traits<BidirIt>::difference_type length,
                    T init = typename std::iterator_traits<BidirIt>::value_type(),
                    BinaryDoOp op = std::plus<>{},
                    BinaryUndoOp undo = std::minus<>{})

所以我想要T成为std::iterator_traits<BidirIt>::value_type默认情况下，默认构造一个该类型的对象，并为其命名 init .

在解决了在一行中拟合一些变量类型的问题后，我发现编译器无法推导出T。 ，这里是它的确切内容:

error: no matching function for call to 'sliding_window' sliding_window(v.begin(), v.end(), output.begin(), window_length/, 0, std::plus<>(), std::minus<>()/);

note: candidate template ignored: couldn't infer template argument 'T' void sliding_window(BidirIt first, BidirIt last, OutputIt d_first,

我的编译器是 clang++-3.9。

调用站点代码:

std::vector<int> v(window_length + window_count - 1);
std::iota(v.begin(), v.end(), 0);

std::vector<int> output(window_count);
std::vector<int> correct_result{3, 6, 9, 12};

sliding_window(v.begin(), v.end(), output.begin(), window_length/*, 0, std::plus<>(), std::minus<>()*/);

当注释部分未注释时，代码可以正常工作。

根据我对模板的了解，它应该能够推断出该类型，因为它实际上是那里的默认构造函数调用，它应该产生 std::iterator_traits<BidirIt>::value_type .当函数以类型为模板时，我是否对默认参数类型的工作方式有任何误解？

问题:如何解决？如果能再添加一些解释就更好了。

Answer 1

模板类型无法从默认的模板化参数中推断出来:C++14 lambda's default argument type deduction depending on preceding arguments .至于如何修复它，您需要默认类型:

template <typename BidirIt, typename OutputIt,
    typename T = typename std::iterator_traits<BiDirIt>::value_type,
    typename BinaryDoOp = std::plus<>,
    typename BinaryUndoOp = std::minus<>>
void sliding_window(BidirIt first, BidirIt last, OutputIt d_first,
                typename std::iterator_traits<BidirIt>::difference_type length,
                T init = T{},
                BinaryDoOp op = BinaryDoOp{},
                BinaryUndoOp undo = BinaryUndoOp{})

另一种方法也是重载函数，其中具有较少模板参数/参数的函数调用具有更多模板参数/参数的函数，并在调用站点处理默认设置。这是 std::accumulate 使用的方法:http://en.cppreference.com/w/cpp/algorithm/accumulate .然后你会有多个函数，所以那里有一些重复，但每个函数都更具可读性。