12

考虑以下示例：

#include <cstdio>

class object
{
public:
    object()
    {
        printf("constructor\n");
    }

    object(const object &)
    {
        printf("copy constructor\n");
    }

    object(object &&)
    {
        printf("move constructor\n");
    }
};

static object create_object()
{
    object a;
    object b;

    volatile int i = 1;

// With #if 0, object's copy constructor is called; otherwise, its move constructor.
#if 0
    if (i)
        return b; // moves because of the copy elision rules
    else
        return a; // moves because of the copy elision rules
#else
    // Seems equivalent to the above, but behaves differently.
    return i ? b : a; // copies (with g++ 4.7)
#endif
}

int main()
{
    auto data(create_object());

    return 0;
}

并考虑 C++11 工作草案中的这一点，n3337.pdf，12.8 [class.copy]，第 32 点：

当满足或将满足复制操作的省略标准时，除了源对象是函数参数的事实，并且要复制的对象由左值指定时，选择复制的构造函数的重载决策是首先执行好像对象是由右值指定的. 如果重载决议失败，或者如果所选构造函数的第一个参数的类型不是对对象类型的右值引用（可能是 cv 限定的），则再次执行重载决议，将对象视为左值。[注意：无论是否会发生复制省略，都必须执行此两阶段重载解决方案。它确定如果不执行省略则要调用的构造函数，并且即使调用被省略，所选构造函数也必须是可访问的。——尾注]

因此，如果我们#if 1在示例中使用，则在返回对象时首先尝试移动构造函数，然后再尝试复制构造函数。由于我们有一个移动构造函数，它被用来代替复制构造函数。

然而，在最后一条return语句中create_object()，我们观察到没有使用移动构造函数。这是否违反了语言规则？该语言是否要求在最后一条return语句中使用移动构造函数？

4

1 回答 1

13

条件运算符的规范非常复杂，令人恐惧。但我相信你的编译器的行为是正确的。见 5.16 [expr.cond]/p4：

如果第二个和第三个操作数是相同值类别的glvalues并且具有相同的类型，则结果是该类型和值类别...

另见 12.8 [class.copy], p31, b1 描述了何时允许复制省略：

在return具有类返回类型的函数的语句中，当表达式是具有与函数返回类型相同的 cv-非限定类型的非易失性自动对象（函数或 catch 子句参数除外）的名称时，复制/移动操作可以省略...

该表达式不是自动对象的名称，而是一个条件表达式（并且该条件表达式是一个左值）。所以这里不允许复制省略，并且没有其他说明左值表达式可以假装为重载决议的右值。

于 2012-08-11T15:27:35.687 回答