开始使用C++11特性,碰到一些问题。以下写了一个快速排序的函数模板,划分操作的比较函数使用一个std::function<int(T,T)>的参数接收,而在main中使用函数模板接收一个lambda函数[](int a, int b) -> int {return a < b;}时报错,函数不匹配。这里该如何处理?
#include <iostream>
#include <functional>
template <typename T>
void Swap(T *a, T *b) {
T tmp = *a;
*a = *b;
*b = tmp;
}
template <typename T>
int partition(T array[], int low, int high, const std::function<int(T, T)> &cmp) {
int i = low - 1;
T x = array[high];
for (int j = low; j < high; j++) {
if (cmp(array[j], x)) {
i++;
Swap(&array[j], &array[i]);
}
}
Swap(&array[i + 1], &array[high]);
return i + 1;
}
template <typename T>
void quicksort(T array[], int low, int high, const std::function<int(T, T)> &cmp) {
if (low < high) {
int mid = partition(array, low, high, cmp);
quicksort(array, low, mid - 1, cmp);
quicksort(array, mid + 1, high, cmp);
}
}
int main() {
std::cout << "Hello, World!" << std::endl;
int arr[] {5, 3, 9, 1, 6, 2};
quicksort(arr, 0, 5, [](int a, int b) -> int {
return a < b;
});
for(auto item: arr) {
std::cout << item << " ";
}
std::cout << std::endl;
return 0;
}
报错信息:
E:\Project\DesignPattern\main.cpp: In function 'int main()':
E:\Project\DesignPattern\main.cpp:39:6: error: no matching function for call to 'quicksort(int [6], int, int, main()::<lambda(int, int)>)'
});
^
E:\Project\DesignPattern\main.cpp:26:6: note: candidate: template<class T> void quicksort(T*, int, int, const std::function<int(T, T)>&)
void quicksort(T array[], int low, int high, const std::function<int(T, T)> &cmp) {
^
E:\Project\DesignPattern\main.cpp:26:6: note: template argument deduction/substitution failed:
E:\Project\DesignPattern\main.cpp:39:6: note: 'main()::<lambda(int, int)>' is not derived from 'const std::function<int(T, T)>'
});
^
lambda轉換成
const std::function<int(T, T)>&
前無法幫助推導出T的型態.可以增加個輔助類先確定
std::function
的型,再進行lambda的隱式轉換.型別推導時不會進行使用者自訂的型別轉換,也就是不會進行從lambda表達式到std::function的轉換。所以這裡跪了。
你這裡需要的是一個BinaryPredicate。直接寫Fn &&fn即可。然後對Fn進行一下BinaryPredicate的檢查。
或是把T變成一個non deduction context,例如
或