Con trỏ hàm Typedef?

Tôi đang tìm hiểu cách tải động DLL nhưng điều tôi không hiểu là dòng này

typedef void (*FunctionFunc)();

Tôi có một vài câu hỏi. Nếu ai đó có thể trả lời họ, tôi sẽ rất biết ơn.

1. Tại sao được typedefsử dụng?
2. Cú pháp có vẻ kỳ quặc; Sau voidđó không nên có một tên chức năng hay cái gì đó? Nó trông giống như một chức năng ẩn danh.
3. Là một con trỏ hàm được tạo để lưu trữ địa chỉ bộ nhớ của hàm?

Vì vậy, tôi đang bối rối vào lúc này; bạn có thể làm rõ mọi thứ cho tôi?

typedeflà một cấu trúc ngôn ngữ liên kết một tên với một loại.
Bạn sử dụng nó giống như cách bạn sẽ sử dụng loại ban đầu, ví dụ

  typedef int myinteger;
  typedef char *mystring;
  typedef void (*myfunc)();

sử dụng chúng như

  myinteger i;   // is equivalent to    int i;
  mystring s;    // is the same as      char *s;
  myfunc f;      // compile equally as  void (*f)();

Như bạn thấy, bạn chỉ có thể thay thế các typedefed tên với định nghĩa của nó đưa ra ở trên.

Khó khăn nằm ở con trỏ đến hàm cú pháp và khả năng đọc trong C và C ++, và typedefcó thể cải thiện khả năng đọc của các khai báo đó. Tuy nhiên, cú pháp là phù hợp, vì các hàm - không giống như các loại đơn giản khác - có thể có giá trị trả về và tham số, do đó, khai báo đôi khi dài và phức tạp của một con trỏ tới hàm.

Khả năng đọc có thể bắt đầu thực sự khó khăn với các con trỏ tới các mảng chức năng và một số hương vị gián tiếp khác.

Để trả lời ba câu hỏi của bạn

• Tại sao typedef được sử dụng? Để dễ đọc mã - đặc biệt là cho con trỏ tới các hàm hoặc tên cấu trúc.

• Cú pháp có vẻ kỳ lạ (trong con trỏ để khai báo hàm) Cú pháp đó không rõ ràng để đọc, ít nhất là khi bắt đầu. typedefThay vào đó, sử dụng khai báo giúp giảm bớt việc đọc

• Là một con trỏ hàm được tạo để lưu trữ địa chỉ bộ nhớ của hàm? Có, một con trỏ hàm lưu địa chỉ của hàm. Điều này không liên quan gì đến typedefcấu trúc chỉ giúp dễ dàng viết / đọc chương trình; trình biên dịch chỉ mở rộng định nghĩa typedef trước khi biên dịch mã thực tế.

Thí dụ:

typedef int (*t_somefunc)(int,int);

int product(int u, int v) {
  return u*v;
}

t_somefunc afunc = &product;
...
int x2 = (*afunc)(123, 456); // call product() to calculate 123*456

1. typedefđược sử dụng để các loại bí danh; trong trường hợp này bạn đang aliasing FunctionFuncđể void(*)().

2. Thật vậy, cú pháp trông có vẻ kỳ quặc, hãy xem điều này:

   typedef   void      (*FunctionFunc)  ( );
   //         ^                ^         ^
   //     return type      type name  arguments
   

3. Không, điều này chỉ đơn giản là cho trình biên dịch biết rằng FunctionFunckiểu sẽ là một con trỏ hàm, nó không định nghĩa một, như thế này:

   FunctionFunc x;
   void doSomething() { printf("Hello there\n"); }
   x = &doSomething;
   
   x(); //prints "Hello there"

Không có typedeftừ này, trong C ++, khai báo sẽ khai báo một biến FunctionFunccon trỏ kiểu thành hàm không có đối số, trả về void.

Với typedefnó thay vì định nghĩa FunctionFuncnhư một tên cho loại đó.

Nếu bạn có thể sử dụng C ++ 11, bạn có thể muốn sử dụng std::functionvà usingtừ khóa.

using FunctionFunc = std::function<void(int arg1, std::string arg2)>;

#include <stdio.h>
#include <math.h>

/*
To define a new type name with typedef, follow these steps:
1. Write the statement as if a variable of the desired type were being declared.
2. Where the name of the declared variable would normally appear, substitute the new type name.
3. In front of everything, place the keyword typedef.
*/

// typedef a primitive data type
typedef double distance;

// typedef struct 
typedef struct{
    int x;
    int y;
} point;

//typedef an array 
typedef point points[100]; 

points ps = {0}; // ps is an array of 100 point 

// typedef a function
typedef distance (*distanceFun_p)(point,point) ; // TYPE_DEF distanceFun_p TO BE int (*distanceFun_p)(point,point)

// prototype a function     
distance findDistance(point, point);

int main(int argc, char const *argv[])
{
    // delcare a function pointer 
    distanceFun_p func_p;

    // initialize the function pointer with a function address
    func_p = findDistance;

    // initialize two point variables 
    point p1 = {0,0} , p2 = {1,1};

    // call the function through the pointer
    distance d = func_p(p1,p2);

    printf("the distance is %f\n", d );

    return 0;
}

distance findDistance(point p1, point p2)
{
distance xdiff =  p1.x - p2.x;
distance ydiff =  p1.y - p2.y;

return sqrt( (xdiff * xdiff) + (ydiff * ydiff) );
}

Đối với trường hợp chung của cú pháp bạn có thể xem phụ lục A của tiêu chuẩn ANSI C .

Ở dạng Backus-Naur từ đó, bạn có thể thấy nó typedefcó loại storage-class-specifier.

Trong loại declaration-specifiersbạn có thể thấy rằng bạn có thể trộn nhiều loại chỉ định, thứ tự không quan trọng.

Ví dụ, nó là chính xác để nói,

long typedef long a;

để xác định loại alà bí danh cho long long. Vì vậy, để hiểu typedef về việc sử dụng toàn diện, bạn cần tham khảo một số dạng backus-naur xác định cú pháp (có nhiều ngữ pháp chính xác cho ANSI C, không chỉ của ISO).

Khi bạn sử dụng typedef để xác định bí danh cho loại chức năng, bạn cần đặt bí danh ở cùng một nơi bạn đặt định danh của hàm. Trong trường hợp của bạn, bạn xác định loại FunctionFunclà bí danh cho một con trỏ để chức năng kiểm tra loại bị vô hiệu hóa trong cuộc gọi và không trả về gì.