我有一个带有递归成员函数Wrap<T>
的类模板test(int)
,我希望将其传递给带有lambda(下面代码中为std::accumulate
)的STL算法。
如果我使用=
的默认捕获列表,并使我的递归meber函数static
,一切都很好,并得到我想要的结果。
但是,如果我使它成为一个非静态成员函数,Visual C ++和gcc 4.7.2都会抱怨一个统一的this
- 指针,除非我将我的递归调用限定为this->test()
。
#include <algorithm>
#include <iostream>
#include <vector>
template<typename T>
struct Wrap
{
static int test1(int depth)
{
std::vector<int> v = { 0, 1, 2, 3 };
return depth == 0? 1 : std::accumulate(v.begin(), v.end(), int(0), [=](int sub, int const&) {
return sub + test1(depth - 1);
});
}
int test2(int depth)
{
std::vector<int> v = { 0, 1, 2, 3 };
return depth == 0? 1 : std::accumulate(v.begin(), v.end(), int(0), [=](int sub, int const&) {
return sub + /*this->*/test2(depth - 1);
});
}
};
int main()
{
std::cout << Wrap<int>::test1(0) << "\n"; // 1
std::cout << Wrap<int>::test1(1) << "\n"; // 4
std::cout << Wrap<int>::test1(2) << "\n"; // 16
Wrap<int> w;
std::cout << w.test2(0) << "\n"; // 1
std::cout << w.test2(1) << "\n"; // 4
std::cout << w.test2(2) << "\n"; // 16
}
LiveWorkSpace上的输出:
source.cpp: In instantiation of 'int Wrap<T>::test2(int) [with T = int]':
source.cpp:32:26: required from here
source.cpp:19:74: error: missing initializer for member 'Wrap<T>::test2(int) [with T = int]::<lambda(int, const int&)>::__this' [-Werror=missing-field-initializers]
取消注释/*this->/*
部分,给出与静态成员函数相同的结果。
为什么我需要使用this->
限定我的递归通话?
答案 0 :(得分:3)
我认为这是GCC 4.7.2的错误。警告说:
missing initializer for member 'Wrap<T>::test2(int) [with T = int]::<lambda(int, const int&)>::__this'
这意味着编译器会识别要捕获的this
指针,并且生成的闭包确实包含一个指针,但该指针不会在闭包的构造函数中初始化。
事实证明,尝试访问/更改成员变量(在您的示例中不存在但可以轻松添加)会导致运行时错误。例如,这在liveworkspace.org上没有显示输出
#include <algorithm>
#include <iostream>
#include <vector>
template<typename T>
struct Wrap
{
int test2(int depth)
{
m_test++;
std::vector<int> v = { 0, 1, 2, 3 };
return depth == 0? 1 : std::accumulate(
v.begin(), v.end(), int(0), [=](int sub, int const&) {
return sub + /*this->*/test2(depth - 1);
});
}
int m_test = 0;
};
int main()
{
Wrap<int> w;
std::cout << w.test2(2) << "\n"; // 1
}
此代码与Clang 3.2和VS2012编译良好,似乎证实存在错误。