将成员函数传递给模板函数时出现语法错误

时间:2019-02-13 11:48:49

标签: c++ templates variadic-templates

首先,我使用C ++ 17标准。

我遇到问题的代码可以正常工作,除非我尝试在具有相同模板功能的类中使用它。

下面的代码行:

    auto t = make_tuple_seq(std::make_index_sequence<numArgs>{}, &lzuint<T, A...>::helper);

原因是类似“ t无法初始化”之类的10个编译错误,我坦率地说看不出原因。

我以前的尝试是使用lambda函数而不是helper成员函数,这也导致了无法读取的错误。

在这里,我提供最小的代码:

#include <iostream>
#include <vector>
#include <functional>
#include <string>
#include <tuple>
template<typename _func, size_t... I>
auto make_tuple_seq(std::index_sequence<I...>, _func&& func)
{
    return std::make_tuple(func(I)...);
}
constexpr const auto numArgs = 2;
template<typename T, typename... A>
class lzuint
{
protected:
    size_t helper(size_t i)
    {
        return this->body.size() - numArgs + i;
    }
public:
    lzuint(const std::function<T(A...)>& func, A... args) : f(func), body({ args... }) {}

    const uint32_t& operator[](size_t index)
    {
        auto t = make_tuple_seq(std::make_index_sequence<numArgs>{}, &lzuint<T, A...>::helper);
        while (body.size() - 1 < index)
            body.push_back(std::apply(f, std::move(t)));
        return body[index];
    }
private:
    std::vector<T> body;
    std::function<T(A...)> f;
};
using ullong = unsigned long long;
int main()
{
    auto tup = make_tuple_seq(std::make_index_sequence<N>{}, [&v](size_t i) {return v[i]; });//Note:this one works just fine
    lzuint<uint32_t, uint32_t, uint32_t> lzu([](uint32_t i, uint32_t j) { return i + j; }, 1, 1);
    lzu[1];
    lzu[10];
    lzu[11];
    lzu[12];
    lzu[13];
    return 0;
}

任何帮助将不胜感激,因为我目前正试图通过创建类似于“惰性评估”技术的模拟来了解可变参数模板。

我得到的第一个错误是

source.cpp(19): error C2064: term does not evaluate to a function taking 1 arguments

1 个答案:

答案 0 :(得分:2)

lzuint<T, A...>::helper是一个非静态成员函数。它需要一个对象被调用。该对象(在函数内部成为this指针)通常作为隐藏的第一个参数传递,因此该消息表明该函数不带一个参数。

有两种方法可以解决此问题:使用lambdas

auto t = make_tuple_seq(std::make_index_sequence<numArgs>{},
                        [this](size_t i) { return helper(i); });

或使用std::bind

auto t = make_tuple_seq(std::make_index_sequence<numArgs>{},
                        std::bind(&lzuint<T, A...>::helper, this, std::placeholders::_1));

通常建议使用lambda。