Hi all experts,

boost::compressed_pair is widely used as a replacement for std::pair in
order to save storage when one of the data members is an empty class.

The __compressed_pair helper class, which is similar to
boost::compressed_pair, is also widely used in libc++.

I wonder if we could get this compression optimization at almost no cost if
add the C++ [[no_unique_address]] attribute to the members of std::pair:

namespace std {
  template<class T1, class T2>
  struct pair {
    using first_type = T1;
    using second_type = T2;

    [[no_unique_address]] T1 first; // <- here
    [[no_unique_address]] T2 second; // <- here
  };
}

This looks reasonable to me, and almost achieves the equivalent of
boost::compressed_pair.

What do you guys think about this? This seems like a great enhancement to
me. Or does this kind of practice bring certain issues?

Comments are very welcome.

Hewill