스택 변수에 메모리를 어떻게 할당합니까? VS (자료)에

Question

, 나는 다음과 같은 실행

이

int main(void) 
{ 
    char b[] = "123"; 
    char a[] = "1234567"; 
    printf("%x %x\n", b,a); 
    return 0; 
} 

가 나는 것을 볼 수 있습니다, a의 MEM 주소는 B + 3 (문자열의 길이)입니다. 이는 메모리가 틈없이 할당되었음을 보여줍니다. 그리고 이것은 최소한의 기억이 사용된다는 것을 보장합니다. 그래서 저는 이제 모든 컴파일러가 그렇게 할 것이라고 생각합니다. 여기이 추측을 확인하고 싶습니다. 누군가 제게 좀 더 공식적인 증거를 주거나 추측이 우연의 일치라고 말 할 수 있습니까?

Answer 1

아니요, 항상 완벽한 데이터 패킹이 보장되는 것은 아닙니다. 예를 들어

은, 내가 컴파일 g의 ++에서이 코드를 runned, 그 차이는 당신이 here에 대한 자세한 내용을보실 수 있습니다 8. ​​

입니다.

TL; DR : 하나의 흥미로운 : 컴파일러는

UPD (그들을 위해이 같은 주소와 함께 작동하도록 쉽게) 프로세서를 돕기 위해 단지 몇 가지 상수 (항상 기계 워드 길이)로 나눌 주소에 메모리의 개체를 정렬 할 수 있습니다 예에 대한 정렬 : 나를 위해

#include <iostream> 
using namespace std; 

struct A 
{ 
    int a; 
    char b; 
    int c; 
    char d; 
}; 

struct B 
{ 
    int a; 
    int c; 
    char b; 
    char d; 
}; 

int main() 
{ 
    cout << sizeof(A) << " " << sizeof(B) << "\n"; 
} 

, 그것은의

16 12 

Answer 2

각 변수에 대해 어떤 주소가 선택되는지는 보장 할 수 없습니다. 서로 다른 프로세서는 예를 들어 변수 정렬에 대해 서로 다른 요구 사항 또는 기본 설정을 가질 수 있습니다.

또한 예제에서 주소 사이에 최소한 4 바이트가 있어야합니다. "123"에는 4 바이트가 필요합니다. 추가 바이트는 널 종결자가됩니다.

Answer 3

[] 및 b []를 선언하고/또는 b의 길이를 늘리는 순서를 바꿔보십시오.

저장 용량 할당 방식에 대한 매우 큰 가정을하고 있습니다. 컴파일러에 따라 문자열 리터럴은 스택에없는 리터럴 풀에 저장 될 수 있습니다. 그러나 []와 b []는 스택의 요소를 차지합니다. 따라서 다른 테스트는 int c을 추가하고 해당 주소를 비교하는 것입니다.