支持 MSVC++2017 的`auto&&`

Question

在this answer 他们建议使用以下代码：

#include <iostream>

template <typename F>
class Finally {
    F f;
public:
    template <typename Func>
    Finally(Func&& func) : f(std::forward<Func>(func)) {}
    ~Finally() { f(); }

    Finally(const Finally&) = delete;
    Finally(Finally&&) = delete;
    Finally& operator =(const Finally&) = delete;
    Finally& operator =(Finally&&) = delete;
};

template <typename F>
Finally<F> make_finally(F&& f)
{
    return Finally<F>{ std::forward<F>(f) }; // This doesn't compile
    //This compiles: return { std::forward<F>(f) };
}


int main()
{
    auto&& doFinally = make_finally([&] { std::cout<<", world!\n"; });
    std::cout << "Hello";
}

作者链接到一个使用 Clang++/G++ 编译的演示。但是，此代码在 MSVC++2017 中无法为我编译。

错误信息是：

source_file.cpp(20): error C2280: 'Finally<main::<lambda_9000fb389e10855198e7a01ce16ffa3d>>::Finally(Finally<main::<lambda_9000fb389e10855198e7a01ce16ffa3d>> &&)': attempting to reference a deleted function
source_file.cpp(12): note: see declaration of 'Finally<main::<lambda_9000fb389e10855198e7a01ce16ffa3d>>::Finally'
source_file.cpp(26): note: see reference to function template instantiation 'Finally<main::<lambda_9000fb389e10855198e7a01ce16ffa3d>> make_finally<main::<lambda_9000fb389e10855198e7a01ce16ffa3d>>(F &&)' being compiled
        with
        [
            F=main::<lambda_9000fb389e10855198e7a01ce16ffa3d>
        ]

那么return { std::forward<F>(f) }; 和return Finally<F>{ std::forward<F>(f) }; 有什么区别，一个编译，另一个不编译？

Demo

Answer 1

那么return { std::forward<F>(f) };和return Finally<F>{ std::forward<F>(f) };有什么区别

前者将返回对象初始化到位。所以当你有：

X foo() { return {a, b, c}; }
auto&& res = foo();

这将在适当位置构造一个X，然后将res 绑定到它。根本没有任何动静。由于 RVO，这不是一个可以省略的动作，也不是由于 C++17 中带有新值类别的保证省略而可以省略的一个动作。在任何时候，我们甚至都没有考虑移动任何东西。只有一个 X（即使在 C++11 中，即使使用 -fno-elide-constructors，因为没有构造函数调用 elide）。

相比之下，这个：

X bar() { return X{a, b, c}; }
auto&& res2 = bar();

在 C++17 之前，会创建一个临时的 X，然后将其移动到 bar() 的返回中。这将是 RVO 的候选者，并且移动肯定会被忽略，但为了避免移动，移动必须实际上可以开始。在我们的例子中，X 的移动构造函数被删除了，所以这段代码格式不正确。这导致了 Richard Smith 在P0135R0 中的评论最能描述的情况：

// error, can't perform the move you didn't want,
// even though compiler would not actually call it

C++17 之后，没有临时的了。我们有一个X 类型的prvalue，我们用它来初始化bar() 的返回对象，所以我们最终只是简单地从prvalue 的初始化程序初始化返回对象。该行为等同于上面的foo() 示例。不会有任何动作。