首先,我使用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
答案 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。