정말 유효한 질문입니다

이것은 전형적인 포인터 혐오자의 질문이 아니라 매우 흥미로운 질문입니다.

내가 의미하는 바는 다음과 같습니다.

포인터는 매우 강력한 개념이지만 그것이 바로 개념입니다. 그렇다면 포인터 전용으로 분리된 논리와 구문을 사용하여 C 컴파일러를 개발한 이유는 무엇일까요?

오해하지 마십시오. 저는 포인터가 우리에게 제공하는 기회와 현재 구문을 좋아합니다. 이는 동적 데이터 구조, 개체 및 클래스, 멀티스레드 메모리 공유, 개체 변경 가능성, 낮은 중복 값 중복 등의 발전을 달성한 절대적으로 필수적인 기능입니다.
그러나 C가 발명된 사건을 상상해 보면 오늘날의 포인터는 직관적인 첫 번째 개념보다 훨씬 더 인상적인 아이디어처럼 보입니다. 무슨 뜻인지 좀 더 자세히 살펴보겠습니다.

더 깊은 모습

포인터의 구조를 살펴보면 기본적으로 unsigned long(4[32비트 시스템] 또는 메모리의 8바이트)입니다. unsigned long과 포인터를 구분하는 것은 포인터 관련 기능입니다.

구문 및 역참조 연산자

포인터에는 자체 선언 구문이 있으며 고유 연산자인 역참조자가 있습니다.

int a = 5;
int *ptr = &a; //declaration
int value = *ptr; //dereference

하지만 이것이 결코 발명되지 않았다고 상상해 봅시다. 그러면 역참조 기능이 임의의 정수 유형과 연관되어 있으면 다음이 쉽게 가능해집니다.

int a = 5;
unsigned long adress = &a;
int value = *adress;

이 경우 다음과 같은 작업을 수행할 수도 있습니다.

int firstIntInMemory = *(0); //manually dereferences (4bytes at) adress 0`

파서에 관해 말하면 역참조 연산자인 별은 단항 연산자인 반면 산술 곱셈기인 별은 항상 이항 연산자이기 때문에 이는 완전히 충돌하는 구문이 아닙니다.
위에서 설명한 가상의 역참조 연산자는 실제로 포인터 개념의 원시 본질입니다. 이것을 현재 실제 구현과 비교하면 머리 질문에 대해 생각하는 것이 매우 흥미로워집니다. 정말 많은 결과가 있었을 수도 있어요.

포인터 산술

포인터 산술이 수행하는 유일한 특별한 작업은 계산에 따라 유형 크기를 고려하는 것입니다. 배열이 있고 두 번째 요소를 얻으려면 포인터에 1을 추가하면 됩니다. int 포인터인 경우 이는 실제로 주소에 4의 값을 암시적으로 추가합니다(시스템에서 sizeof(int) == 4인 경우):

int arr[5] = {1,2,3,4,5};
int second = *(arr   1);

하지만 솔직히 말해서 메모리에 대해 직관적으로 생각하면 다음이 실제로 훨씬 더 논리적입니다.

int arr[5] = {1,2,3,4,5};
int second = *(arr   sizeof(int));

그리고 이것은 단지 표준 정수 산술일 뿐입니다. 이런 식으로 보면 실제로 포인터 연산을 발명할 이유가 전혀 없습니다.

그게 다가 아니다

물론 '*' 구문을 사용하면 의도한 사용법이 훨씬 더 명확해집니다. 보시면 이 변수가 메모리 조작에 사용된다는 것을 단번에 아실 수 있습니다. 또한 모든 메모리 조작 라이브러리 함수는 포인터용으로 설계되었습니다.

그러나 만약 그것이 발명되지 않았고 대신 역참조할 수 있는 부호 없는 long이 있었다면 사람들은 포인터 변수 식별자에 '_p' 접미사를 추가하는 것과 같은 설계 및 명명 규칙을 생각해 냈을 것입니다. 그리고 메모리 조작 라이브러리는 이 문제를 중심으로 발전했을 것입니다.

마지막 말

그래서 실제로 생각해 보면 포인터가 언어의 기능으로 발명되지 않았다면 C는 지금과 같은 방식으로 살아 남았을 것입니다. 그들은 프로그래머에 의해 개념으로 발명되었을 뿐이며 현재 존재하는 방식과 동일하게 작동합니다.

이 이야기는 더 자세히 조사해볼 만한 흥미로운 이야기라고 생각합니다.
C가 포인터를 발명한 이유는 무엇입니까?
일관성, 명확성, 역참조 오용에 대한 안전성이 바로 우리가 기대하는 이유였나요?
아니면 이 게시물에서 포인터를 다룬 것보다 더 깊은 이유와 훨씬 더 복잡한 논리가 있어서 범용 정수로 동일한 작업을 수행하는 것보다 실제로 훨씬 더 효율적일까요?