c++ 関数ポインタで関数ポインタを引数に取る関数のアドレスを関数ポインタに入れられない原因が知りたい。

Question

このコードがエラーになるのですが関数を引数に取る関数ポインタを作ることかできないのでしょうか？

重大度レベル コード 説明 プロジェクト ファイル 行 抑制状態
エラー (アクティブ) E0090 関数を返す関数は使用できません

void func4( void(*fp)(void(*)(int a,string x)) , int b)
{

}

int main() {
	srand((unsigned)time(NULL));

	void(*fp)(void(*)(void*)(int, string), int) = func4;





	_getch();
	return 0;
}

Answer 1

こういうことでしょうか？
func4 の宣言は基本的に変わっていません。

#include <iostream>
#include <string>

void f1(int a, std::string x)
{
	std::cout << "f1 (";
	std::cout << "a = " << a << ", ";
	std::cout << "x = " << x << ")\n";
}

void f2(void(*fp)(int, std::string))
{
	std::cout << "f2\n";
	fp(20, "hello");
}

void func4(void(*fp)(void(*)(int a, std::string x)), int b)
{
	std::cout << "func4 (b = " << b << ")\n";
	fp(f1);
}

int main() {
	//void(*fp)(void(*)(void*)(int, string), int) = func4;
	void (*fp)(void(*)(void(*)(int, std::string)), int) = func4;
	fp(f2,10);
}

実行してもあまり意味はないですが。

func4 (b = 10)
f2
f1 (a = 20, x = hello)

---

以下追記
C/C++ の宣言は関数ポインターが絡むと非常にややこしくなりますね。
maisumakun さんの回答のように auto を使って変数を定義しておき typeid で型を表示させれば一発でわかります。

#include <iostream>
#include <string>
#include <typeinfo>

void func4(void(*fp)(void(*)(int a, std::string x)), int b)
{
}

int main() {
	auto fp = func4;
	std::cout << typeid(fp).name() << '\n';
}

VC++ で実行すると

void (__cdecl*)(void (__cdecl*)(void (__cdecl*)(int,class std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> >)),int)

std::basic_string<char,struct std::char_traits<char>,class std::allocator<char> > は std::string ですから、結局 void (__cdecl*)(void (__cdecl*)(void (__cdecl*)(int,std::string)),int) となり、__cdecl を削除すれば void (*)(void (*)(void (*)(int,std::string)),int) となります。

Comments

[episteme]

autoに代入せんでもいい↓んじゃね?
std::cout << typeid(func4).name() << '\n';

[Bull]

確かに。確認するだけならそうでした。

Answer 2

void func4( void(*fp)(void(*)(int a,string x)) , int b)

誤：void(*fp)(void(*) (void*)(int, string) , int) = func4;
正：void(*fp)(void(*)(void(*)(int, string)), int) = func4;

関数プロトタイプ宣言が組み立てられているのであれば、「該当関数へのポインタ型」の導出はさほど難しくないと思います。（引数リスト部分はそのままコピー＆ペーストですみますね）

関数プロトタイプ宣言：戻り値型 関数名(引数リスト)
関数ポインタ型変数の宣言：戻り値型 (*変数名)(引数リスト)

Answer 3

fpの型宣言が間違っています。void(*)(void*)(int, string)が「関数を返す関数へのポインタ」となってしまっています。

C++なら、手を抜きましょう。auto fp = func4;で済みます。

Comments

[退会済みユーザー]

using やtypdefなど使えば楽にできることは知っているのですが
初学者ですので素の定義の仕方知りたいのですが提示コードのような書き方を教えてくれますか❓