0

我正在尝试创建一个查询函数，让我查询 STL 容器的某些元素特征，然后返回结果集。它实际上只是围绕正常 STL 操作（特别是 copy_if 和 back_inserter）的语法糖。

#include <string>
#include <tuple>
#include <functional>
#include <vector>

// This is the query function, it compiles fine
template<typename T, typename ... U>
T query(T const& input, std::function<bool(std::tuple<U...> const& row)> pred)
{
    T result;
    std::copy_if(std::begin(input), std::end(input), std::back_inserter(result), pred);
    return result;
}

// Define my Row, with each column having a type
using Row = std::tuple<int, float, std::string>;

int main()
{
    // Create a sample vector of Rows
    std::vector<Row> vec;
    for(size_t i = 0; i < 100; ++i)
        vec.emplace_back(i, 5.0f, "hello");

    // This is how I would perform the query 
    // **** This is the line that doesn't compile due to template arg deduction failure ****
    auto result = query(vec, [](Row const& row) -> bool { return true; });
    return 0;
}

这是编译器输出（Clang 3.3）

main.cpp:27:19: error: no matching function for call to 'query'
    auto result = query(vec, [](Row const& row) -> bool { return true; });
                  ^~~~~
main.cpp:8:3: note: candidate template ignored: failed template argument deduction
T query(T const& input, std::function<bool(std::tuple<U...> const& row)> pred)
  ^
1 error generated.
4

1 回答 1

2

lambda 不是std::function，它是具有重载的类类型operator()，两者是不同的类型。该query函数需要一个std::function<...>参数，而模板参数推导要求类型完全匹配（除了 cv 限定符），因此从 lambda 表达式到的转换std::function永远不会被推导。

当然，一种解决方案是std::function在调用之前构造一个query

auto result = query(vec, 
                    std::function<bool(Row const&)>(
                        [](Row const&) { return true; }));

另一种选择是改变你的功能本身

template<typename T, typename UnaryPredicate>
T query(T const& input, UnaryPredicate&& pred)
{
    T result;
    std::copy_if(std::begin(input), std::end(input), 
                 std::back_inserter(result), std::forward<UnaryPredicate>(pred));
    return result;
}

现在可以使用您的原始代码调用它。

现场演示

于 2014-03-11T18:43:37.793 回答