移动语义和参数评估顺序

Question

考虑以下几点：

std::string make_what_string( const std::string &id );

struct basic_foo
{
    basic_foo( std::string message, std::string id );
};

struct foo
    : public basic_foo
{
    foo::foo( std::string id)
        : basic_foo( make_what_string( id ), std::move( id ) ) // Is this valid?
    {
    }
};

由于未指定 C++ 中的参数评估顺序，我想知道是否 这条线

basic_foo( make_what_string( id ), std::move( id ) )

上面的代码是有效的。

我知道std::move 只不过是一个演员表，但什么时候是 std::string 移动 ctor 被执行？在评估了所有参数之后，是时候调用了 基础构造函数？或者这是在评估参数期间完成的？在 换句话说：

编译器会这样做吗：

std::string &&tmp2 = std::move(id);
std::string tmp1 = make_what_string(id);
basic_foo(tmp1, tmp2);

这是有效的。或者这样：

std::string tmp2 = std::move(id);
std::string tmp1 = make_what_string(id);
basic_foo(tmp1, tmp2);

这是无效的。请注意，在这两种情况下，订单都是“意外的” 一个。

Answer 1

参见第 1.9 节：

除非另有说明，否则单个运算符的操作数和单个表达式的子表达式的求值是无序的。

和

调用函数时（无论函数是否内联），与任何参数表达式或指定被调用函数的后缀表达式相关的每个值计算和副作用，都在执行每个表达式或语句之前排序被调用函数的主体。 [ 注意：与不同参数表达式相关的值计算和副作用是无序的。 —尾注 ]

我认为问题在于，参数的初始化是否被认为是与参数表达式相关的副作用并不是很清楚。但是，它似乎得到了第 5.2.2 节的支持：

每个参数的初始化和销毁​​都发生在 调用函数。

在同一段中还有一个注释，使它更清楚一点：

当调用函数时，每个参数 (8.3.5) 都应使用其对应的参数初始化 (8.5, 12.8, 12.1)。 [注意：这样的初始化相对于彼此的顺序是不确定的（1.9）-结束说明]

所以是的，参数的初始化相对于彼此是不确定的。初始化可能按以下任一顺序进行：

std::string message = make_what_string(id);
std::string id = std::move( id );

std::string id = std::move( id );
std::string message = make_what_string(id);

在第二种情况下，make_what_string 最终处理的是移出的字符串。

因此，即使std::move 实际上并没有移动任何东西，重要的是实际移动 相对于另一个参数也是无序的。

basic_string(basic_string&& str) 的移动构造函数的定义声明：

[...] str 处于未指定值的有效状态。

所以你没有未定义的行为，你有未指定的行为。

Answer 2

这不是真的有效。未指定函数参数评估的顺序。也就是说，你不知道编译器会不会选择这个序列：

tmp1 = make_what_string(id);
tmp2 = std::move(id);
basic_foo(tmp1, tmp2);

或者这个：

tmp1 = std::move(id);
tmp2 = make_what_string(id);  //id has already been moved from!
basic_foo(tmp2, tmp1);