6

我发现 GCC 7 已经实现了保证复制省略，我在wandbox中尝试了以下代码：

#include <iostream>

struct NonMovable
{
    NonMovable() noexcept = default;
    NonMovable(NonMovable&&) noexcept = delete;
    NonMovable& operator=(NonMovable&&) noexcept = delete;
};

NonMovable Make()
{
    return {};
}


int main()
{
    //[[maybe_unused]] const auto x = Make();
    //const auto z = NonMovable{};
    [[maybe_unused]] const auto y = NonMovable{NonMovable{}};
}

我得到了编译错误：

prog.cc: In function 'int main()':
prog.cc:20:60: error: use of deleted function 'NonMovable::NonMovable(NonMovable&&)'
     [[maybe_unused]] const auto y = NonMovable{NonMovable{}};
                                                            ^
prog.cc:6:5: note: declared here
     NonMovable(NonMovable&&) noexcept = delete;
     ^~~~~~~~~~

根据cppreference：

在初始化中，如果初始化表达式是一个prvalue，并且源类型的cv-unqualified版本与目标类是同一个类，则初始化表达式用于初始化目标对象：
T x = T(T(T())); // only one call to default constructor of T, to initialize x

所以我认为它应该等于const Movable y{};。怎么了？

4

1 回答 1

1

列表初始化无法让您精确控制发生的事情。基本上，委员会已经猜到了程序员最可能想做的事情，并赋予了相应的含义。

如果要进行精确控制，请使用非列表初始化。为此，您的测试用例应该绝对有效。

如果您坚持列表初始化，那么对于聚合，我认为当前的措辞草案会做到这一点并应用有保证的副本“省略”，因为他们说

如果 T 是一个聚合类并且初始化器列表有一个 cv U 类型的元素，其中 U 是 T 或从 T 派生的类，则从该元素初始化对象（通过复制列表初始化的复制初始化，或通过直接列表初始化的直接初始化）。

此外，您可能会在标准的未来修订版或缺陷报告解决方案中获得您想要的东西，即使是非聚合也是如此。我相信你的类是一个聚合，所以它应该编译。但也许我在这里缺少一些东西。

于 2016-10-07T16:10:16.880 回答