Có thể trích xuất kích thước mảng từ đối số mẫu không?

Question

Nếu đây là bản sao tôi xin lỗi. Tôi nhìn xung quanh và tìm thấy các vấn đề tương tự nhưng không có gì chính xác như thế này.

Nếu tôi nhanh chóng một mẫu như vậy ...

MyClass<int[10]> c; 

Làm thế nào tôi có thể viết mẫu để có được quyền truy cập vào tất cả các loại và kích thước mảng? Tôi đã thử tất cả mọi thứ tôi có thể nghĩ và tôi không thể có được nó.

Tôi đã lấy cảm hứng từ mẫu std :: chức năng cho phép bạn sử dụng cú pháp tương tự như nguyên mẫu hàm, như ...

std::function<int(MyClass&)> myfunc; 

Vì vậy, tôi nghĩ rằng nó sẽ được tốt đẹp để có một cái gì đó tương tự cho mảng và kích thước của nó. Tôi có thể sử dụng bất kỳ tính năng C++ mới nhất nào (C++ 11/14).

Answer 1

Bạn có thể thêm một đặc tả từng phần mà trông như thế này:

template <typename T, ptrdiff_t N> 
class MyClass<T[N]> 
{ 
}; 

Dưới đây là một demo.

Answer 2

template <typename T, typename = void> 
struct deduce 
{ 
}; 

template <typename T> 
struct deduce<T, 
    typename ::std::enable_if< 
    ::std::is_array<T>{} 
    >::type 
> 
{ 
    using value_type = 
    typename ::std::decay<decltype(::std::declval<T>()[0])>::type; 

    static constexpr auto size = sizeof(T)/sizeof(value_type); 
}; 

Answer 3

template<class Arr> 
struct array_size {}; 
template<class T, size_t N> 
struct array_size<T[N]>:std::integral_constant<std::size_t, N>{}; 
template<class Arr> 
struct array_element {}; 
template<class Arr> 
using array_element_t = typename array_element<Arr>::type; 
template<class T, size_t N> 
struct array_element<T[N]>{using type=T;}; 

bây giờ bạn có thể array_size<ArrType>{} và array_element_t<ArrType> mà không cần giải nén các loại.