当使用0
构建时,此代码会打印666
(不优化)或clang++ -std=c++11
(启用优化)(-O3
会生成666
,这是我所期望的)。当lambda通过通用引用传递时,问题消失了。
仅供引用,GCC在我测试过的所有版本上都打印666
。
是编译器错误还是代码不正确?
#include <memory>
#include <iostream>
template <typename T>
std::shared_ptr<void> onScopeExit(T f)
{
return std::shared_ptr<void>((void*)1, [&](void *) {
f();
});
}
struct A {
void f() {
auto scopeGuard = onScopeExit([&]() { i = 666; }); // [1]
// ... (some work)
} // (lambda [1] being ? called on scope exit)
int i = 0;
};
A a;
int main() {
a.f();
std::cout << a.i << std::endl;
}
有问题的编译器是:
Apple LLVM version 9.1.0 (clang-902.0.39.2)
Target: x86_64-apple-darwin17.7.0
最佳答案
您的代码具有未定义的行为。您可以通过在f
中引用来捕获onScopeExit
,但是一旦您从函数中返回shared_ptr
,则删除器现在就悬挂了对f
的悬挂引用,因为f
超出了范围。您需要做的是按值捕获f
,这样您就不会有悬挂的引用了
template <typename T>
std::shared_ptr<void> onScopeExit(T f)
{
return std::shared_ptr<void>((void*)1, [=](void *) {
f();
});
}
struct A {
void f() {
auto scopeGuard = onScopeExit([&]() { i = 666; }); // [1]
// ... (some work)
} // (lambda [1] being ? called on scope exit)
int i = 0;
};
A a;
int main() {
a.f();
std::cout << a.i << std::endl;
}