c++ - 如何确定强类型的基类型是否为 std::array仅使用标准库

Question

想要扩展base_is_char_array任何大小的字符数组。

打开与使用完全不同的解决方案is_base_of。但是由于我无法控制的原因，我被限制在标准库中。

除了迭代到固定的最大数组大小的东西之外，我没有想法。

#include <array>
#include <iostream>

template< class Derived > auto base_is_char_array(){
    return std::is_base_of<std::array<char, 10>, Derived>::value;
}

int main() {
    class tester : std::array<char, 10>{};
    std::cout << base_is_char_array<tester>() << std::endl;
    std::cout << base_is_char_array<int>() << std::endl;
}

标签： c++templatestypetraitsstdarray

Answer 1

cppreference给出了一个可能的实现std::is_base_of。您可以使用相同的技术来实现您的base_is_char_array：

namespace details {
    template <std::size_t N>
    std::true_type  test_ptr_convertible_to_char_array(const volatile std::array<char, N>*);
    std::false_type test_ptr_convertible_to_char_array(const volatile void*);
 
    template <typename>
    auto test_base_is_char_array(...) -> std::true_type;
    template <typename D>
    auto test_base_is_char_array(int) ->
        decltype(test_ptr_convertible_to_char_array(static_cast<D*>(nullptr)));
}
 
template <typename Derived>
struct base_is_char_array :
    std::integral_constant<
        bool,
        std::is_class<Derived>::value &&
        decltype(details::test_base_is_char_array<Derived>(0))::value
    > { };