| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // UNSUPPORTED: libcpp-has-no-threads |
| // UNSUPPORTED: c++98, c++03, c++11, c++14 |
| |
| // <mutex> |
| |
| // template <class Mutex...> |
| // class scoped_lock |
| // { |
| // public: |
| // typedef Mutex mutex_type; // only if sizeof...(Mutex) == 1 |
| // ... |
| // }; |
| |
| #include <mutex> |
| #include <type_traits> |
| #include "test_macros.h" |
| |
| struct NAT {}; |
| |
| template <class LG> |
| auto test_typedef(int) -> typename LG::mutex_type; |
| |
| template <class LG> |
| auto test_typedef(...) -> NAT; |
| |
| template <class LG> |
| constexpr bool has_mutex_type() { |
| return !std::is_same<decltype(test_typedef<LG>(0)), NAT>::value; |
| } |
| |
| int main(int, char**) |
| { |
| { |
| using T = std::scoped_lock<>; |
| static_assert(!has_mutex_type<T>(), ""); |
| } |
| { |
| using M1 = std::mutex; |
| using T = std::scoped_lock<M1>; |
| static_assert(std::is_same<T::mutex_type, M1>::value, ""); |
| } |
| { |
| using M1 = std::recursive_mutex; |
| using T = std::scoped_lock<M1>; |
| static_assert(std::is_same<T::mutex_type, M1>::value, ""); |
| } |
| { |
| using M1 = std::mutex; |
| using M2 = std::recursive_mutex; |
| using T = std::scoped_lock<M1, M2>; |
| static_assert(!has_mutex_type<T>(), ""); |
| } |
| { |
| using M1 = std::mutex; |
| using M2 = std::recursive_mutex; |
| using T = std::scoped_lock<M1, M1, M2>; |
| static_assert(!has_mutex_type<T>(), ""); |
| } |
| { |
| using M1 = std::mutex; |
| using T = std::scoped_lock<M1, M1>; |
| static_assert(!has_mutex_type<T>(), ""); |
| } |
| { |
| using M1 = std::recursive_mutex; |
| using T = std::scoped_lock<M1, M1, M1>; |
| static_assert(!has_mutex_type<T>(), ""); |
| } |
| |
| return 0; |
| } |