为什么 std::function 的初始化器必须是可复制构造的？

根据http://en.cppreference.com/w/cpp/utility/function/function/function http://en.cppreference.com/w/cpp/utility/functional/function/function，初始化器的类型，即F式(5)中，应满足CopyConstructible的要求。我不太明白这一点。为什么不适合F只是 MoveConstructible？

std::function 在内部使用类型擦除，因此 F 必须是可复制构造的，即使您正在使用的特定 std::function 对象从未被复制。

类型擦除工作原理的简化：

class Function
{
    struct Concept {
        virtual ~Concept() = default;
        virtual Concept* clone() const = 0;
        //...
    }

    template<typename F>
    struct Model final : Concept {

        explicit Model(F f) : data(std::move(f)) {}
        Model* clone() const override { return new Model(*this); }
        //...

        F data;
    };

    std::unique_ptr<Concept> object;

public:
    template<typename F>
    explicit Function(F f) : object(new Model<F>(std::move(f))) {}

    Function(Function const& that) : object(that.object->clone()) {}
    //...

};

你必须能够生成Model<F>::clone()，这强制 F 可复制构造。