从头学Java17-Stream API（二）结合Record、Optional_Optional