[Patch] Implement is_[nothrow_]swappable (p0185r1) - 2nd try

[Jonathan Wakely]

On 15/06/16 20:07 +0200, Daniel Krügler wrote:
>2016-06-14 23:22 GMT+02:00 Daniel Krügler <daniel.kruegler@gmail.com>:
>> This is an implementation of the Standard is_swappable traits according to
>>
>> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0185r1.html
>>
>> During that work it has been found that std::array's member swap's exception
>> specification for zero-size arrays was incorrectly depending on the value_type
>> and that was fixed as well.
>>
>> This patch is *untested*, because I cannot make the tests run on my
>> Windows system.
>>
>> Upon the suggestion of Mike Stump I'm proposing this patch
>> nonetheless, asking for sending
>> me as specific feedback as possible for any failing tests so that I
>> can try to make further
>> adjustments if needed.
>
>And now also with the promised patch files.

I'm still seeing large numbers of failed static assertions, and
duplicate definitions. I'll try to fix them.

As Marc suggested, getting access to the compile farm would allow you
to test on a real OS. Installing GNU/Linux in a VM would also allow
you to run the tests. (I have no idea how to test on Windows, I never
managed to get it working when I tried).