使用函数参数返回类型解析模板重载
我正在尝试包装几个使用C风格的“调用-分配-再次调用”模式的第三方库函数(应该有一个更好的名称)。例如：
int EnumerateFoo(float f, uint32_t* count, float* buf) {
if (!buf) {
*count = 3;
return 0;
}
if (*count < 3) {
cout << "buffer too small\n";
return -1;
}
buf[0] = f;
buf[1] = f + f;
buf[2] = f * f;
return 0;
}
// ...
uint32_t count = 0;
int ret = EnumerateFoo(3.14f, &count, nullptr);
if (ret) return ret;
float* buf = new float[count];
ret = EnumerateFoo(3.14f, &count, buf);
if (ret) return ret;我想把它包装起来，这样就可以更简洁地调用像这样的函数。理想情况下，我可以这样调用它们，例如：
vector<float> vec = WrapEnumerate(EnumerateFoo, 3.14f);我得到的最接近的结果如下所示(使用std::bind，因为count/buffer参数并不总是处于相同的参数索引)：
template<class T>
vector<T> EnumToVec(function<int(uint32_t*,T*)> fn) {
vector<T> ret;
uint32_t count = 0;
if(fn(&count, nullptr))
return vector<T>();
ret.resize(count);
if(fn(&count, ret.data()))
return vector<T>();
return ret;
}
// ...
auto vec = EnumToVec<float>(bind(
EnumerateFoo, 3.14f, placeholder::_1, placeholder::_2));这可以很好地工作，但不幸的是，一些库函数使用void返回类型，而不是int。我曾尝试创建一个重载的EnumToVec，将function<int...替换为function<void...，但是编译器说调用是不明确的。
如何创建仅通过函数参数的返回类型来消除歧义的重载？注意:这不仅仅是基于函数返回类型的重载，我知道您不能这样做。我知道我可以创建一个EnumToVecNoReturn替代，但我希望有一个更简单的方法。我怀疑SFINAE可能适用于这里，但我对这些技术不熟悉。
回答 1
Stack Overflow用户
发布于 2019-06-28 08:22:56
问题是std::bind返回的值可以转换为std::function，但不是std::function。
这是一个鸡蛋和鸡的问题。
当你调用
EnumToVec<float>(std::bind(EnumerateFoo, 3.14f, _1, _2));您会发现编译器无法在void和int版本之间进行选择，因为EnumVec没有接收到std::function值；也没有接收到std::function，因为编译器无法在void和int版本之间做出选择。
一种可能的解决方案是显式创建正确的std::function和调用EnumToVec
std::function<int(uint32_t *, float *)> ef { std::bind(EnumerateFoo, 3.14f, _1, _2) };
auto vecFoo = EnumToVec(ef);注意到您可以避免显式地使用float模板参数，因为可以通过ef来推导。
另一种可能的解决方案是提供std::function，接收作为泛型typename的可执行文件，并根据函数返回的类型启用/禁用这两个函数
像这样的东西
template <typename T, typename F>
auto EnumToVec (F const & fn)
-> std::enable_if_t<std::is_same_v<
decltype(fn(std::declval<std::uint32_t*>(), std::declval<T*>())),
int>, std::vector<T>>
{ //....^^^ int here
vector<T> ret;
uint32_t count = 0;
if(fn(&count, nullptr))
return vector<T>();
ret.resize(count);
if(fn(&count, ret.data()))
return vector<T>();
return ret;
}
template <typename T, typename F>
auto EnumToVec (F const & fn)
-> std::enable_if_t<std::is_same_v<
decltype(fn(std::declval<std::uint32_t*>(), std::declval<T*>())),
void>, std::vector<T>>
{ // ...^^^^ void here
vector<T> ret;
uint32_t count = 0;
fn(&count, nullptr);
ret.resize(count);
fn(&count, ret.data());
return ret;
}所以你可以打电话给
auto vecFoo = EnumToVec<float>(std::bind(EnumerateFoo, 3.14f, _1, _2));但解释T类型名称是因为不能推断。
https://stackoverflow.com/questions/56799505
复制相似问题