| //===----------------------------------------------------------------------===// |
| // |
| // 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: 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() |
| { |
| { |
| 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>(), ""); |
| } |
| } |