意外行为从 lambda 函数内的 std::bitset 返回一个值

Question

I am trying to use the value from a std::bitset inside of a lambda function but I am experiencing unexpected behavior:

int main()
{
    auto lambda = [](unsigned int param)
    {   
        std::bitset<10> bits(param);
        std::cout << "inside lambda bits[8] = " << bits[8] << std::endl; 
        return bits[8];
    };

    // 0x11c is 1_0001_1100 in binary
    auto result = lambda(0x11c);
    std::cout << "result = " << result << std::endl;
}

I would expect the value of result to be one since result is of type bool which can be copied from the local stack but instead the output is the following:

inside lambda bits[8] = 1
result = 0

What am I overlooking here?

Answer 1

The operator[] for std::bitset returns a std::bitset::reference when called on a non-const std::bitset . This means the lambda (which deduces the return type), returns a reference to a local variable. This obviously dangles, and invokes undefined behavior when used at the call site.

You can fix this in several ways:

1. Explicitly specify the return type of the lambda, so the reference is converted to bool and returned by copy:

auto lambda = [](unsigned int param) -> bool
                                     // ^^^^
{   
    std::bitset<10> bits(param);
    std::cout << "inside lambda bits[8] = " << bits[8] << std::endl; 
    return bits[8];
};

Here's a demo

2. Make the std::bitset in the lambda const so that it calls the const overload of operator[] , which returns a bool :

auto lambda = [](unsigned int param)
{   
    std::bitset<10> const bits(param);
                 // ^^^^^
    std::cout << "inside lambda bits[8] = " << bits[8] << std::endl; 
    return bits[8];
};

Here's a demo .

3. Store the value of bits[8] as a bool , and return that:

auto lambda = [](unsigned int param)
{   
    std::bitset<10> bits(param);
    std::cout << "inside lambda bits[8] = " << bits[8] << std::endl; 
    bool b = bits[8];
 // ^^^^^^
    return b;
};

Here's a demo .