레퍼런스와 const에 관한 기초적인 질문입니다.

우선

이건 모르겠군요.

const 는 형 한정어(제 기억이 맞다면 영어로 type qualifier)의 하나로 아는데 여기서 한정이란 수식이란 말과 같은 것 같습니다. 자연언어 문법으로 따지면 형용사죠. 그래서인지 형 지정자(type specifier, 즉 int, double 같은 것) 를 명사로 볼 때 수식하는 명사 앞에 오는 것이 기본입니다.

getx 는 nidle 씨가 만든 name(이것도 programming language 문법에 관한 용어) 인데 name 뒤에 오는 것은 처음봅니다. C++ 니까 만약 이것이 class 의 member 함수라면 이유가 있습니다만 그냥 전역에 선언된 함수라면 저도 처음 보는 군요. 아마도 함수 이름이 getx 인 것으로 봐서 객체의 member x 의 값을 얻기 위한 member 함수인 것 같군요.

다만 const 가 수식하는 형 지정자 뒤에 오는 것은 가끔 봅니다.
즉
int const [name]
같이 쓰는 것을 말하는데 지금은 어떤지 모르겠습니다만 예전에 GCC 가 경고나 오류를 보고할 때 저렇게 쓰더라구요.

이것은 수식하는 것이 name 으로 본다면 충분히 이해가 갑니다.
사실 변경불가가 되는 것은 name 이지 형 지정자가 아니지 않습니까?

특히 pointer 와 관련해서 상수 포인터 상수를 표현할 때 저는
int const * const [name] 이
const int * const [name] 보다
자연스럽게 보입니다.

하지만 Visual C++ 6 에서는 형 지정자 뒤에 const 를 쓰는 것을 표준에 맞지 않는 방식이라고 경고하더군요.

그리고 표준문서 봐도 형 한정어들은 형 지정자 앞에 오더군요.

쓸데없는 소리가 길었군요. 궁금하신 바에 대해서 이야기 하자면

이것도 nidle 씨가 처음에 쓰신 code 와 같은 이유로 틀렸습니다.
return 형이 참조형이 불가능한 이유는 const 와는 상관이 없습니다.
옳게 쓰실려면 형식인자들을 참조형으로 바꿔야 합니다.

즉
int &max(int &a,int &b){return (a>b)?a:b;}
가 되어야 합니다.

return 된 값은 a 혹은 b 가 됩니다.

만약
int c = max(a, b) 라면 상관없습니다만
int & c = max(a, b) 가 된다면
c 를 바꿨을 때 a 혹은 b 중 큰 놈이 따라 바뀔 겁니다.

이것을 막기 위해서는 max 의 return 형을 const 참조형으로 바꾸면 참조형으로 받을 때 역시 const 참조형으로만 받을 수 있기 때문에 a, b 는 변경하지 않게 할 수 있습니다.