判断是否存在移动构造函数的特征

Question

如何询问编译器一个类型是否有移动构造函数？

std::is_move_constructible 不适用，因为它会返回 true，即使该类型仅可复制构造。

无论是否实际存在用户定义的移动构造函数，是否都会返回一些东西？

编辑：

作为背景，我正在尝试创建一个类型擦除的类，它将（给定一组类型）决定是否值得保存移动构造函数的类型擦除版本。

如果这些类型中的至少一种确实有一个“有趣”的移动构造函数（非平凡的并且实际实现），那么它应该节省移动构造函数，否则它不会并且会节省空间

#include <type_traits>

struct NoMove {
    NoMove(NoMove const&) {}
    //NoMove(NoMove&&) = delete;
};

struct InterestingMove {
    InterestingMove(InterestingMove&&) {}
};

template<typename T>
struct is_interesting_move_constructor :
    std::integral_constant<bool,
        std::is_move_constructible<T>::value &&
        !std::is_trivially_move_constructible<T>::value> {};

// Fails:
//static_assert(!is_interesting_move_constructor<NoMove>::value);

// Is fine:
static_assert(is_interesting_move_constructor<InterestingMove>::value);

这个尝试的问题是它应该在NoMove 上返回false，但它不会因为is_move_constructible 不会根据实际是否存在移动构造函数返回true

键入擦除的类草图（像std::any 一样思考，但仅限于一组类型）：

template<typename... Ts> // One of these types will be held
struct type_eraser_thing
{
    void* obj; // pointer to actual thing
    std::function<void*(void*,void*)> move_constr;
    std::function<void*(void*,void const*)> copy_constr;
        // Plus other goodies not shown
    std::size_t size;

    template<typename T>
    type_eraser_thing(T const& other)
    {
        // static_assert to make sure T is in Ts...

        // Get the memory
        obj = malloc(sizeof(T));
        obj = new (obj) T(other);
        size = sizeof(T);

        // Save the move_constructor
        move_constr = [](void* dest, void* src){
            return new (dest) T(std::move(*reinterpret_cast<T*>(src)));
        };
    }
    // Other stuff (copy constructor, etc)
    //


    // The real problem the move constructor:
    type_eraser_thing(T&& other)
    {
        obj = malloc(other.size);
        obj = other.move_constr(obj,other.obj);
        obj.move_constr = other.move_constr;
        other.obj = nullptr;

    }
};

在移动构造函数的实现中，如果移动构造函数不做任何事情，那么调用 std::function（不是真的，但类似的东西）是没有意义的，所以我想 SFINAE 它如果它什么都不做就退出

Answer 1

您似乎正在寻找的概念是：

template <typename T>
concept C = not std::is_trivially_move_constructible_v<T>;

这是demo。

如果你没有 c++20，你可以自己编写这个特性，或者在需要的地方使用右侧，因为它很短。