mirror of
https://github.com/llvm-mirror/libcxx.git
synced 2025-10-24 03:32:35 +08:00
a0866c5fb5
This patch implements the <filesystem> header and uses that to provide <experimental/filesystem>. Unlike other standard headers, the symbols needed for <filesystem> have not yet been placed in libc++.so. Instead they live in the new libc++fs.a library. Users of filesystem are required to link this library. (Also note that libc++experimental no longer contains the definition of <experimental/filesystem>, which now requires linking libc++fs). The reason for keeping <filesystem> out of the dylib for now is that it's still somewhat experimental, and the possibility of requiring an ABI breaking change is very real. In the future the symbols will likely be moved into the dylib, or the dylib will be made to link libc++fs automagically). Note that moving the symbols out of libc++experimental may break user builds until they update to -lc++fs. This should be OK, because the experimental library provides no stability guarantees. However, I plan on looking into ways we can force libc++experimental to automagically link libc++fs. In order to use a single implementation and set of tests for <filesystem>, it has been placed in a special `__fs` namespace. This namespace is inline in C++17 onward, but not before that. As such implementation is available in C++11 onward, but no filesystem namespace is present "directly", and as such name conflicts shouldn't occur in C++11 or C++14. git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@338093 91177308-0d34-0410-b5e6-96231b3b80d8
139 lines
4.3 KiB
C++
139 lines
4.3 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// UNSUPPORTED: c++98, c++03
|
|
|
|
// <filesystem>
|
|
|
|
// class path
|
|
|
|
// int compare(path const&) const noexcept;
|
|
// int compare(string_type const&) const;
|
|
// int compare(value_type const*) const;
|
|
//
|
|
// bool operator==(path const&, path const&) noexcept;
|
|
// bool operator!=(path const&, path const&) noexcept;
|
|
// bool operator< (path const&, path const&) noexcept;
|
|
// bool operator<=(path const&, path const&) noexcept;
|
|
// bool operator> (path const&, path const&) noexcept;
|
|
// bool operator>=(path const&, path const&) noexcept;
|
|
//
|
|
// size_t hash_value(path const&) noexcept;
|
|
|
|
|
|
#include "filesystem_include.hpp"
|
|
#include <type_traits>
|
|
#include <vector>
|
|
#include <cassert>
|
|
|
|
#include "test_macros.h"
|
|
#include "test_iterators.h"
|
|
#include "count_new.hpp"
|
|
#include "filesystem_test_helper.hpp"
|
|
#include "verbose_assert.h"
|
|
|
|
struct PathCompareTest {
|
|
const char* LHS;
|
|
const char* RHS;
|
|
int expect;
|
|
};
|
|
|
|
#define LONGA "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
|
|
#define LONGB "BBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBB"
|
|
#define LONGC "CCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCC"
|
|
#define LONGD "DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD"
|
|
const PathCompareTest CompareTestCases[] =
|
|
{
|
|
{"", "", 0},
|
|
{"a", "", 1},
|
|
{"", "a", -1},
|
|
{"a/b/c", "a/b/c", 0},
|
|
{"b/a/c", "a/b/c", 1},
|
|
{"a/b/c", "b/a/c", -1},
|
|
{"a/b", "a/b/c", -1},
|
|
{"a/b/c", "a/b", 1},
|
|
{"a/b/", "a/b/.", -1},
|
|
{"a/b/", "a/b", 1},
|
|
{"a/b//////", "a/b/////.", -1},
|
|
{"a/.././b", "a///..//.////b", 0},
|
|
{"//foo//bar///baz////", "//foo/bar/baz/", 0}, // duplicate separators
|
|
{"///foo/bar", "/foo/bar", 0}, // "///" is not a root directory
|
|
{"/foo/bar/", "/foo/bar", 1}, // trailing separator
|
|
{"//" LONGA "////" LONGB "/" LONGC "///" LONGD, "//" LONGA "/" LONGB "/" LONGC "/" LONGD, 0},
|
|
{ LONGA "/" LONGB "/" LONGC, LONGA "/" LONGB "/" LONGB, 1}
|
|
|
|
};
|
|
#undef LONGA
|
|
#undef LONGB
|
|
#undef LONGC
|
|
#undef LONGD
|
|
|
|
static inline int normalize_ret(int ret)
|
|
{
|
|
return ret < 0 ? -1 : (ret > 0 ? 1 : 0);
|
|
}
|
|
|
|
int main()
|
|
{
|
|
using namespace fs;
|
|
for (auto const & TC : CompareTestCases) {
|
|
const path p1(TC.LHS);
|
|
const path p2(TC.RHS);
|
|
const std::string R(TC.RHS);
|
|
const std::string_view RV(TC.RHS);
|
|
const int E = TC.expect;
|
|
{ // compare(...) functions
|
|
DisableAllocationGuard g; // none of these operations should allocate
|
|
|
|
// check runtime results
|
|
int ret1 = normalize_ret(p1.compare(p2));
|
|
int ret2 = normalize_ret(p1.compare(R));
|
|
int ret3 = normalize_ret(p1.compare(TC.RHS));
|
|
int ret4 = normalize_ret(p1.compare(RV));
|
|
|
|
g.release();
|
|
ASSERT_EQ(ret1, ret2);
|
|
ASSERT_EQ(ret1, ret3);
|
|
ASSERT_EQ(ret1, ret4);
|
|
ASSERT_EQ(ret1, E)
|
|
<< DISPLAY(TC.LHS) << DISPLAY(TC.RHS);
|
|
|
|
// check signatures
|
|
ASSERT_NOEXCEPT(p1.compare(p2));
|
|
}
|
|
{ // comparison operators
|
|
DisableAllocationGuard g; // none of these operations should allocate
|
|
|
|
// Check runtime result
|
|
assert((p1 == p2) == (E == 0));
|
|
assert((p1 != p2) == (E != 0));
|
|
assert((p1 < p2) == (E < 0));
|
|
assert((p1 <= p2) == (E <= 0));
|
|
assert((p1 > p2) == (E > 0));
|
|
assert((p1 >= p2) == (E >= 0));
|
|
|
|
// Check signatures
|
|
ASSERT_NOEXCEPT(p1 == p2);
|
|
ASSERT_NOEXCEPT(p1 != p2);
|
|
ASSERT_NOEXCEPT(p1 < p2);
|
|
ASSERT_NOEXCEPT(p1 <= p2);
|
|
ASSERT_NOEXCEPT(p1 > p2);
|
|
ASSERT_NOEXCEPT(p1 >= p2);
|
|
}
|
|
{ // check hash values
|
|
auto h1 = hash_value(p1);
|
|
auto h2 = hash_value(p2);
|
|
assert((h1 == h2) == (p1 == p2));
|
|
// check signature
|
|
ASSERT_SAME_TYPE(size_t, decltype(hash_value(p1)));
|
|
ASSERT_NOEXCEPT(hash_value(p1));
|
|
}
|
|
}
|
|
}
|