2 
#include <memory>

template <typename T>
class Wrapper {
public:
    Wrapper() = delete;
    Wrapper(const Wrapper&) = delete;
    Wrapper(Wrapper&&) = delete;

    ~Wrapper() = default;

    Wrapper(const T&) = delete;
    Wrapper(T&& in) : instance{std::move(in)} {}

    T instance;
};

void foo(Wrapper<std::shared_ptr<int>>) {}

int main() {
    auto ptr = std::make_shared<int>(1);
    foo(std::move(ptr));
}

这一直在 C++17 中工作，所以我从来没有想过，但为什么这段代码会尝试在 C++14 中调用移动构造函数？它不应该在函数参数中就地构造吗？这似乎不是 c++17 的问题，但不是用 c++14 编译的。

我看到的唯一解决方法是使foo参数成为右值，但是我可以做些什么来使这项工作foo在 C++14 中不使参数成为右值的情况下？

我的第一个想法是临时必须是构造函数才能传递给函数，但更令人惊讶的是，即使使用-fno-elide-constructors和取消删除移动构造函数和复制构造函数，它们似乎也没有被调用！这是 gcc 和 clang 中的错误吗？

有关错误，请参阅https://wandbox.org/permlink/f6sa5Rm3NxZLy5P1并查看奇怪的行为https://wandbox.org/permlink/Kh6CG4OVbUAjvEZz

4

1 回答 1

4

当你打电话时，foo(std::move(ptr));你不会给它一个Wrapper<std::shared_ptr<int>>. 因此，编译器生成一个临时文件并使用它来构造foo的参数。现在，这可以省略，我们可以直接构造 aWrapper<std::shared_ptr<int>>但是移动/复制构造函数仍然需要可访问，即使它从未被调用。

在 C++17 中，这种情况不再发生。我们保证了复制省略，这意味着永远不会实现临时参数，而是直接构造参数。

于 2017-09-14T19:09:19.430 回答