xref: /llvm-project/libcxx/test/std/input.output/filesystems/class.path/path.nonmember/swap.pass.cpp (revision ac8c9f1e39e1a773fd81ce23dbf1c80ea186f226)
1f7b43230SLouis Dionne //===----------------------------------------------------------------------===//
2f7b43230SLouis Dionne //
3f7b43230SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4f7b43230SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5f7b43230SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6f7b43230SLouis Dionne //
7f7b43230SLouis Dionne //===----------------------------------------------------------------------===//
8f7b43230SLouis Dionne 
9*ac8c9f1eSLouis Dionne // UNSUPPORTED: c++03, c++11, c++14
10c352fa74SLouis Dionne // UNSUPPORTED: availability-filesystem-missing
11f7b43230SLouis Dionne 
12f7b43230SLouis Dionne // <filesystem>
13f7b43230SLouis Dionne 
14f7b43230SLouis Dionne // void swap(path& lhs, path& rhs) noexcept;
15f7b43230SLouis Dionne 
16*ac8c9f1eSLouis Dionne #include <filesystem>
17f7b43230SLouis Dionne #include <type_traits>
18f7b43230SLouis Dionne #include <cassert>
19f7b43230SLouis Dionne 
20f7b43230SLouis Dionne #include "test_macros.h"
21cc89063bSNico Weber #include "count_new.h"
22*ac8c9f1eSLouis Dionne namespace fs = std::filesystem;
23f7b43230SLouis Dionne 
24f7b43230SLouis Dionne // NOTE: this is tested in path.members/path.modifiers via the member swap.
main(int,char **)25f7b43230SLouis Dionne int main(int, char**)
26f7b43230SLouis Dionne {
27f7b43230SLouis Dionne   using namespace fs;
28f7b43230SLouis Dionne   const char* value1 = "foo/bar/baz";
29f7b43230SLouis Dionne   const char* value2 = "_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG_THIS_IS_LONG";
30ef2cdfe3SLouis Dionne   {
31f7b43230SLouis Dionne     path p1(value1);
32f7b43230SLouis Dionne     path p2(value2);
333784bdf2SMartin Storsjö     fs::path::string_type ps1 = p1.native();
343784bdf2SMartin Storsjö     fs::path::string_type ps2 = p2.native();
35ef2cdfe3SLouis Dionne 
36ef2cdfe3SLouis Dionne     DisableAllocationGuard g;
37ef2cdfe3SLouis Dionne     swap(p1, p2);
38f7b43230SLouis Dionne     ASSERT_NOEXCEPT(swap(p1, p2));
39f7b43230SLouis Dionne     ASSERT_SAME_TYPE(void, decltype(swap(p1, p2)));
40ef2cdfe3SLouis Dionne     assert(p1.native() == ps2);
41ef2cdfe3SLouis Dionne     assert(p2.native() == ps1);
42ef2cdfe3SLouis Dionne     swap(p1, p2);
43ef2cdfe3SLouis Dionne     assert(p1.native() == ps1);
44ef2cdfe3SLouis Dionne     assert(p2.native() == ps2);
45f7b43230SLouis Dionne   }
46ef2cdfe3SLouis Dionne 
47ef2cdfe3SLouis Dionne   // Test the swap two-step idiom
48f7b43230SLouis Dionne   {
49ef2cdfe3SLouis Dionne     path p1(value1);
50ef2cdfe3SLouis Dionne     path p2(value2);
51ef2cdfe3SLouis Dionne     fs::path::string_type ps1 = p1.native();
52ef2cdfe3SLouis Dionne     fs::path::string_type ps2 = p2.native();
53ef2cdfe3SLouis Dionne 
54f7b43230SLouis Dionne     DisableAllocationGuard g;
55f7b43230SLouis Dionne     using namespace std;
56f7b43230SLouis Dionne     swap(p1, p2);
57ef2cdfe3SLouis Dionne     ASSERT_NOEXCEPT(swap(p1, p2));
58ef2cdfe3SLouis Dionne     ASSERT_SAME_TYPE(void, decltype(swap(p1, p2)));
593784bdf2SMartin Storsjö     assert(p1.native() == ps2);
603784bdf2SMartin Storsjö     assert(p2.native() == ps1);
61f7b43230SLouis Dionne     swap(p1, p2);
623784bdf2SMartin Storsjö     assert(p1.native() == ps1);
633784bdf2SMartin Storsjö     assert(p2.native() == ps2);
64f7b43230SLouis Dionne   }
65f7b43230SLouis Dionne 
66f7b43230SLouis Dionne   return 0;
67f7b43230SLouis Dionne }
68