Use member-invoke traits in LockTraits

Summary:
[Folly] Use member-invoke traits in `LockTraits`.

V.s. spelling out the SFINAE manually.

Reviewed By: Orvid

Differential Revision: D6637380

fbshipit-source-id: 212e0cc5e54503b31e458b6bda93b2a3b24e6c59

diff --git a/folly/LockTraits.h b/folly/LockTraits.h
index a6cf12b596f03896bc8f28716132bb71e2254e45..2f051f5cbfd9bfdd17eb1d2f4a2981036fc46562 100644 (file)
--- a/folly/LockTraits.h
+++ b/folly/LockTraits.h
@@ -27,6 +27,8 @@
 #include <chrono>
 #include <type_traits>
 
 #include <chrono>
 #include <type_traits>
 

+#include <folly/functional/Invoke.h>
+

 // Android, OSX, and Cygwin don't have timed mutexes
 #if defined(ANDROID) || defined(__ANDROID__) || defined(__APPLE__) || \
     defined(__CYGWIN__)
 // Android, OSX, and Cygwin don't have timed mutexes
 #if defined(ANDROID) || defined(__ANDROID__) || defined(__APPLE__) || \
     defined(__CYGWIN__)


@@ -38,6 +40,13 @@
 namespace folly {
 namespace detail {
 
 namespace folly {
 namespace detail {
 

+namespace member {
+FOLLY_CREATE_MEMBER_INVOKE_TRAITS(lock, lock);
+FOLLY_CREATE_MEMBER_INVOKE_TRAITS(try_lock_for, try_lock_for);
+FOLLY_CREATE_MEMBER_INVOKE_TRAITS(lock_shared, lock_shared);
+FOLLY_CREATE_MEMBER_INVOKE_TRAITS(lock_upgrade, lock_upgrade);
+} // namespace member
+

 /**
  * An enum to describe the "level" of a mutex.  The supported levels are
  *  Unique - a normal mutex that supports only exclusive locking
 /**
  * An enum to describe the "level" of a mutex.  The supported levels are
  *  Unique - a normal mutex that supports only exclusive locking


@@ -71,46 +80,25 @@ struct MutexLevelValueImpl<true, true, true> {
  * mutex.  This is used in conjunction with the above MutexLevel
  * specializations and the LockTraitsImpl to determine what functions are
  * supported by objects of type Mutex
  * mutex.  This is used in conjunction with the above MutexLevel
  * specializations and the LockTraitsImpl to determine what functions are
  * supported by objects of type Mutex

- *
- * The implementation uses SINAE in the return value with trailing return
- * types to figure out what level a mutex is

  */
 template <class Mutex>
 class LockInterfaceDispatcher {
  private:
   // assert that the mutex type has basic lock and unlock functions
   static_assert(
  */
 template <class Mutex>
 class LockInterfaceDispatcher {
  private:
   // assert that the mutex type has basic lock and unlock functions
   static_assert(

-      std::is_same<decltype(std::declval<Mutex>().lock()), void>::value,
+      member::lock::is_invocable<Mutex>::value,

       "The mutex type must support lock and unlock functions");
 
       "The mutex type must support lock and unlock functions");
 

-  // Helper functions for implementing the traits using SFINAE
-  template <class T>
-  static auto timed_lock_test(T*) -> typename std::is_same<
-      decltype(std::declval<T>().try_lock_for(std::chrono::milliseconds(0))),
-      bool>::type;
-  template <class T>
-  static std::false_type timed_lock_test(...);
-
-  template <class T>
-  static auto lock_shared_test(T*) -> typename std::
-      is_same<decltype(std::declval<T>().lock_shared()), void>::type;
-  template <class T>
-  static std::false_type lock_shared_test(...);
-
-  template <class T>
-  static auto lock_upgrade_test(T*) -> typename std::
-      is_same<decltype(std::declval<T>().lock_upgrade()), void>::type;
-  template <class T>
-  static std::false_type lock_upgrade_test(...);
+  using duration = std::chrono::milliseconds;

 
  public:
   static constexpr bool has_lock_unique = true;
   static constexpr bool has_lock_timed =
 
  public:
   static constexpr bool has_lock_unique = true;
   static constexpr bool has_lock_timed =

-      decltype(timed_lock_test<Mutex>(nullptr))::value;
+      member::try_lock_for::is_invocable<Mutex, duration>::value;

   static constexpr bool has_lock_shared =
   static constexpr bool has_lock_shared =

-      decltype(lock_shared_test<Mutex>(nullptr))::value;
+      member::lock_shared::is_invocable<Mutex>::value;

   static constexpr bool has_lock_upgrade =
   static constexpr bool has_lock_upgrade =

-      decltype(lock_upgrade_test<Mutex>(nullptr))::value;
+      member::lock_upgrade::is_invocable<Mutex>::value;

 };
 
 /**
 };
 
 /**