如何仅使用标准库来确定强类型的基类型是否为 std::array<char, N>
How to determine if strong type's base type is std::array<char, N> using only standard library
想要为任何大小的字符数组扩展 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;
}
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
> { };
想要为任何大小的字符数组扩展 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;
}
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
> { };