코드짤때 여러분은 어떻게?

저는 두번째 방식을 사용합니다. 어떤 변수가 의미있는 곳에서만 알려질 수 있도록
scope를 잡는 것이 저의 원칙이거든요. 내장형의 경우 루프 안에서 매번 할당/해제가
반복될 수도 있는데, 이것은 컴파일러의 최적화와 관련이 있고 웬만한 컴파일러는
이런 최적화는 다 할 수 있을 거라고 생각합니다.
클래스 형이라면 당연히 생성자와 소멸자가 반복 호출되겠죠. 그러나 이것도 그리
큰 문제는 아니라고 봅니다. 루프 바깥에서 변수를 선언했다고 하더라도 루프 안에서
새로운 값을 대입하는 일은 하게 되겠죠. 그리고 보통 대입은 소멸과 새로운 값으로
초기화하는 내용으로 구현되는데, 그렇다면 실질적으로 생성자/소멸자가 호출되는
것이나 다름없습니다.
저는 성능보다는 코드의 논리적인 의미를 더 중시하는 편이라서 두번째 스타일을
선호하긴 하는데, 만약 성능상의 문제로 코드를 변경해야 하는 상황이라면 블럭
밖에서 선언하는 것도 고려해볼 수는 있겠습니다. 프로파일링을 거치긴 하겠지만요.

두번째 문제에 대해서는 CN님과 비슷한 생각입니다. 두 타입이 개념적으로 별로
관련이 없다면 따로따로 typedef 하겠습니다. 실제로는 같은 타입이라고 하더라도요.

typedef __gnu_cxx::hash_map<string,int> PhoneNumberMap; 
typedef __gnu_cxx::hash_map<string,int> ZipCodeMap; 

저 같은 경우 작명은
typedef __gnu_cxx::hash_map<string,int> PhoneNumberMap;
이러게 하지 않고
typedef __gnu_cxx::hash_map<string,int> HStringInt;

이렇게 하고 실제 변수에
HStringInt PhoneNumber;

이렇게 합니다.

typename(HStringInt) 은 그 변수를(PhoneNumber) 어떻게 사용해야하는지 구분해주는 용도로 간주합니다.

typedef __gnu_cxx::hash_map<string,int> PhoneNumberMap;
만약 이렇게 선었했다면
PhoneNumberMap numMap;
이런식으로 하는건 같은 걸 두번 쓰는거나 다름없다고 생각하거든요.

그리고 스택은
kcando 님 말씀 처럼 스택포인터의 변화는 함수콜때만 변화하며
loop 같은데서는 변하지 않습니다. 그래서 loop 안에 int 와 같은 기본 타입이나 생성자가 없는 struct 같은건 포퍼먼스에 영향이 없습니다.
그리고 스택에서 작업하는건 대부분 1차 캐쉬에 적재되어서 작동하기 때문에
매우 빠릅니다. 포퍼먼스에 크리티컬한 섹션이 아니라면 가독성을 생각하시는것도 좋다고 봅니다.

블럭 안으로 들어갔다가 나오면 생성과 소멸이 되는건 맞습니다.
그래서 생성자와 소멸자가 호출되는 것 역시 맞습니다.

다만 스택포인터의 사용법이 rasungboy님께서 생각하는 것과는 다르게 컴파일러는 처리할겁니다.

저도 예전에 이런 생각을 할때 스택포인터 처리를 이런식으로 하지 않을까 생각을 했습니다.

int a; // 선언하면 sp(스택포인터) 가 4 증가, 변수 a 는 sp - 4 에 위치
int b; // sp 가 4증가, 변수 a는 sp - 8; b 는 sp - 4 
int c; // sp 가 4증가, 변수 a는 sp - 12; b 는 sp - 8; c 는 sp - 4
print(); // 함수 call, sp 변화없음

하지만 사실 이렇게 하지 않습니다.
함수 호출에 한번 셋팅된후

int a; // sp 그대로, 변수 a 는 sp;
int b; // sp 그대로, 변수 a 는 sp; b 는 sp + 4;
int c; // sp 그대로, 변수 a 는 sp; b 는 sp + 4; c 는 sp + 8;
print(); // 함수 call, sp 는 12 증가;