Question

所以我写了一个讨厌的lambda到satisfy a "shortest amount of code necessary to achieve this" question：

values.resize(distance(
    begin(values),
    remove_if(begin(values), end(values),
        [i = 0U, it = cbegin(intervals), end = cend(intervals)](const auto&) mutable {
        return it != end && ++i > it->first && (i <= it->second || (++it, true));
    })
));

我的问题是在Visual Studio Community 2015 Update 3版本14.0.25425.01上输出了所需的内容：

4.2 9.1 2.3 0.6 6.4 3.6 1.4 7.5

但在all the other compilers I've tried我得到：

4.2 2.3 0.6 1.2 0.3 1.4 2.5 7.5

有谁能告诉我导致不同行为的原因是什么？

Answer 1

您依赖的事实是您传递给算法的确切闭包是用作谓词的闭包，但标准允许复制它：

[algorithms.general]/10 (N4140)：[注意：除非另有说明，否则允许将函数对象作为参数的算法进行复制那些功能对象是自由的对象身份很重要的程序员应该考虑使用a 指向非复制实现对象的包装类，如reference_wrapper（20.9.3），或一些等效的解决方案 - 后注]

这正是libstdc ++所做的。从v6.2.1开始：

template<typename _ForwardIterator, typename _Predicate>
_ForwardIterator
__remove_if(_ForwardIterator __first, _ForwardIterator __last,
            _Predicate __pred)
{
    __first = std::__find_if(__first, __last, __pred);
    if (__first == __last)
    return __first;
    _ForwardIterator __result = __first;
    ++__first;
    for (; __first != __last; ++__first)
    if (!__pred(__first))
        {
        *__result = _GLIBCXX_MOVE(*__first);
        ++__result;
        }
    return __result;
}

在函数开头调用std::__find_if会复制__pred，这意味着i的值会在std::__find_if内增加一点，但这并不是＆＃ 39;改变呼叫站点上发生的事情。

要解决此问题，您可以使用std::ref：

auto clos = [i = 0U, it = cbegin(intervals), end = cend(intervals)](const auto&) mutable {
    return it != end && ++i > it->first && (i <= it->second || (++it, true));
};
values.resize(distance(begin(values), std::remove_if(begin(values), end(values), std::ref(clos))));

Live demo

Lambda适用于最新的Visual Studio，但在其他地方不起作用

1 个答案: