2013-08-12 3 views
4

Вот три функции, такие как: -Как передать функцию-указатель на функцию в C++?

float Plus (float a, float b) { return a+b; } 
float Minus (float a, float b) { return a-b; } 
float Multiply(float a, float b) { return a*b; } 

теперь есть функция, которая принимает указатель на функцию в качестве одного из аргументов: -

void Function_Pointer_func(float a, float b, float (*pt2Func)(float, float)) 
{ 
    float result = pt2Func(a, b); // call using function pointer 

    cout << " Result = "; // display result 
    cout << result << endl; 
} 

и вызвать вышеуказанную функцию «Function_Pointer_func» функция написана ниже

void Replace() 
{ 
    Function_Pointer_func(2, 5, /* pointer to function 'Minus' */ Plus);//// (1) 
    Function_Pointer_func(2, 5, /* pointer to function 'Minus' */ &Minus);//// (2) 

} 

Почему выше функция работает нормально, как функция «Function_Pointer_func» принимает функцию-указатель, как ар gument. А если заменить RHS в строке

float result = pt2Func(a, b); // call using function pointer 

из функции "Function_Pointer_func" по формуле (* pt2Func) (а, б), то и он работает, но для (& pt2Func) (а, б);

он дает ошибку в VS2008:

"ошибка C2064: термин не вычисляется функция принимает 2 аргумента"

Теперь замените в аргументе «поплавка (* pt2Func) (с плавающей точкой, с плавающей точкой)»в функции "Function_Pointer_func" по поплавку (pt2Func) (с плавающей точкой, с плавающей точкой), то все три

float result = pt2Func(a, b); // 
float result = (&pt2Func)(a, b); // 
float result = (*pt2Func)(a, b); // 

заявления работает, почему? Надеюсь, причина моего дискомфорта заключается в понимании основного понимания функции-указателя. Ну, я не представляю Q? без какого-либо хорошего чтения, но да, я не проводил никаких интенсивных исследований по этому поводу, поэтому, пожалуйста, не стесняйтесь рекомендовать некоторые чтения в этом отношении, которые разобрали бы мою двусмысленность.

Спасибо за помощь заранее.

+0

Там уже вполне хороший 'станд :: плюс ', нет необходимости писать свой собственный. – MSalters

+0

благодарит @RiaD за указание на то, что причиной работы всех трех типов может быть ошибка/функция msvc. Он поднимает ветер сомнения, но я увижу то же самое с другим компилятором. – zeal

ответ

2

Функции автоматически распадаются на указатели на функции. В этом контексте

  • function_name на самом деле означает &function_name, если не указано.

  • &function_name превращает функцию в указатель функции.

  • *function_name действительно означает *(function_name), что составляет *(&function_name) за каждый. * и & «отменить», так сказать, и итоговый function_name распадается на &function_name.

+0

@jrok ok вы говорите, что «функции автоматически распадаются на указатели функций», это очищает часть моего смятения, но все же я не свободен от сомнений. Как вы говорите в своем 3-м утверждении, что * function_name в конечном итоге становится (& имя_функции), но как насчет & имя_функции. И почему, если один из аргументов в функции (pt2Func) (float, float), то все три типа работают, пожалуйста, прокомментируйте это также. – zeal

+0

@zeal Я не сказал, что Гость сделал :) Во всяком случае, когда 'f' является именем функции,' & f' дает вам указатель на функцию. Когда 'f' уже является указателем на функцию,' & f' дает вам * указатель на указатель функции * и не может использоваться в вызове функции. – jrok

+0

@ruslo: У него есть немного точки: если вы используете имя функции в контексте без вызова (т. Е. Как 'function_name', а не' function_name (args) '), тогда он обычно ссылается на адрес функции , Но действительно: 'sizeof (имя_функции)' является незаконным и 'sizeof (& имя_функции)' в порядке, поэтому существует определенная разница. – MSalters

2

Это стандарт C++.

float Plus(float a, float b); 
void Function_Pointer_func(float a, float b, float (*pt2Func)(float, float)); 

Function_Pointer_func(2, 5, Plus); // (1) 
... 
float result = pt2Func(a, b); // (2) 

(1) является преобразование функции в указатель (стандартный 2003, 4.3):

An lvalue of function type T can be converted to an rvalue of 
type “pointer to T.” The result is a pointer to the function 

(2) является вызов функции (стандарт 2003, 5.2.2):

For an ordinary function call, the postfix expression shall be either 
an lvalue that refers to a function (in which case the function-to-pointer 
standard conversion (4.3) is suppressed on the postfix expression), or it 
shall have pointer to function type. 

[ОБНОВЛЕНИЕ] Подробно:

void Replace() { 
    Function_Pointer_func(2, 5, Plus); 
    Function_Pointer_func(2, 5, &Minus); 
} 

Minus является функцией =>& Minus является указателем на функцию, поэтому нет преобразования, 3-й аргумент функции Function_Pointer_func идеально подходит. Plus - это функция, поэтому для соответствия функции Function_Pointer_func она должна быть преобразована в указатель. Стандарт (1) говорит, что это можно сделать автоматически.

случаи вызовов:

void Function_Pointer_func(float a, float b, float (*pt2Func)(float, float)) { 
    float result = pt2Func(a, b); // call by pointer, see (2) 
    float result = (*pt2Func)(a, b); // convert pointer to function, so 'normal' call 
    float result = (&pt2Func)(a, b); // pointer to function pointer, nope, will not work 
} 
+0

Я не понимаю вашего ответа, пожалуйста, поделитесь временем, чтобы объяснить или дать некоторую ссылку. – zeal

Смежные вопросы