triviality of pair

[boostorg]

triviality of pair

[igaztanaga]

Many thanks. Included in the commit:

9a22431

[mglisse]

Thanks. I thought you would want to make pair trivial, so I only listed the most important trait, but if we are going to specialize traits, it isn't the only one that is relevant.

template<class A, class B> struct is_trivially_copy_constructible<boost::container::dtl::pair<A,B>>
: and_<is_trivially_copy_constructible<A>, is_trivially_copy_constructible<B> > {};

(copy vs assign)
also gives some (smaller) gains on different testcases. I didn't test if is_trivially_default_constructible, is_trivially_move_(constructi|assigna)ble or some of the other specialized traits (is_memzero_initializable) make a difference.

[igaztanaga]

I think "is_trivially_default_constructible" would break code as pair is expected to be value initialized. move variants and "is_trivially_destructible" seem safer. Thanks again for the additional comments. Commited in:

4faa05e

[mglisse]

Nice, thanks for all the recent patches. Recent gcc warns (-Wclass-memaccess) about using mem* on a non-trivial type, but I just ignore it. Supposedly we could suppress the warning with some extra casts.

[igaztanaga]

Let's see if

62a8b66

helps

[mglisse]

Looks like it does, great 👍