参数包感知标准::is_base_of(）

Parameter pack aware std::is_base_of()

本文关键字：包感知 base of is 参数 标准 感知      更新时间：2023-10-16

是否有可能有一个静态断言，即作为模板参数提供的类型是否实现了参数包中列出的所有类型，即。 一个参数包感知 std：：is_base_of（）？

template <typename Type, typename... Requirements>
class CommonBase
{
    static_assert(is_base_of<Requirements..., Type>::value, "Invalid.");
                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
            parameter pack aware version of std::is_base_of()
public:
    template <typename T> T* as()
    {
        static_assert(std::is_base_of<Requirements..., T>::value, "Invalid.");
        return reinterpret_cast<T*>(this);
    }
};

C++17 更新：对于 C++17 的折叠表达式，这几乎变得微不足道：

template <typename Type, typename... Requirements>
class CommonBase
{
    static_assert((std::is_base_of_v<Type, Requirements> && ...), "Invalid.");
};

原文回答 （C++11/14）：您可以使用包扩展和一些静态版本的std::all_of：

template <bool... b> struct static_all_of;
//implementation: recurse, if the first argument is true
template <bool... tail> 
struct static_all_of<true, tail...> : static_all_of<tail...> {};
//end recursion if first argument is false - 
template <bool... tail> 
struct static_all_of<false, tail...> : std::false_type {};
// - or if no more arguments
template <> struct static_all_of<> : std::true_type {};
template <typename Type, typename... Requirements>
class CommonBase
{
    static_assert(static_all_of<std::is_base_of<Type, Requirements>::value...>::value, "Invalid.");
    //                                               pack expansion:      ^^^
};
struct Base {};
struct Derived1 : Base {};
struct Derived2 : Base {};
struct NotDerived {};
int main()
{
  CommonBase <Base, Derived1, Derived2> ok;
  CommonBase <Base, Derived1, NotDerived, Derived2> error;
}

包扩展将扩展到你得到的值列表，方法是在std::is_base_of<Type, ?>::value Requirements...中插入每个类型作为问号，即对于main的第一行，它将扩展到static_all_of<true, true>，对于第二行它将是static_all_of<true, false, true>

仅供将来参考，因为我刚刚遇到了这个问题，使用 C++17，您现在可以使用这样的折叠表达式：

template<typename Base, typename... Args>
constexpr auto all_base_of()
{
    return (std::is_base_of<Base, Args>::value && ...);
}
static_assert(all_base_of<Base, A, B, C>());
相关文章：