Please use GitHub pull requests for new patches. Avoid migrating existing patches. Phabricator shutdown timeline

Differential D144331 Diff 511892 libcxx/test/std/thread/thread.threads/thread.thread.class/thread.thread.id/stream.pass.cpp

Changeset View

Standalone View

View Options

libcxx/test/std/thread/thread.threads/thread.thread.class/thread.thread.id/stream.pass.cpp

//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//

// //

// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.

// See https://llvm.org/LICENSE.txt for license information. // See https://llvm.org/LICENSE.txt for license information.

// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

// //

//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//

// UNSUPPORTED: no-threads // UNSUPPORTED: no-threads

// UNSUPPORTED: no-localization // UNSUPPORTED: no-localization

// TODO FMT This test should not require std::to_chars(floating-point)

// XFAIL: availability-fp_to_chars-missing

// <thread> // <thread>

// class thread::id // class thread::id

// template<class charT, class traits> // template<class charT, class traits>

// basic_ostream<charT, traits>& // basic_ostream<charT, traits>&

// operator<<(basic_ostream<charT, traits>& out, thread::id id); // operator<<(basic_ostream<charT, traits>& out, thread::id id);

#include <thread> #include <thread>

#include <format>

#include <sstream> #include <sstream>

#include <cassert> #include <cassert>

#include "make_string.h"

#include "test_macros.h" #include "test_macros.h"

int main(int, char**) template <class CharT>

ldionneUnsubmitted

Done

While we're at it, can we also test the output stream version on an empty std::thread::id?

ldionne: While we're at it, can we also test the output stream version on an empty `std::thread::id`?

MordanteAuthorUnsubmitted

Done

Based on [thread.thread.id]/1

An object of type thread::id provides a unique identifier for each thread of execution and a single distinct value for all thread objects that do not represent a thread of execution ([thread.thread.class]).
Each thread of execution has an associated thread::id object that is not equal to the thread::id object of any other thread of execution and that is not equal to the thread::id object of any thread object that does not represent threads of execution.

That value is unspecified and may differ between implementations; I expect it will be different.

Mordante: Based on [thread.thread.id]/1 ``` An object of type thread::id provides a unique identifier…

{ static void test() {

std::thread::id id0 = std::this_thread::get_id(); std::thread::id id0 = std::this_thread::get_id();

std::ostringstream os; std::basic_ostringstream<CharT> os;

os << id0; os << id0;

#if TEST_STD_VER > 20 && !defined(_LIBCPP_HAS_NO_INCOMPLETE_FORMAT)

// C++23 added a formatter specialization for thread::id.

// This changed the requirement of ostream to have a

// [thread.thread.id]/2

// The text representation for the character type charT of an object of

ldionneUnsubmitted

Done

// C++23 added a formatter specialization for thread::id.

// This changed the requirement of ostream to have a

- // text representation for charT

- // this definition is used for both streaming and formatting.

+ // [section] text representation for charT

+ // This definition is used for both streaming and formatting.

// Test whether the output is identical.

ldionne:

// type thread::id is an unspecified sequence of charT ...

// This definition is used for both streaming and formatting.

// Test whether the output is identical.

std::basic_string<CharT> s = std::format(MAKE_STRING_VIEW(CharT, "{}"), id0);

assert(s == os.str());

#endif

}

int main(int, char**) {

test<char>();

#ifndef TEST_HAS_NO_WIDE_CHARACTERS

test<wchar_t>();

#endif

return 0; return 0;

} }