나는 최근에 마침내 C / C ++를 배워야한다고 결정했고, 포인터에 대해 정말로 이해하지 못하는 것이 한 가지 있습니다. 더 정확하게는 그 정의입니다.
이 예는 어떻습니까?
int* test;int *test;int * test;int* test,test2;int *test,test2;int * test,test2;이제 내 이해에 따르면 처음 세 가지 경우는 모두 동일합니다. Test는 int가 아니라 1에 대한 포인터입니다.
두 번째 예제 세트는 좀 더 까다 롭습니다. 경우 4에서 test와 test2는 모두 int에 대한 포인터가되고, 경우 5에서는 test 만 포인터이고 test2는 "실제"int입니다. 사례 6은 어떻습니까? 사례 5와 같습니까?
int*test;?
Foo<Bar<char>>>>> >
++연산자를 공백으로 분할 할 수없고 식별자를 공백으로 분할 할 수 없습니다 (그리고 결과는 컴파일러에 대해 여전히 합법적이지만 정의되지 않은 런타임 동작이있을 수 있음). 정확한 상황은 C / C ++의 문법 혼란을 고려하면 정의하기 매우 어렵습니다.
답변:
4, 5, 6은 동일하며 테스트 만 포인터입니다. 두 개의 포인터를 원하면 다음을 사용해야합니다.
int *test, *test2;또는 더 나은 (모든 것을 명확하게하기 위해) :
int* test;
int* test2;별표 주위의 공백은 의미가 없습니다. 세 가지 모두 같은 의미입니다.
int* test;
int *test;
int * test;" int *var1, var2"는 사람들을 혼란스럽게하기위한 사악한 구문이므로 피해야합니다. 다음으로 확장됩니다.
int *var1;
int var2;int*test.
int *test( google-styleguide.googlecode.com/svn/trunk/… ) 와 함께 사용 됩니다. 일관성을 유지
많은 코딩 지침 은 한 줄에 하나의 변수 만 선언하도록 권장합니다 . 이렇게하면이 질문을하기 전에 가졌던 종류의 혼동을 피할 수 있습니다. 내가 함께 일한 대부분의 C ++ 프로그래머는 이것에 집착하는 것 같습니다.
내가 아는 약간의 제쳐두고 유용한 것은 선언을 거꾸로 읽는 것입니다.
int* test; // test is a pointer to an int이것은 매우 잘 작동하기 시작합니다. 특히 여러분이 const 포인터를 선언하기 시작할 때 그것이 const 인 포인터인지 아니면 포인터가 가리키는 것이 const인지를 아는 것이 까다로워집니다.
int* const test; // test is a const pointer to an int
int const * test; // test is a pointer to a const int ... but many people write this as
const int * test; // test is a pointer to an int that's const"Clockwise Spiral Rule" 을 사용하면 C / C ++ 선언을 구문 분석하는 데 도움이됩니다.
따라야 할 간단한 세 단계가 있습니다.
알 수없는 요소부터 시작하여 나선 / 시계 방향으로 이동합니다. 다음 요소가 발견되면 해당 영어 문으로 대체하십시오.
[X]또는[]: 배열 X 크기 ... 또는 배열 정의되지 않은 크기 ...
(type1, type2): 함수 전달 type1 및 type2 반환 ...
*: 포인터 ...- 모든 토큰이 덮일 때까지 나선형 / 시계 방향으로 계속하십시오.
- 항상 괄호 안의 모든 것을 먼저 해결하십시오!
또한 선언은 가능한 경우 별도의 문으로 작성해야합니다 (대부분의 경우 사실임).
int* x;전통적인 int *x;스타일이 아닌 스타일로 이어집니다 . 물론, 간격은 컴파일러에게는 중요하지 않지만 사람에게는 영향을줍니다. 실제 구문을 거부하면 독자를 괴롭 히고 혼란스럽게 할 수있는 스타일 규칙이 생깁니다.
다른 사람들이 언급했듯이 4, 5 및 6은 동일합니다. 종종 사람들은이 예제를 사용 *하여 유형이 아닌 변수에 속하는 인수를 만듭니다 . 스타일의 문제이긴하지만 이렇게 생각하고 작성해야하는지에 대한 논쟁이 있습니다.
int* x; // "x is a pointer to int"또는 이렇게 :
int *x; // "*x is an int"FWIW 나는 첫 번째 캠프에 있지만 다른 사람들이 두 번째 형식에 대해 주장하는 이유는 (대부분)이 특정 문제를 해결하기 때문입니다.
int* x,y; // "x is a pointer to int, y is an int"잠재적으로 오해의 소지가 있습니다. 대신 당신은
int *x,y; // it's a little clearer what is going on here또는 정말로 두 개의 포인터를 원한다면
int *x, *y; // two pointers개인적으로 한 줄에 하나의 변수로 유지하면 어떤 스타일을 선호하는지는 중요하지 않습니다.
int *MyFunc(void)나요? a *MyFunc를 반환하는 함수 int입니까? 아니. 분명히 우리는 작성해야 int* MyFunc(void)하고, 말은 MyFunc를 반환하는 기능입니다 int*. 그래서 나에게 이것은 분명합니다. C 및 C ++ 문법 구문 분석 규칙은 변수 선언에 대해 잘못되었습니다. 전체 쉼표 시퀀스에 대한 공유 유형의 일부로 포인터 제한을 포함해야합니다.
*MyFunc() 입니다int . C 구문의 문제는 접두사 와 접미사 구문을 혼합 하는 것입니다. 접미사 만 사용하면 혼동이 없습니다.
int const* x;나는대로 오해의 소지로 발견 a * x+b * y.
#include <type_traits>
std::add_pointer<int>::type test, test2;#include <windows.h>LPINT test, test2;
제 생각에는 상황에 따라 대답은 둘 다입니다. 일반적으로 IMO에서는 유형이 아닌 포인터 이름 옆에 별표를 두는 것이 좋습니다. 예를 들어 비교 :
int *pointer1, *pointer2; // Fully consistent, two pointers
int* pointer1, pointer2; // Inconsistent -- because only the first one is a pointer, the second one is an int variable
// The second case is unexpected, and thus prone to errors두 번째 경우가 일치하지 않는 이유는 무엇입니까? eg int x,y;는 동일한 유형의 두 변수를 선언하지만 유형은 선언에서 한 번만 언급되기 때문입니다. 이것은 선례적이고 예상되는 행동을 만듭니다. 그리고 int* pointer1, pointer2;이 선언 때문에 그와 일관성이없는 pointer1포인터로하지만,pointer2 정수 변수입니다. 오류가 발생하기 쉬우므로 피해야합니다 (유형이 아닌 포인터 이름 옆에 별표를 표시).
그러나 원치 않는 결과를 얻지 않고는 객체 이름 옆에 별표를 넣을 수없는 경우 (그리고 어디에 넣는 것이 중요한지) 몇 가지 예외 가 있습니다. 예를 들면 다음과 같습니다.
MyClass *volatile MyObjName
void test (const char *const p) // const value pointed to by a const pointer
마지막으로, 어떤 경우 에는 유형 이름 옆에 별표를 두는 것이 더 명확 할 수 있습니다 . 예 :
void* ClassName::getItemPtr () {return &item;} // Clear at first sight
C의 이론적 근거는 변수를 사용하는 방식으로 선언한다는 것입니다. 예를 들면
char *a[100];그 말한다 *a[42]될 것입니다 char. 그리고 a[42]char 포인터. 따라서a char 포인터의 배열입니다.
이는 원래 컴파일러 작성자가 표현식과 선언에 동일한 파서를 사용하기를 원했기 때문입니다. (언어 디자인 선택에 대한 그다지 합리적인 이유가 아님)
char* a[100]; 는 또한*a[42]; a char와 a[42];char 포인터 가 될 것이라고 추론합니다 .
a[42]A는 char포인터, 그리고 *a[42]숯불입니다.
나는 초기 규칙이 포인터 이름 쪽 (선언의 오른쪽)에 별을 두는 것이 었다고 말할 것입니다.
에서 C 프로그래밍 언어 데니스 M. 리치에 의해 별이 선언의 오른쪽에 있습니다.
https://github.com/torvalds/linux/blob/master/init/main.c 에서 Linux 소스 코드를 살펴보면 별이 오른쪽에 있음을 알 수 있습니다.
똑같은 규칙을 따를 수는 있지만, 타입쪽에 별표를 붙이면 큰 문제는 아닙니다. 일관성 이 중요하므로 어느 편을 선택하든 항상 같은 편에있는 별을 기억 하십시오.
경험상 많은 사람들이 이러한 개념을 다음과 같이 이해하는 것 같습니다. C ++에서 많은 의미 론적 의미는 키워드 또는 식별자의 왼쪽 바인딩에 의해 파생됩니다.
예를 들어 :
int const bla;const는 "int"단어에 적용됩니다. 포인터의 별표도 마찬가지이며 왼쪽 키워드에도 적용됩니다. 그리고 실제 변수 이름은? 네, 그것은 남은 것에 의해 선언되었습니다.