3

Herb Sutter の C++ およびそれ以降のアトミックに関する講演を見て、使いやすいロック/ロック解除メカニズムという彼のアイデアを垣間見ました。

メカニズムは次のようになります。

atomic{
// code here
}

将来の標準を待ちたくないので、これを自分で実装しようとしましたが、思いついたのは次のとおりです。

#define CONCAT_IMPL(A, B) A ## B
#define CONCAT(A, B) CONCAT_IMPL(A, B)

# define atomic(a) { \
static_assert(std::is_same<decltype(a), std::mutex>::value,"Argument must be of type std::mutex !");\
struct CONCAT(atomic_impl_, __LINE__)\
{\
std::function<void()> func;\
std::mutex* impl;\
CONCAT(atomic_impl_, __LINE__)(std::mutex& b)\
{ \
    impl = &b;\
    impl->lock();\
}\
CONCAT(~atomic_impl_, __LINE__)()\
{ \
    func();\
    impl->unlock(); \
}\
} CONCAT(atomic_impl_var_, __LINE__)(a);\
CONCAT(atomic_impl_var_, __LINE__).func = [&]()

と使用法:

std::mutex mut;
atomic(mut){
    // code here
};}

問題は、明らかに、}; です。削除したいもの。

これは何らかの方法で可能ですか？

4

3 に答える 3

7

ifこれは、ステートメント内で変数を定義するトリックで行うことができます。

template <typename M>
struct atomic_guard_ {
  explicit atomic_guard_(M& m) : lock(m) {}
  atomic_guard_(M const&) =delete; // Since we unfortunately have to use uniform
  atomic_guard_(M&&) =delete;      // initialization, make it at least a little safe
  operator bool() const { return false; }
  std::lock_guard<M> lock;
};

#define atomic(m) \
  if (atomic_guard_<std::decay<decltype(m)>::type> _{m}) {} else

int main()
{
  std::mutex m;
  atomic(m) {
    std::cout << "a\n";
  }

  atomic(m) // this works too, but I think this is ok
    std::cout << "b\n";
}
于 2013-02-20T22:33:31.720 に答える
4

を使用しlock_guardます。マクロを使用したい場合は、変数名を選択する手間が省け、変数の代わりに一時変数を誤って作成してしまう (驚くほど簡単な) タイプミスを回避できます。

于 2013-02-20T22:30:02.390 に答える
2

より単純なバージョンでは、次を使用forしますstd::unique_lock。

#include <iostream>
#include <type_traits>
#include <mutex>

#define atomic(a) \
  for(auto lock=std::unique_lock<std::decay<decltype(a)>::type>(a); lock; lock.unlock())

int main()
{
  std::mutex m;
  atomic(m) {
    std::cout << "Hello, world!" << std::endl;
  }
}
于 2013-02-20T23:07:42.720 に答える