#include <iostream>
#include <typeinfo>
#include <type_traits>
 
int main()
{
    int a[20] = { 1, 2, 3, 4 } ; // array of 20 int
 
    decltype(a) b = { 1, 2, 3, 4 } ; // b is of the same type as a - an array of 20 int
 
    typedef int array_type[20] ; // 'array_type' is an alias for 'array of 20 int'
    using array_type = int[20] ; // 'array_type' is an alias for 'array of 20 int'
 
    array_type c = { 1, 2, 3, 4 } ; // c is an array of 20 int
 
    // b and c are of the same type
    std::cout << std::boolalpha ;
    std::cout << "b and c are of the same type: "
               << std::is_same< decltype(b), decltype(c) >::value << '\n' ; // true
 
    array_type d[5] = { { 1, 2 }, {}, {6} } ; // array of 5 array_type
 
    int e[5][20] = { { 1, 2 }, {}, {6} } ; // array of 5 array of 20 int
 
    // d and e are of the same type
    std::cout << "d and e are of the same type: "
               << std::is_same< decltype(d), decltype(e) >::value << '\n' ; // true
 
    int f[5][15] = { { 1, 2 }, {}, {6} } ; // array of 5 array of 15 int
 
    // d and f are of different types
    std::cout << "d and f are of the same type: "
               << std::is_same< decltype(d), decltype(f) >::value << '\n' ; // false
 
    // an (expression of type) array can be implicitly converted to a pointer,
    // the result of the conversion is a pointer to the first element of the array.
 
    int* p1 = &(a[0]) ; // address of first element
    int* p2 = a ; // a is converted to a pointer, both p1 and p2 point to the first element
 
    std::cout << "p1 == p2 : " << ( p1 == p2 ) << '\n' ; // true
}
 

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dHlwZWluZm8+CiNpbmNsdWRlIDx0eXBlX3RyYWl0cz4KCmludCBtYWluKCkKewogICAgaW50IGFbMjBdID0geyAxLCAyLCAzLCA0IH0gOyAvLyBhcnJheSBvZiAyMCBpbnQKCiAgICBkZWNsdHlwZShhKSBiID0geyAxLCAyLCAzLCA0IH0gOyAvLyBiIGlzIG9mIHRoZSBzYW1lIHR5cGUgYXMgYSAtIGFuIGFycmF5IG9mIDIwIGludAoKICAgIHR5cGVkZWYgaW50IGFycmF5X3R5cGVbMjBdIDsgLy8gJ2FycmF5X3R5cGUnIGlzIGFuIGFsaWFzIGZvciAnYXJyYXkgb2YgMjAgaW50JwogICAgdXNpbmcgYXJyYXlfdHlwZSA9IGludFsyMF0gOyAvLyAnYXJyYXlfdHlwZScgaXMgYW4gYWxpYXMgZm9yICdhcnJheSBvZiAyMCBpbnQnCgogICAgYXJyYXlfdHlwZSBjID0geyAxLCAyLCAzLCA0IH0gOyAvLyBjIGlzIGFuIGFycmF5IG9mIDIwIGludAoKICAgIC8vIGIgYW5kIGMgYXJlIG9mIHRoZSBzYW1lIHR5cGUKICAgIHN0ZDo6Y291dCA8PCBzdGQ6OmJvb2xhbHBoYSA7CiAgICBzdGQ6OmNvdXQgPDwgImIgYW5kIGMgYXJlIG9mIHRoZSBzYW1lIHR5cGU6ICIKICAgICAgICAgICAgICAgPDwgc3RkOjppc19zYW1lPCBkZWNsdHlwZShiKSwgZGVjbHR5cGUoYykgPjo6dmFsdWUgPDwgJ1xuJyA7IC8vIHRydWUKCiAgICBhcnJheV90eXBlIGRbNV0gPSB7IHsgMSwgMiB9LCB7fSwgezZ9IH0gOyAvLyBhcnJheSBvZiA1IGFycmF5X3R5cGUKCiAgICBpbnQgZVs1XVsyMF0gPSB7IHsgMSwgMiB9LCB7fSwgezZ9IH0gOyAvLyBhcnJheSBvZiA1IGFycmF5IG9mIDIwIGludAoKICAgIC8vIGQgYW5kIGUgYXJlIG9mIHRoZSBzYW1lIHR5cGUKICAgIHN0ZDo6Y291dCA8PCAiZCBhbmQgZSBhcmUgb2YgdGhlIHNhbWUgdHlwZTogIgogICAgICAgICAgICAgICA8PCBzdGQ6OmlzX3NhbWU8IGRlY2x0eXBlKGQpLCBkZWNsdHlwZShlKSA+Ojp2YWx1ZSA8PCAnXG4nIDsgLy8gdHJ1ZQoKICAgIGludCBmWzVdWzE1XSA9IHsgeyAxLCAyIH0sIHt9LCB7Nn0gfSA7IC8vIGFycmF5IG9mIDUgYXJyYXkgb2YgMTUgaW50CgogICAgLy8gZCBhbmQgZiBhcmUgb2YgZGlmZmVyZW50IHR5cGVzCiAgICBzdGQ6OmNvdXQgPDwgImQgYW5kIGYgYXJlIG9mIHRoZSBzYW1lIHR5cGU6ICIKICAgICAgICAgICAgICAgPDwgc3RkOjppc19zYW1lPCBkZWNsdHlwZShkKSwgZGVjbHR5cGUoZikgPjo6dmFsdWUgPDwgJ1xuJyA7IC8vIGZhbHNlCgogICAgLy8gYW4gKGV4cHJlc3Npb24gb2YgdHlwZSkgYXJyYXkgY2FuIGJlIGltcGxpY2l0bHkgY29udmVydGVkIHRvIGEgcG9pbnRlciwKICAgIC8vIHRoZSByZXN1bHQgb2YgdGhlIGNvbnZlcnNpb24gaXMgYSBwb2ludGVyIHRvIHRoZSBmaXJzdCBlbGVtZW50IG9mIHRoZSBhcnJheS4KCiAgICBpbnQqIHAxID0gJihhWzBdKSA7IC8vIGFkZHJlc3Mgb2YgZmlyc3QgZWxlbWVudAogICAgaW50KiBwMiA9IGEgOyAvLyBhIGlzIGNvbnZlcnRlZCB0byBhIHBvaW50ZXIsIGJvdGggcDEgYW5kIHAyIHBvaW50IHRvIHRoZSBmaXJzdCBlbGVtZW50CgogICAgc3RkOjpjb3V0IDw8ICJwMSA9PSBwMiA6ICIgPDwgKCBwMSA9PSBwMiApIDw8ICdcbicgOyAvLyB0cnVlCn0K