T 배열이 T 포인터로 쇠약 해지면 배열 T로 다시 변환 할 수 있습니까?

Question

그래서 우리는 내가 배열이 있다고 가정하자, 나는 'A'의 형식을 확인한다면 지금

int a[3] = { 1, 2, 3 }; 

을 내 컴퓨터에서 나는 얻을 :

cout<<typeid(a).name(); // prints 'A3_i' 

을 지금은 주소를 가지고가는 경우 'A', 그 주소를 역 참조, 유형이 변경되지 않는의 ('주소를 복용'때문에 내 마음에, 내가 정말 좋아하는와 '역 참조'입니다 역 동작) : 그러나 나는 derefere 경우

cout<<typeid(*&a).name(); // also prints 'A3_i' 

nce 'a'를 먼저 입력 한 후 그 주소를 가져 가면 은으로 변경됩니다 (내가 선호하는 배열을 역 참조 할 때 내가 int를 가져야하고 주소를 취할 때 내가 마음에 들지 않습니다. 그 INT, 나는 포인터 - 투 - INT를 받아야하고, 밝혀 I)가 수행

1) 배열 형이로 붕괴되면 : 그래서 여기

cout<<typeid(&*a).name(); // prints 'Pi' 

내 두 가지 질문 있습니다 pointer-type, 어쨌든 배열 타입으로 되돌릴 수 있습니까?

cout<<typeid((int[3]) &*a).name(); // does not compile 
// "error: ISO C++ forbids casting to an array type `int [3]'" 

일하는 것이 다른 캐스트가 있습니까 :

나는 주조와 같은 - 당신 - 방금 본건 케어의 분명한 전략을 시도? 또는이 유형의 변환은 엄격히 제한을 벗어나는 것입니까?

2) 배열 유형으로 되돌아 갈 수 있는지 여부에 관계없이 정확히 감추어 져있는 포인터 정보에서 슬라이스되고 손실되는 정보는 무엇입니까?

포인터 유형과 배열 유형이 동일하지 않다는 것을 알고 있습니다. 필자는 배열 타입이 포인터 타입에 저장된 정보의 엄격한 수퍼 셋이라고 가정합니다. 이 말이 맞습니까?

배열 형식의 추가 정보는 다음과 같습니다. 배열이 스택에 있는지 여부와 배열의 크기에 대한 정보 (배열의 크기를 어떻게 든 알고 있어야합니다. 유형의 일부입니다. 맞습니까?). 어레이 유형에 숨겨진 다른 정보가 있습니까?

Answer 1

만약 당신이 찾고있는 것이 확실하지는 않지만 typecasting을 사용하여 원래 배열과 같은 유형의 객체를 얻을 수 있습니다. 아이디어는 정보를 복구하기 위해 거의 알려지지 않은 유형의 포인터 - 배열 및 참조 - 배열을 사용하는 것입니다. 예를 들어

char arr[137]; 
cout << sizeof(arr) << endl; // Prints 137 
cout << sizeof(arr[0]) << endl; // Prints 1 
cout << sizeof(&arr[0]) << endl; // Prints 4 (on my system) 
cout << sizeof(*&arr[0]) << endl; // Prints 1 
cout << sizeof((char (&) [137]) *&arr[0]) << endl; // Prints 137 

아이디어는 우리 char (&)[137] 137 개 문자의 배열에 대한 레퍼런스를 입력 *&arr[0]를 이용하여 생성 된 참조 캐스트이다. 이 유형의 참조가 있으므로 sizeof 연산자는 137 자의 배열 크기가 실제로 137이므로 137을 인쇄해야한다는 것을 알고 있습니다.

그러나 올바른 유형으로 유형 변환하면이 기능이 작동합니다! 예를 들어,이 완벽하게 합법적이다 :

char arr[137]; 
cout << sizeof((char (&) [42]) *&arr[0]) << endl; // Prints 42 

그래서 당신은 정보를 복구 할 수 있지만, 당신은 쉽게 그 정보가 잘못하고 잘못된 정보를 복구 한 경우에 발생할 수 있습니다.

다시 말하지만, 이것이 사용자가 찾고자하는 것인지 확실하지 않지만 실제로 배열 크기 정보를 얻기 위해 캐스팅을 사용할 수 있음을 보여줍니다.

Answer 2

이 질문에 대한 완전한 대답 아니지만, 여기에 내가 제공하는 기능 - 내가이 포인터에 부패되면 다시 배열 형식으로 얻을 수있는 방법이라고 생각하지 않습니다

.

원의 배열 형태 인 T [N]N은 배열의 요소의 개수. 일단 포인터로 쇠퇴하면 크기 정보가 손실됩니다. @ templatetypdef의 answer이 보여 주듯이 포인터를 배열 유형으로 다시 캐스팅 할 수 있습니다.하지만 그는 캐스팅을 통해 컴파일러에게 크기가 무엇인지 알려주고 실제로 그 정보를 추론 할 방법이 없다는 것을 증명합니다 포인터에서.

원래 형식 정보를 유지하려면 포인터 대신 참조로 배열을 전달해야합니다.

#include <iostream> 
#include <typeinfo> 

template<size_t N> 
void ByRef(int(&array)[N]) 
{ 
    std::cout << typeid(array).name() << std::endl; 
} 

void ByPointer(int *array) 
{ 
    std::cout << typeid(array).name() << std::endl; 
    std::cout << typeid((int(&)[4])array).name() << std::endl; 
    std::cout << typeid((int(&)[42])array).name() << std::endl; 
} 

int main() 
{ 
    int a[4] = {1,2,3,4}; 

    ByRef(a); 
    ByPointer(a); 

    return 0; 
} 

위의 출력은 당신이에 얻고 무엇인지

A4_i 
Pi 
A4_i 
A42_i 

Answer 3

아니라, 당신은 아무것도의 &를 취하면 당신이 가진 전부는 주소입니다. 그리고 단순한 객체가 아닌 데이터 구조에는 설명자가 없기 때문에 주소가 주어지면 주소가 무엇이든간에 더 많은 정보를 얻을 수있는 방법이 없습니다. 예를 들어 char을 처리하는 경우에도 포인터 유형에 의해서만 전달됩니다. void*으로 캐스팅하면 해당 정보가 손실됩니다 (존재 한도까지).

나는 포인터 유형과 배열 유형이 동일하지 않다는 것을 알고 있습니다. 필자는 배열 타입이 포인터 타입에 저장된 정보의 엄격한 수퍼 셋이라고 가정합니다. 이 말이 맞습니까?

정보가 유형에 "저장되지 않았습니다. 정보 (런타임에 존재하는 경우)는 변수에 저장됩니다. C/C++에는 비 객체에 대한 동적 유형 지정이 없으므로 유형에 정보가 저장되지 않을뿐만 아니라 유형 정보가 어디에도 저장되지 않습니다. 유형 정보는 순전히 컴파일 시간 개념이며 컴파일러에 의한 정적 분석의 결과로 프로그램의 한 지점에서 다른 지점으로 "흐릅니다". 즉, 그것은 편리한 픽션입니다.