Question

我正在尝试为嵌入式系统实现一组互斥锁和锁类。我之前从未使用过标签调度，而且我不确定我是否做得对。 boost文档中包含的描述只是这个：

struct input_iterator_tag { };

并使用它来挑选专门的模板功能。我没有模板，我只想根据标签的存在选择一个特定的构造函数：

// in mutex.h:

struct TryLock { };
// defined nowhere, i.e. there's no cpp file for this:
extern TryLock try_lock; 

template<typename MutexType>
class ScopedLock
{
  public:
    ScopedLock(MutexType& mtx) : m_mtx(mtx), m_acquired(true)
    {
      m_mtx.lock();
    }
    ScopedLock(MutexType& mtx, TryLock) : m_mtx(mtx)
    {
      m_acquired = m_mtx.tryLock();
    }
  ...
}

在我的代码中的某处我有一个我要锁定的互斥锁：

Mutex mtx;
ScopedLock<Mutex> lock(mtx, try_lock);

这编译很好并且有效。我只是好奇我是否可以摆脱extern TryLock try_lock;，因为我觉得它有点多余。

Answer 1

如果在临时的锁构造函数调用中替换它的用法，则不需要try_lock的extern声明：

Mutex mtx;
ScopedLock<Mutex> lock(mtx, TryLock());

否则编译器会将try_lock的副本传递给你的构造函数，此时它会想要链接它。

当标准库需要执行此操作时，它使用constexpr：

struct piecewise_construct_t { };
constexpr piecewise_construct_t piecewise_construct = piecewise_construct_t();

如何正确使用标签调度来选择构造函数

1 个答案: