c++ - 尝试创建临时对象时出现奇怪的编译器错误

Question

发布此问题后，我尝试重现创建范围 RAII 对象时意外创建右值的问题。现在看来，如果没有编译器错误，我就无法重现它！

在下面的代码示例中，在Test::foo()第二个 ScopedLock 创建中没有编译。gcc 编译器错误似乎完全错误。谁能解释一下？

struct Mutex
{
    void lock() { }

    void unlock() { }
};


struct ScopedLock
{
    ScopedLock(Mutex & inMutex) : mMutex(inMutex)
    { mMutex.lock(); }

    ~ScopedLock()
    { mMutex.unlock(); }

private:
    ScopedLock(const ScopedLock&);
    ScopedLock& operator=(const ScopedLock&);

    Mutex mMutex;
};


struct Test
{
    void foo()
    {
        // Compiles fine
        ScopedLock lock(mMutex);

        // Error: no matching function for
        // call to ‘ScopedLock::ScopedLock()’
        ScopedLock(mMutex);
    }

    Mutex mMutex;
};

我在 Mac 上使用 GCC 4.2.1。

更新

我查看了原始代码，发现该成员是通过this指针引用的：

ScopedLock(this->mMutex); // short-lived temporary and compiles fine

Answer 1

您有两个用户声明的构造函数，因此没有编译器生成默认构造函数。

是的，

Type (i);

处理方式与

Type i;

这样的括号在更复杂的声明中很有用，例如

Type (*i)();

声明指向返回类型的函数的指针。

Answer 2

该消息告诉您 ScopedLock 没有默认构造函数，即不带参数的构造函数。如果您声明一个带参数的构造函数，C++ 不会为您创建默认构造函数。