함수 포인터는 함수의 주소를 포함하는 변수입니다. 일부 제한 속성이 있지만 포인터 변수이므로 데이터 구조의 다른 포인터 변수와 거의 비슷하게 사용할 수 있습니다.
내가 생각할 수있는 유일한 예외는 함수 포인터를 단일 값 이외의 것을 가리키는 것으로 취급하는 것입니다. 함수 포인터를 증가 또는 감소시켜 함수 포인터에 오프셋을 더하거나 빼서 포인터 산술을 수행하는 것은 함수 포인터가 함수의 진입 점 인 단일 항목만을 가리 키기 때문에 실제로는 유용하지 않습니다.
함수 포인터 변수의 크기, 변수가 차지하는 바이트 수는 기본 아키텍처 (예 : x32 또는 x64 등)에 따라 달라질 수 있습니다.
C 컴파일러가 정상적으로 수행하는 종류의 검사를 수행하려면 함수 포인터 변수에 대한 선언이 함수 선언과 동일한 종류의 정보를 지정해야합니다. 함수 포인터의 선언 / 정의에서 매개 변수 목록을 지정하지 않으면 C 컴파일러는 매개 변수 사용을 확인할 수 없습니다. 이러한 점검 부족이 유용 할 수있는 경우가 있지만 안전망이 제거되었음을 기억하십시오.
몇 가지 예 :
int func (int a, char *pStr); // declares a function
int (*pFunc)(int a, char *pStr); // declares or defines a function pointer
int (*pFunc2) (); // declares or defines a function pointer, no parameter list specified.
int (*pFunc3) (void); // declares or defines a function pointer, no arguments.
처음 두 선언은 다음과 같이 다소 유사합니다.
func소요 함수 int와 char *와 다시 표시는intpFunc는 a int와 a 를 가져 와서 a char *를 반환하는 함수의 주소가 할당 된 함수 포인터입니다 .int
위와 같이 함수 주소가 에서처럼 func()함수 포인터 변수에 할당 되는 소스 라인을 가질 수 있습니다 .pFuncpFunc = func;
자연 연산자 우선 순위 규칙을 극복하기 위해 괄호를 사용하는 함수 포인터 선언 / 정의와 함께 사용되는 구문에 주목하십시오.
int *pfunc(int a, char *pStr); // declares a function that returns int pointer
int (*pFunc)(int a, char *pStr); // declares a function pointer that returns an int
몇 가지 다른 사용 예
함수 포인터 사용법의 몇 가지 예 :
int (*pFunc) (int a, char *pStr); // declare a simple function pointer variable
int (*pFunc[55])(int a, char *pStr); // declare an array of 55 function pointers
int (**pFunc)(int a, char *pStr); // declare a pointer to a function pointer variable
struct { // declare a struct that contains a function pointer
int x22;
int (*pFunc)(int a, char *pStr);
} thing = {0, func}; // assign values to the struct variable
char * xF (int x, int (*p)(int a, char *pStr)); // declare a function that has a function pointer as an argument
char * (*pxF) (int x, int (*p)(int a, char *pStr)); // declare a function pointer that points to a function that has a function pointer as an argument
함수 포인터의 정의에서 가변 길이 매개 변수 목록을 사용할 수 있습니다.
int sum (int a, int b, ...);
int (*psum)(int a, int b, ...);
또는 매개 변수 목록을 전혀 지정할 수 없습니다. 이것은 유용 할 수 있지만 C 컴파일러가 제공된 인수 목록에서 검사를 수행 할 기회를 제거합니다.
int sum (); // nothing specified in the argument list so could be anything or nothing
int (*psum)();
int sum2(void); // void specified in the argument list so no parameters when calling this function
int (*psum2)(void);
C 스타일 캐스트
함수 포인터와 함께 C 스타일 캐스트를 사용할 수 있습니다. 그러나 C 컴파일러는 검사가 부족하거나 오류가 아니라 경고를 제공 할 수 있습니다.
int sum (int a, char *b);
int (*psplsum) (int a, int b);
psplsum = sum; // generates a compiler warning
psplsum = (int (*)(int a, int b)) sum; // no compiler warning, cast to function pointer
psplsum = (int *(int a, int b)) sum; // compiler error of bad cast generated, parenthesis are required.
함수 포인터와 같음 비교
그것이 if얼마나 유용한 지 잘 모르겠지만 명령문을 사용하여 함수 포인터가 특정 함수 주소와 같은지 확인할 수 있습니다. 다른 비교 연산자는 유틸리티가 훨씬 적은 것 같습니다.
static int func1(int a, int b) {
return a + b;
}
static int func2(int a, int b, char *c) {
return c[0] + a + b;
}
static int func3(int a, int b, char *x) {
return a + b;
}
static char *func4(int a, int b, char *c, int (*p)())
{
if (p == func1) {
p(a, b);
}
else if (p == func2) {
p(a, b, c); // warning C4047: '==': 'int (__cdecl *)()' differs in levels of indirection from 'char *(__cdecl *)(int,int,char *)'
} else if (p == func3) {
p(a, b, c);
}
return c;
}
함수 포인터의 배열
그리고 인수 목록에 차이점이있는 각 요소에 함수 포인터 배열을 원한다면 인수 목록이 지정되지 않은 ( void인수가 아닌 지정되지 않은) 인수 목록으로 함수 포인터를 정의 할 수 있습니다. C 컴파일러에서 경고를 볼 수 있습니다. 이것은 함수에 대한 함수 포인터 매개 변수에 대해서도 작동합니다.
int(*p[])() = { // an array of function pointers
func1, func2, func3
};
int(**pp)(); // a pointer to a function pointer
p[0](a, b);
p[1](a, b, 0);
p[2](a, b); // oops, left off the last argument but it compiles anyway.
func4(a, b, 0, func1);
func4(a, b, 0, func2); // warning C4047: 'function': 'int (__cdecl *)()' differs in levels of indirection from 'char *(__cdecl *)(int,int,char *)'
func4(a, b, 0, func3);
// iterate over the array elements using an array index
for (i = 0; i < sizeof(p) / sizeof(p[0]); i++) {
func4(a, b, 0, p[i]);
}
// iterate over the array elements using a pointer
for (pp = p; pp < p + sizeof(p)/sizeof(p[0]); pp++) {
(*pp)(a, b, 0); // pointer to a function pointer so must dereference it.
func4(a, b, 0, *pp); // pointer to a function pointer so must dereference it.
}
함수 포인터와 함께 namespace전역 struct을 사용하는 C 스타일
당신이 사용할 수있는 static이름이 파일 범위이며, 다음에 비슷한 제공하는 방법으로 전역 변수에이를 할당하는 기능을 지정하는 키워드를 namespaceC ++의 기능을.
헤더 파일에서 네임 스페이스가 될 구조체와이를 사용하는 전역 변수를 정의하십시오.
typedef struct {
int (*func1) (int a, int b); // pointer to function that returns an int
char *(*func2) (int a, int b, char *c); // pointer to function that returns a pointer
} FuncThings;
extern const FuncThings FuncThingsGlobal;
그런 다음 C 소스 파일에서
#include "header.h"
// the function names used with these static functions do not need to be the
// same as the struct member names. It's just helpful if they are when trying
// to search for them.
// the static keyword ensures these names are file scope only and not visible
// outside of the file.
static int func1 (int a, int b)
{
return a + b;
}
static char *func2 (int a, int b, char *c)
{
c[0] = a % 100; c[1] = b % 50;
return c;
}
const FuncThings FuncThingsGlobal = {func1, func2};
그런 다음 전역 구조체 변수의 전체 이름과 멤버 이름을 지정하여 함수에 액세스합니다. const수정은 사고에 의해 변경 될 수없는 글로벌 이렇게 사용됩니다.
int abcd = FuncThingsGlobal.func1 (a, b);
기능 포인터의 응용 분야
DLL 라이브러리 구성 요소 namespace는 struct포함 된 함수 포인터 의 작성을 지원하는 라이브러리 인터페이스의 팩토리 메소드에서 특정 라이브러리 인터페이스가 요청되는 C 스타일 접근법 과 유사한 작업을 수행 할 수 있습니다 .이 라이브러리 인터페이스는 요청 된 DLL 버전을로드하고 작성합니다. 필요한 함수 포인터를 가진 구조체, 그리고 요청한 호출자에게 구조체를 반환합니다.
typedef struct {
HMODULE hModule;
int (*Func1)();
int (*Func2)();
int(*Func3)(int a, int b);
} LibraryFuncStruct;
int LoadLibraryFunc LPCTSTR dllFileName, LibraryFuncStruct *pStruct)
{
int retStatus = 0; // default is an error detected
pStruct->hModule = LoadLibrary (dllFileName);
if (pStruct->hModule) {
pStruct->Func1 = (int (*)()) GetProcAddress (pStruct->hModule, "Func1");
pStruct->Func2 = (int (*)()) GetProcAddress (pStruct->hModule, "Func2");
pStruct->Func3 = (int (*)(int a, int b)) GetProcAddress(pStruct->hModule, "Func3");
retStatus = 1;
}
return retStatus;
}
void FreeLibraryFunc (LibraryFuncStruct *pStruct)
{
if (pStruct->hModule) FreeLibrary (pStruct->hModule);
pStruct->hModule = 0;
}
그리고 이것은 다음과 같이 사용될 수 있습니다 :
LibraryFuncStruct myLib = {0};
LoadLibraryFunc (L"library.dll", &myLib);
// ....
myLib.Func1();
// ....
FreeLibraryFunc (&myLib);
동일한 방법을 사용하여 기본 하드웨어의 특정 모델을 사용하는 코드에 대한 추상 하드웨어 계층을 정의 할 수 있습니다. 기능 포인터는 추상 하드웨어 모델에 지정된 기능을 구현하는 하드웨어 별 기능을 제공하기 위해 공장에서 하드웨어 별 기능으로 채워집니다. 이것은 특정 하드웨어 기능 인터페이스를 얻기 위해 팩토리 함수를 호출 한 다음 제공된 대상 포인터를 사용하여 특정 대상에 대한 구현 세부 사항을 알 필요없이 기본 하드웨어에 대한 조치를 수행하는 소프트웨어가 사용하는 추상 하드웨어 계층을 제공하는 데 사용될 수 있습니다. .
델리게이트, 핸들러 및 콜백을 생성하는 함수 포인터
일부 작업 또는 기능을 위임하는 방법으로 함수 포인터를 사용할 수 있습니다. C의 고전적인 예는 표준 C 라이브러리 함수 qsort()와 함께 사용되며 bsearch()항목 목록을 정렬하거나 정렬 된 항목 목록에서 이진 검색을 수행하기위한 데이터 정렬 순서를 제공 하는 비교 대리자 함수 포인터 입니다. 비교 함수 대리자는 정렬 또는 이진 검색에 사용되는 데이터 정렬 알고리즘을 지정합니다.
또 다른 용도는 알고리즘을 C ++ 표준 템플릿 라이브러리 컨테이너에 적용하는 것과 유사합니다.
void * ApplyAlgorithm (void *pArray, size_t sizeItem, size_t nItems, int (*p)(void *)) {
unsigned char *pList = pArray;
unsigned char *pListEnd = pList + nItems * sizeItem;
for ( ; pList < pListEnd; pList += sizeItem) {
p (pList);
}
return pArray;
}
int pIncrement(int *pI) {
(*pI)++;
return 1;
}
void * ApplyFold(void *pArray, size_t sizeItem, size_t nItems, void * pResult, int(*p)(void *, void *)) {
unsigned char *pList = pArray;
unsigned char *pListEnd = pList + nItems * sizeItem;
for (; pList < pListEnd; pList += sizeItem) {
p(pList, pResult);
}
return pArray;
}
int pSummation(int *pI, int *pSum) {
(*pSum) += *pI;
return 1;
}
// source code and then lets use our function.
int intList[30] = { 0 }, iSum = 0;
ApplyAlgorithm(intList, sizeof(int), sizeof(intList) / sizeof(intList[0]), pIncrement);
ApplyFold(intList, sizeof(int), sizeof(intList) / sizeof(intList[0]), &iSum, pSummation);
또 다른 예는 특정 이벤트에 대한 핸들러가 이벤트가 발생할 때 실제로 호출되는 함수 포인터를 제공하여 등록되는 GUI 소스 코드입니다. 메시지 맵이있는 Microsoft MFC 프레임 워크는 창 또는 스레드로 전달되는 Windows 메시지를 처리하기 위해 유사한 것을 사용합니다.
콜백이 필요한 비동기 함수는 이벤트 핸들러와 유사합니다. 비동기 함수의 사용자는 일부 함수를 시작하기 위해 비동기 함수를 호출하고 조치가 완료되면 비동기 함수가 호출 할 함수 포인터를 제공합니다. 이 경우 이벤트는 작업을 완료하는 비동기 함수입니다.
그 후 machine이 어떻게 그들을 이해하는지 볼 수 있습니다 32 비트 아키텍처에서 위 프로그램의 machine instruction에 대한 간략한 설명.