在维护默认移动 /移动分配的同时，请确保派生的类实现静态方法

Question

我想确保一些派生的类实现静态方法，并找到了这样的问题：确保派生的类实现静态方法最高答案使用CRTP在基类驱动器中使用static_assert解决问题，以确保模板参数类型实现static int foo（int int foo（int） ）。

但是，正如对答案的评论所指出的：“这个答案有一个小问题：写出灾难的结果是禁用了移动构造函数和移动分配运算符的产生。它还可以防止对象被琐碎地损坏。因此。因此。 ，在起作用的同时，该方法有缺点（此类弊端适用于其他特殊成员）。” - @matthieu m

有没有办法避免这种情况？我已经尝试将static_assert移动到base的成员函数和静态成员函数，但是在两种情况下，当派生时都不会产生编译时错误类未实现static int foo（）。这是我一直在使用的代码（从上面进行调整，因此线程）：

#include <type_traits>


template <class T>
class Base {
public:
    //~Base() //This works as expected! Compile error because Bad doesn't implement static int foo()
    //{
    //    static_assert(std::is_same<decltype(T::foo()), int>::value, "ERROR: No 'static int foo()' member provided");
    //}

    static void static_test() //This does not work. No compile time error.
    {
        static_assert(std::is_same<decltype(T::foo()), int>::value, "ERROR: No 'static int foo()' member provided");
    }
};

class Good : public Base<Good> {
public:
    static int foo() { return 42; };
};

class Bad : public Base<Bad> {
public:
    static double foo() { return 42; };
};

int main()
{
    Good g;
    Bad b;
}

Answer 1

您拥有的是班级需要实现的概念。您只需在类的定义之后检查一下，可能最容易使用static_assert：

template<typename T>
static constexpr bool assert_is_fooable() {
    static_assert(std::is_same<decltype(T::foo()), int>::value, "ERROR: No 'static int foo()' member provided");
    static_assert(condition_2(), "ERROR: condition 2");
    // More specific error messages given above, this is always
    // true so it can be used in a static_assert
    return true;
}

class Good {
public:
    static int foo() { return 42; };
};

static_assert(assert_is_fooable<Good>());

即使该类未在其他任何地方使用，它甚至可以工作。您也可以将断言放在良好的地方，以期为其具有static int foo（）而不是。

这允许类在琐碎的上破坏性，并且不会抑制移动构造函数或移动分配运算符，因为它实际上没有修改类。

Answer 2

不知道我是否正确理解了这个问题，但我认为你想得太复杂了。让编译器为您想要生成的特殊成员生成定义的解决方法是将它们声明为 default：

struct foo {
    ~foo() {} // prevents the compiler to generate move constructor
    foo(foo&&) = default; // compiler generates a move constructor
};