여기에서 본사정책에 의한 보조금, 제조사 판매장려금을 할인해 준다. 보통 말하는 “전략폰”이 여기에 해당한다.
특정 단말이 특정 시점에 갑자기 싸게 풀리는 경우가 있는데, 전략폰으로 지정되면서 보조금이 증가하는 경우다.
물론 불법이지만, 알음알음 하는거니까 넘어가기로 한다.

참고로 인기있는 폰이 전략폰 지정되는 경우는 없다. 잘 팔리는데 돈주고 깎아줄 이유가 없으니까.
대부분 후속모델 내지는 경쟁모델이 나와서 재고떨이를 하는 경우거나, 아예 컨셉부터 보급형으로 제작된 폰이 주로 지정된다.
예를 들면 엑스페리아 X1. 아이폰 vs 옴니아 경쟁으로 90만원 단말이 70만원 할인되어 공짜로 풀리고 있다. 안습.

또, 일부 대리점에서는 기기가격 일부를 대납하기도 한다. 대리점 보조금도 일단은 불법.
특히 특정 부가서비스 가입을 조건으로 할인하는 경우가 잦으며, 대부분 가격은 비싸면서 별 쓸모는 없는 부가서비스인 경우가 많다.
물론 무선인터넷 요금제 같은 경우는 오히려 유리할 수 있으므로 잘 따져보자.
(요금제 할인이 생기면서 요금제 가입조건은 많이 사라졌다.)

여튼 보조금 및 판매장려금, 대리점 보조금 등을 제하고 실제로 소비자가 내야 하는 금액을 할부원금이라고 한다.
물론 일시불로 납부할 수도 있고, 할부를 끊을 수도 있다. 여하튼 이 문서에서는 할부원금이라 칭한다.

접어라

일정기간 회선을 유지하기로 약정하고 할부원금을 선할인받는 제도를 약정할인이라고 한다.
일시불로 가입하는 경우에도 혜택을 받을 수 있고, 할부조건도 자유롭게 정할 수 으나, 할부할인보다 혜택이 적다.

약정기간을 채우지 못하고 해지, 명의변경 등이 발생하면 위약금을 한방에 납부해야 한다.
위약금은 다음 공식으로 결정된다(3사공통).

위약금 = 약정금액 * (약정 남은 날짜) / (약정 전체 날짜)

보통 현금완납폰은 약정폰이라고 보면 된다.
출고가에서 보조금, 판매장려금, 대리점 보조금 등을 빼서 할부원금을 약정금액에 맞춘 다음, 약정을 걸어서 0원으로 떨어뜨리는 것.

접어라

단말기 할부유지를 조건으로 할부금액을 후할인받는 제도가 할부할인이다.
할부원금 자체는 변하지 않지만, 월 할부금액에서 얼마씩 할인이 들어가게 된다.

예를들어 할부원금 300,000원 스마트폰을 24개월 할부가입한다고 하면…
SKT : 월할부금 12,500원 – T할부지원 9,200원 = 실납부금 3,300원 (+이자)
KT : 월할부금 12,500원 – 쇼킹스폰서 8,333원 = 실납부금 4,167원

각 통신사별 주의할 점.

SKT
할부시 연 5.9% 이자가 붙는다. 따라서 실납부금에 이자를 더해야 한다.
할부원금 220,800원, 24개월 시 총이자 13,824원이며, 할부원금에 비례하므로 계산해 보도록 한다.

KTF
할부기간 및 할부원금에 따라 1~3만원의 채권보전료가 1회 발생한다. 추가 지불 금액에 해당하므로 따져보도록 한다.

접어라

약정할인/할부할인에 특정 요금제 사용을 조건으로 추가 할인을 하는 것이 요금제할인이다.
약정할인의 경우 약정금액=선할인금액이 (추가할인금액*약정기간) 만큼 증가하며, 할부할인의 경우 월 할인금액이 증가한다.

SKT
SKT는 할부할인을 유지하면서 요금제할인을 해지할 수 있다고 한다.
(요금제 변경시에도 할부할인은 계속됨. 약정할인은 미확인.)

KT
아이폰은 i형만 가입 가능하며, 요금제에 따라 할부할인 금액이 달라진다.
그 외의 기기는 세 프로그램 모두 180,000원 + 요금제 할인이 된다. 고급형보다 약간 적으므로 주의할 것.

KT는 요금제할인만 해지할 수 없다. 쇼킹스폰서 i형에서 쇼킹스폰서 고급형으로 넘어갈 수 없다는 의미.
같은 프로그램 내에서 요금제 변경은 허용되므로, 24개월동안 i형 요금제를 써야 한다. 아니면 할부할인을 포기하던지.

접어라

int a[3];
(…)
a[i] = 3;
*(a+i) = 3;

위 두 코드는, 디스어셈블 뜯어보면 똑같은 코드가 나온다는 이야기.

이제 형식상의 문제인데, C 수업을 착실히 들은 사람은 알겠지만 a[i]라는 배열에서 a는 첫 번째 원소의 주소를 나타내는 포인터 상수[footnote]int * const. 틀리면 댓글주셈.[/footnote]라고 하였다.
자 그렇다면, &a 는 무엇을 나타낼까?

컴파일을 해 봐도, &a는 틀린거야! 라면서 오류를 뿜어내지는 않는다. 그 값을 출력해도 a와 다를 것은 없다.
그런데, 이상하게도

int a[3];
int *p1 = a;
int *p2 = &a;

라는 코드를 실행하면, 세 번째 줄에서 오류를 내뿜는다.
그렇다면, & 연산자는 주소 연산자니까 * 를 하나 더 붙이면 될까…??

int a[3];
int *p1 = a;
int **p2 = &a;

한 번 돌려보자. 역시나 오류를 내뿜는다. 아ㅅㅂ 뭐가 문제야.

접어!

예를 들어서…

int data;
&data; // 형식이 뭔데?

를 생각해 보자.
data는 그냥 int형이 되겠다. 따라서 &data는

{ int, int, int, …, int, int data, int, …, int, int, int }

라는 가상의 배열에서 data의 위치이다.
자, 이런 배열을 만들려면 뭘 써야 하는가? 당연히 int * 지.

이제 좀 더 가보자.

int a[3]; // 이번엔 배열이다.
&a[0]; // 이건 뭐야…
a; // 이건 왠지 알거같아…
&a; // 이건 또 뭐고.

자 우선. &a[0]. 연산자 우선순위상 [] 가 먼저 연산되니까, &의 피연산자는 int형이다.
또 쓰기 귀찮다. 결국 위에서 본 data와 경우가 같다. 형태는 int *.

다음은 a. 이건 수업시간에 들은 것처럼 첫 번째 원소의 주소, 그러니까 &a[0] 인 것은 확실하다…
그런데 뭔가 미묘하게 다르다. 이놈의 자료형은 int [3] 이다. 응?
이 말은 무슨 말이냐면, “int *와 비슷하긴 한데[footnote]실제로는 int * const 에 해당한다. 배열 주소가 바뀔 수는 없으니까…[/footnote], 길이가 3으로 명백해!” 라는 의미이다. 아ㅅㅂ 머리아프다.

여하튼 여기에서 체크해 두어야 할 것은, 배열도 결국에는 유도 자료형이라는 말이다.
int a[3] 은 “int형 3개를 원소로 갖는 배열 a를 만들어!” 가 아니고, “int형 3개를 이어붙인 배열구조를 갖는 변수 a를 만들어!” 라는 의미다.
아아… C 배운지 3년찍고 4년만에 겨우 이해했다. 변수가 배열이 아니라, 배열 형태를 갖는 변수다. ㅅㅂ 무슨소리래.

어쨌든 마지막, &a. &의 피연산자 형태는? int [3]인 배열이다. 그렇다면 다음과 같이 되겠다.

{ {int, int, int}, {int, int, int}, …, {int, int, int}, {a[0], a[1], a[2]}, {int, int, int}, …, {int, int, int}, {int, int, int} }

라는 배열에서 a 배열의 위치란 말이지. 반환형은? “int 3개를 이어붙인 구조의 배열” 형태의 변수를 가리키는 포인터, 즉 int (*)[3] 이다.
아ㅅㅂ 복잡하다… 이건 또 뭐여… 하겠지만, 그냥 납득해라. 글쓰는 나도 뭔소린지 제대로 모르겠다.
일단은, int 3개짜리 배열을 통짜로 가리키는 포인터라고만 알아두면 되겠다. 이 말을 이해했다면 이 글을 읽을 필요도 없는거고…

참고로, 포인터를 그 맴버로 갖는 배열과, 배열 자체를 가리키는 포인터 하나를 구분하기 위하여 다음과 같은 방법을 사용한다.

포인터를 맴버로 갖는 배열 : int *p[n] : int형 포인터 n개 모인 새로운 자료형을 갖는 변수 p.
배열 자체를 가리키는 포인터 : int (*p)[n] : int형 n개가 모인 자료형을 가리키는 포인터 p.

구분 참 지랄같지만, 여튼 둘이 다르다는 것만 이해해 두자. 참고로 이런 구분방식은 함수 포인터에서도 나온다. 젭라…

그렇담 &&a 도 있을 수 있지 않을까? 미안하지만 그딴건 없다 -.- 대신 int (**)[3] 은 있다.

접어!

int a[2][3];

이제부터 &a, a, &a[0], a[0], &a[0][0], a[0][0] 여섯 개를 다 살펴보아야 한다.
불친절하게도 그림이 없으니, 알아서 메모지에 그림 그리면서 판단하면 되겠다.
일단 배열구조는 다음과 같겠지.

{ {n00, n01, n02} {n10 n11 n12} }

1. a[0][0]
이건 간단하다. n00 자체를 가리킨다.

2. &a[0][0]
&의 피연산자는? int 형이다. 따라서 다음과 같겠다.

{ int, int, …, int, n00, n01, n02, n10, n11, n12, int, …, int, int }

하여 형태는 int * 되시겠다.

3. a[0]
a[0]은 무엇을 가리키는가…?? a 배열의 첫 번째 원소일 것이다.
그렇다면 a 배열의 첫 번째 원소는 무엇인가? 이중 배열의 첫 번째 원소이니, 그냥 1차원 배열이다.
가리키는 대상은 {n00, n01, n02} 이고, 그 형태는 int [3]이다.

4. &a[0]
&의 피연산자는? 위에서 본 것처럼 int [3]형이다. 따라서…

{ {int, int, int}, {int, int, int}, …, {n00, n01, n02}, {n10, n11, n12}, {int, int, int}, …, {int, int, int} }

가 된다. 반환형은? 당연히 int (*)[3].

5. a
a는 위에서 살펴본 바, 이중배열 전체를 다 가리키는 것이 분명하다.
이제는 좀 보이겠지. 형태도 int [2][3] 이다.

6. &a
그리기 귀찮다. 이쯤 되면 보일게다.
형태는 int (*)[2][3].

접어!