Có cách nào để suy ra một loại phần tử đơn lẻ của một mảng trong C++

Question

Tôi đang gặp vấn đề với việc suy ra loại phần tử đơn lẻ của mảng C++.

Tôi muốn làm được điều gì đó như:

template <class T> 
struct array_element { }; 

template <class T> 
struct array_element<T[]> { 
    using type = T; 
}; 

int main() { 
    int a[5] = {1, 2, 3, 4, 5}; 
    array_element<decltype(a)>::type element = a[0]; 
} 

Nhưng mã rõ ràng là không biên dịch (int [5] không phù hợp với T []) ...

Answer 1

Bạn cần có lập luận thêm cho chuyên môn:

template <class T, size_t N> 
struct array_element<T[N]> { 
    using type = T; 
}; 

---

Hoặc:

std::remove_reference<decltype(a[0])>::type element = a[0]; 

Hoặc:

auto element = a[0]; 

Answer 2

Sử dụng std::remove_extent lớp mẫu (C++ 11) hoặc std::remove_extent_t alias mẫu (C++ 14) để có được một loại của một phần tử mảng (cả are declared in type_traits header file):

std::remove_extent<decltype(a)>::type element0 = a[0]; 

std::remove_extent_t<decltype(a)> element1 = a[1]; 

Live demo

Bạn cũng có thể sử dụng std::remove_all_extents (C++ 11) hoặc std::remove_all_extents_t (C++ 14) đến get a type of an element of a multidimensional array.