C++ 派生类型必须定义静态 constexpr

Question

有没有办法强制派生类型static constexpr在 C++ 中定义 a ？我有一个基类，我想强制每个派生类定义一个static const bool has_property.

我尝试使用 CRTP 执行此操作（以便每个派生类都有自己的static const）：

template <typename T, class MyClass>
struct Base {
    T data;
    static constexpr bool has_property;
};

template <typename T>
struct Derived : public Base<T, Derived<T> > {
    static constexpr bool has_property = false;
};

但是编译器抱怨Base::has_property没有初始化。

我怎样才能做到这一点？

Answer 1

我们可以将 a 插入static_assert到 的构造函数中Base：

template <typename T, class MyClass>
struct Base {
    T data;

    Base() {
        static_assert(std::is_same<
                        typename std::decay<
                          decltype(MyClass::has_property)
                        >::type, bool
                      >::value, 
                      "Must be a bool");
        static_assert(MyClass::has_property || true, 
                      "Must be constexpr");
    }
};

此检查仅在派生类被实例化并使用默认构造函数时才起作用Base。该constexpr检查目前在 g++ 4.7 中不起作用。

或者，您可以使用类型特征而不是constexpr静态成员，例如

template <typename T>
struct has_property;

template <typename T>
struct has_property<Derived<T>> : std::true_type {};

// use as: has_property<X>::value.