typedef가 함수 포인터로 작동하는 방법

Question

적어도 typedef와 함수 포인터에 대해서는 "우연한 프로그래머"라는 두려운 질병으로 고통 받고 있다고 생각합니다. 그래서 나는 내가 얻은 모든 결과를 기반으로 결과를 분석하기 위해 이들을 포함하는 모든 종류의 조합을 실험 해왔다.

하지만 다른 조합을 시도하면서 결과를 분석하는 대신 지금은 처리 과정에서 길을 잃었습니다.

여러분이이 혼란을 이해하는 데 도움이되기를 바랍니다.

첫 번째 코드 예제

typedef void (print)(void); 
void do_something (void) { printf("Hello World\n"); } 

print *pr; 
pr = &do_something; 
pr(); // Hello World 

두 번째 코드 예

typedef void (print)(void); 
void do_something (void) { printf("Hello World\n"); } 

print *pr; 
pr = do_something; 
pr(); // Hello World 

어떻게 두 예제가 작동 위의 코드는,이 함수 이름

에 영향을주지 않습니다 '&'처럼입니다

제 3 코드 예를

typedef void (print)(void); 
void do_something (void) { printf("Hello World\n"); } 

print pr; 
pr = do_something; // compile error 
pr = &do_something; // compile error 
pr(); 

내가 여기서 일하지만 젠장 위의 과제 중 하나를 기대했다! 필자는 함수 포인터를 이해하지 못한다.

Answer 1

함수 이름과 일반 함수 이름의 주소는 모두 같은 의미이므로, &은 함수 이름에 영향을 미치지 않습니다.

#include <stdio.h> 
typedef void print(void); 
static void dosomething(void) { printf("Hello World\n"); } 

int main(void) 
{ 
    print *f1 = dosomething; 
    print *f2 = &dosomething; 
    f2(); 
    (f1)(); 
    (*f1)(); 
    (**f2)(); 
    (***f1)(); 
    (****f2)(); 
    (*****f1)(); 
} 

에서 깨끗하게 컴파일 : 함수 포인터를 사용하는 경우 마찬가지로

는 여러 역 참조 문제가되지 않습니다

gcc -O3 -g -Wall -Wextra -Werror -Wmissing-prototypes -Wstrict-prototypes \ 
    -Wold-style-definition -std=c99 xx.c -o xx 

내가 그 여러 별을 주장 할 것이 좋은 스타일이다; 그렇지 않습니다. 그것은 '이상하고, (예, 당신이 말할지도 모른다) 비뚤어진'것입니다.그 중 하나는 충분합니다. (그리고 한 스타는 주로 C와 같은 프로그래밍을 배우기 전에 표준을 쓰기 전에 "(*pointer_to_function)(arg1, arg2) 표기법을 사용하지 않고 포인터를 통해 함수를 호출하는 것이 좋으며 원하는 경우"pointer_to_function(arg1, arg2)을 쓸 수 있습니다.). 예, 이상합니다. 아니요, 다른 유형 (또는 유형의 클래스)은 동일한 행동을 보이지 않습니다. 선량님께 감사드립니다.

Answer 2

C/C++에서 funcname과 &funcname 모두 주소가 funcname이고 함수 포인터 변수에 할당 될 수 있습니다. 이것은 실제로 구문이 언어에 대해 어떻게 설계되었는지에 대한 이상한 점입니다.

Answer 3

함수 포인터에 대한 것은 함수라는 것입니다. 포인터!

#include <stdio.h> 
typedef void (*print)(void); 
//   ^
void do_something (void) { printf("Hello World\n"); } 
int main (void) { 
    print pr; 
    pr = do_something; // &do_something would also work. 
    pr(); 
    return 0; 
} 

당신이 funcName 또는 &funcName 사용 여부의 관점에서, 그것은 중요하지 않습니다 (C에서 최소) :이 :-)는 세 번째 샘플이 작동하도록하는 방법이다. 섹션 6.3.2.1 Lvalues, arrays and function designators 상태 :

함수 지정자는 함수 유형이있는 표현식입니다. sizeof 연산자 또는 단항 & 연산자의 피연산자를 제외하고 "함수 반환 형식"유형의 함수 지정자는 "함수 반환 형식에 대한 포인터"형식을 가진 식으로 변환됩니다.

Answer 4

C와 마찬가지로 C++에는 함수 포인터가 있습니다. 예를 들어, void (*)()은 인수를 취하지 않고 값을 반환하는 함수에 대한 포인터입니다. 그러나 C++은 함수 void (&)()에 대한 참조를 도입했으며 두 규칙 사이에 암시 적 변환이 있습니다 (그러나 규칙은 정확하게 기억하지 못함).

따라서 :

• funcname는
• &funcname 어드레스 (또는 참조) 과부하 기능을 고려하여 필요하다고

주 함수에 대한 포인터 함수에 대한 참조 인 정확한 유형으로 static_cast (과부하를 해결하기 위해).