将std::min
传递给函数不会编译。我将std::min
的libcpp声明复制到我的源文件中,它可以工作。
std版本有什么问题? clang和gcc也是如此。在godbolt上进行测试:https://godbolt.org/g/zwRqUA
#include <thread>
#include <algorithm>
namespace mystd {
// declaration copied verbatim from std::min (libcpp 4.0)
template <class _Tp> inline constexpr const _Tp&
mymin(const _Tp& __a, const _Tp& __b)
{
return std::min(__a, __b);
}
}
int main()
{
std::thread thr1(std::min<int>, 2, 3); // compile error
std::thread thr2(mystd::mymin<int>, 2, 3); // works
return 0;
}
clang和gcc的错误:
[x86-64 clang 5.0.0 #1] error: no matching constructor for initialization of 'std::thread'
[x86-64 gcc 7.2 #1] error: no matching function for call to 'std::thread::thread(<unresolved overloaded function type>, int, int)'
[x86-64 gcc 7.2 #1] note: couldn't deduce template parameter '_Callable'
答案 0 :(得分:8)
为一个模板参数重载了两个模板函数min
。他们是
template<class T> constexpr const T& min(const T& a, const T& b);
和
template<class T>
constexpr T min(initializer_list<T> t);
因此编译器不知道选择哪一个。
您可以使用函数指针的显式转换来告诉编译器您的意思。
或者您可以使用中间指针。例如
const int & ( *operation )( const int &, const int & ) = std::min<int>;
然后使用指针operation
代替函数std::min
。
答案 1 :(得分:3)
你可以将std::min
包裹在lambda中,如下所示:
std::thread thr1([](int a, int b) { return std::min(a, b); }, 2, 3);
没有lambda包装器它不起作用,因为模板参数模糊,就像莫斯科的@Vlad解释的那样。